File information

  • Filename: coq-9.2.0-82.35.src.rpm
  • Path: /repositories/science/Factory/src/coq-9.2.0-82.35.src.rpm
  • Size: 18MiB (18652134 bytes)
  • Last modified: 13-Jun-2026 19:37:57 (Unix timestamp: 1781379477)
  • SHA-512 Hash: bb5a1185f9efd452d412c29ad02fe3adf19c37f23f49bfdbb2c1f9054b4d9e09a64157c676981306eee2244029e5589b6d2e90c741967967cef320fbb25234cd
  • SHA-256 Hash: 810f3595f16ef97a7a92adb71c0155d4890c60cec580b65f13fa5e82ab58379b
  • SHA-1 Hash: ab612e3139364d75cf2bfbed1fa3d68b7e9b0a81
  • MD5 Hash: 7b151f14abc46507d9eb89f3d9dde3cf
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/repositories/science/Factory/src/coq-9.2.0-82.35.src.rpm

Mirrors

List of best mirrors for IP address 140.248.79.49, 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: 2