File information

  • Filename: coq-ide-8.20.1-1.6.ppc64le.rpm
  • Path: /ports/ppc/tumbleweed/repo/oss/ppc64le/coq-ide-8.20.1-1.6.ppc64le.rpm
  • Size: 23MiB (24143325 bytes)
  • Last modified: 11-Mar-2025 12:47:00 (Unix timestamp: 1741697220)
  • SHA-512 Hash: 2070406673ba625ce6caa8e06774d3ede3c89b4062f7fd8d7699dd64b8732a9f558560ab50fa549d8b06019b295a15f0e37f4fe4e15f80f6180ac55b06e1c20a
  • SHA-256 Hash: c237ec90ef937977c947e523aaca092a996e572d865a1257685b42fb177f6b67
  • SHA-1 Hash: c607a870469550d3099603bba19dce7fa4bd1232
  • MD5 Hash: 2bfdf2f71bea1498413daa3570c7dd85
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: http://download.opensuse.org/ports/ppc/tumbleweed/repo/oss/ppc64le/coq-ide-8.20.1-1.6.ppc64le.rpm

Mirrors

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

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