File information

  • Filename: coq-8.20.1-bp156.72.9.src.rpm
  • Path: /repositories/science/15.6/src/coq-8.20.1-bp156.72.9.src.rpm
  • Size: 17MiB (17879768 bytes)
  • Last modified: 21-Feb-2025 14:50:25 (Unix timestamp: 1740149425)
  • SHA-512 Hash: 8a497dfd1dc912c8259bbae8dd2af4663a5f62290962bea3b8fc79e6b3cd314f33fd3173f663258892c21eac624db46914d56b86c4c18eaf1850dca989e13b7b
  • SHA-256 Hash: 72b847a0115445e64a84a17f0dca529e8a04c3584770f23f90fde89aeaf7db04
  • SHA-1 Hash: c25e65f2c7c7bdf82f6faa426d5297d57717e534
  • MD5 Hash: c8d3e36047db814debaffee9843b2b47
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: http://download.opensuse.org/repositories/science/15.6/src/coq-8.20.1-bp156.72.9.src.rpm

Mirrors

List of best mirrors for IP address 172.69.58.138, located at 37.751,-97.822 in (US)

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