File information

  • Filename: coq-ide-8.20.0-bp156.70.23.x86_64.rpm
  • Path: /repositories/science/15.6/x86_64/coq-ide-8.20.0-bp156.70.23.x86_64.rpm
  • Size: 19MiB (20260704 bytes)
  • Last modified: 06-Dec-2024 20:55:00 (Unix timestamp: 1733518500)
  • SHA-512 Hash: 9633906e7466ad8063faa55b0250c7e66d54eb7a223f3f07675c0d228b49a79d6374347d0366f2f0ced459087be72f6084cbd78b522d52a50376c99eadda5981
  • SHA-256 Hash: 09575391a137f734ac82ce5d4ec33f47e4b6d3b9294e7a3a72e327a3b2fab522
  • SHA-1 Hash: ee297e8f482f14c7fb847dea4b310b7db5de3903
  • MD5 Hash: 6f72a604f4b5f62743e0038058ade1aa
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/repositories/science/15.6/x86_64/coq-ide-8.20.0-bp156.70.23.x86_64.rpm

Mirrors

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