File information

  • Filename: coq-9.2.0-2.1.src.rpm
  • Path: /source/tumbleweed/repo/oss/src/coq-9.2.0-2.1.src.rpm
  • Size: 18MiB (18653120 bytes)
  • Last modified: 04-Aug-2026 19:45:00 (Unix timestamp: 1785872700)
  • SHA-512 Hash: 67a979d9be0716513e257ce7bc08fc678b00cced7db8e6eeae3c079fe4017286ecf56cc9d968cc896dca8b573316c58bd00e87ec71951296b50303c40ea78bf2
  • SHA-256 Hash: 45b404e9cd697b5d19cf929108fdffd71a0f1b3cf0ca945a17d028ab3b619fb4
  • SHA-1 Hash: 0ad3a4357515712828e3f1bd7ecc137e5b0a8c5d
  • MD5 Hash: c3fddec2d0063e749d92c5d4d4992845
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/source/tumbleweed/repo/oss/src/coq-9.2.0-2.1.src.rpm

Mirrors

List of best mirrors for IP address 216.73.216.20, located at 39.9587,-82.9987 in (US)

Mirrors which handle this country: 1
Mirrors in other countries, but same continent: 0
Mirrors in other parts of the world: 5