File information

  • Filename: coq-8.19.1-bp156.1.14.ppc64le.rpm
  • Path: /ports/aarch64/distribution/leap/15.6/repo/oss/ppc64le/coq-8.19.1-bp156.1.14.ppc64le.rpm
  • Size: 87MiB (91508248 bytes)
  • Last modified: 21-May-2024 21:39:00 (Unix timestamp: 1716327540)
  • SHA-512 Hash: 5d321af05772f17df111a7b4f884e7425921891236911f96addf0a3ba3c08ac3effd24ee6cd3546e1ac96938f12ec4ffbf40fba4435a16adeaabbac16de8ef69
  • SHA-256 Hash: b5defeb0d0dd7cd11377ce0bf2d3e255c1452b2d8aa59aa01ce54156c52bd771
  • SHA-1 Hash: 1c9a61ded969c51c43a751c721cdf1a90b175cc1
  • MD5 Hash: 30294c137c545f79406debe7b7cdad58
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: http://download.opensuse.org/distribution/leap/15.6/repo/oss/ppc64le/coq-8.19.1-bp156.1.14.ppc64le.rpm

Mirrors

List of best mirrors for IP address 108.162.216.41, located at 41.8874,-87.6318 in (US)

Mirrors which handle this country: 10
Mirrors in other countries, but same continent: 8
Mirrors in other parts of the world: 111