File information

  • Filename: coq-doc-8.13.2-bp155.2.13.ppc64le.rpm
  • Path: /distribution/openSUSE-current/repo/oss/ppc64le/coq-doc-8.13.2-bp155.2.13.ppc64le.rpm
  • Size: 8.8MiB (9182988 bytes)
  • Last modified: 22-May-2023 10:46:00 (Unix timestamp: 1684752360)
  • SHA-512 Hash: 4d342f4ca3cddc912998d26b01a5a6d02e9f68e4a93a1226d7f75cd721d6a37ced0e79cdd87c61d5bc81bf1efeea95255e0d2ad324edd86251448e224af986a2
  • SHA-256 Hash: 4e5a2a58db759adad50cc270e75fee88a046a1d610c4a9ae50d41533c5ba3f33
  • SHA-1 Hash: 36640794545c0e1ce45b288c6f291d0415a91645
  • MD5 Hash: 23c7d41ecc0f839ec26b515e30f850f7
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/distribution/leap/15.5/repo/oss/ppc64le/coq-doc-8.13.2-bp155.2.13.ppc64le.rpm

Mirrors

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

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