File information

  • Filename: coq-devel-8.13.2-bp155.2.13.ppc64le.rpm
  • Path: /distribution/openSUSE-current/repo/oss/ppc64le/coq-devel-8.13.2-bp155.2.13.ppc64le.rpm
  • Size: 19MiB (19926788 bytes)
  • Last modified: 22-May-2023 10:46:00 (Unix timestamp: 1684752360)
  • SHA-512 Hash: a8aa13d2de43f91d61b0081303227c851170ec6f0d32d52dc0d69b832d564ea966d9000babe461effdcdc944fa0802474496348a8f137d14f3a1c9b7af54952f
  • SHA-256 Hash: 3bb9ae917026ca98ceb1c5db987b7cfbd9f07bfb3a96c3f1c290e2987a04680e
  • SHA-1 Hash: 57cafc11a7b11811af7845f547621e8e66a57712
  • MD5 Hash: e6dddd3e1405ca686680f78095fc4200
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/distribution/leap/15.5/repo/oss/ppc64le/coq-devel-8.13.2-bp155.2.13.ppc64le.rpm

Mirrors

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