File information

  • Filename: coq-doc-8.20.1-bp156.72.39.noarch.rpm
  • Path: /repositories/science/15.6/noarch/coq-doc-8.20.1-bp156.72.39.noarch.rpm
  • Size: 6.4MiB (6703720 bytes)
  • Last modified: 15-Jul-2025 13:13:00 (Unix timestamp: 1752585180)
  • SHA-512 Hash: fd9620ffd33d5036bc109d36e7bdd35c886fe8013915f94d13e5d9285c41a8be08330697049dba3f6f754c5dd39efeb83e19c962d436cee8969f93dad7d7ec16
  • SHA-256 Hash: c8960a1011e23958213407bcf563f805574249b35531b05070ed9ca25a2e7e9c
  • SHA-1 Hash: 504b7f7a3263d221a2df26079e1b87755a28e512
  • MD5 Hash: a540a5de1ed37d3a889aaa50eb503b55
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/repositories/science/15.6/noarch/coq-doc-8.20.1-bp156.72.39.noarch.rpm

Mirrors

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

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