File information

  • Filename: coq-8.20.0-1.1.src.rpm
  • Path: /tumbleweed/repo/src-oss/src/coq-8.20.0-1.1.src.rpm
  • Size: 17MiB (17914740 bytes)
  • Last modified: 09-Sep-2024 13:00:00 (Unix timestamp: 1725886800)
  • SHA-512 Hash: 09383a600796d7a9402a4d39461ddf4a8ba53c3990cd527ae83c94f73c3e146342ff447bc03ca7515aa27f4bf8d562d0724a2d83e1021550be8e112395d1f058
  • SHA-256 Hash: 4e86eb23a4ce870e13054cc3b65a8f2d9895a77e638608c6818e2ee9dceab7c9
  • SHA-1 Hash: c361af9aa69d495cb275951ba1c1639c554bfce5
  • MD5 Hash: ccf9a252a15ca3ce7bee5c1b9be964fe
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: http://download.opensuse.org/source/tumbleweed/repo/oss/src/coq-8.20.0-1.1.src.rpm

Mirrors

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

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