File information

  • Filename: coq-8.20.0-70.65.src.rpm
  • Path: /repositories/science/openSUSE_Tumbleweed/src/coq-8.20.0-70.65.src.rpm
  • Size: 17MiB (17914745 bytes)
  • Last modified: 21-Nov-2024 01:19:00 (Unix timestamp: 1732151940)
  • SHA-512 Hash: 6eacb91ca3bca76ffe65f8ec925d99bdf5702e61405f6319e1e9eaf7ec6f4ddfc9e57e84c09018156c06653e0cebe5f36bfb96cb753ce0c431db4e8fb6400fff
  • SHA-256 Hash: cb2bdd29d55c54a255b7ac993133c63d772cbe02d002bbd570131bd257d273ec
  • SHA-1 Hash: 63bc5a615dcd1311ea6aa7250cdb83acfa760fc7
  • MD5 Hash: a52168d04120f476aa5c6ce030702759
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/repositories/science/openSUSE_Tumbleweed/src/coq-8.20.0-70.65.src.rpm

Mirrors

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