File information

  • Filename: coq-8.20.1-1.5.src.rpm
  • Path: /tumbleweed/repo/src-oss/src/coq-8.20.1-1.5.src.rpm
  • Size: 17MiB (17921627 bytes)
  • Last modified: 09-Mar-2025 17:19:46 (Unix timestamp: 1741540786)
  • SHA-512 Hash: ec7f08c6d4e27e0c1e928880464f0df04775d1ed1b81145e52fd375f5dddc841e5829545bf184c94a12f14dc6dc2d6da7404da118adbbece58321dd1465efa26
  • SHA-256 Hash: acd6821a4202413e1642efb093ddf80be17ae93ab4b4c5d7fc982170a09da7ff
  • SHA-1 Hash: 7632a6a99df75bcfbccbb48f0bda6bd63e20e877
  • MD5 Hash: 91881c6c9662096c4727caf31a199b10
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: http://cdn.opensuse.org/source/tumbleweed/repo/oss/src/coq-8.20.1-1.5.src.rpm

Mirrors

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