File information

  • Filename: coq-9.3.0-88.6.src.rpm
  • Path: /repositories/science/openSUSE_Slowroll/src/coq-9.3.0-88.6.src.rpm
  • Size: 19MiB (19452868 bytes)
  • Last modified: 07-Oct-2026 12:01:25 (Unix timestamp: 1791374485)
  • SHA-512 Hash: 1146d6da07731be7f748d5d19276fa36da7c1640162ea7abe098bdf5afc4f497542d06c6a96642c850912d31cc638dc974352525f33b5117ea4c009093adee9c
  • SHA-256 Hash: 57f0c10b33979965b7fe606d3241dce0029f3e0b7a96f3de418b44ce09df23db
  • SHA-1 Hash: 6919381f7f9baac9f6e7c7b10c8d5fdaaa6fb1ad
  • MD5 Hash: c4ea1b3d7c3efae3c447438f16b272b0
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/repositories/science/openSUSE_Slowroll/src/coq-9.3.0-88.6.src.rpm

Mirrors

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

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