File information

  • Filename: coq-8.20.1-bp157.72.53.src.rpm
  • Path: /repositories/science/15.7/src/coq-8.20.1-bp157.72.53.src.rpm
  • Size: 17MiB (17879770 bytes)
  • Last modified: 20-Apr-2025 20:22:45 (Unix timestamp: 1745180565)
  • SHA-512 Hash: ab5c3e6b77a04879b73ff0db2e1261bda9cf18d53659e765b524b07550bb8fed68c7fed3fac3682e0f6c9f758ba5e4fd47be669e012fded06ee8ddcf765089b0
  • SHA-256 Hash: a84e82f8a5e5f6999fdba15d27a3de2b4d459ec93c5072390bfe4a06703ac91a
  • SHA-1 Hash: 729f6b53af5a9b02b083f083bff98f149246fb59
  • MD5 Hash: 15613e01a98980601a5bd4468fdefe77
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/repositories/science/15.7/src/coq-8.20.1-bp157.72.53.src.rpm

Mirrors

List of best mirrors for IP address 3.23.92.44, located at 39.9625,-83.0061 in (US)

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