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:14 (Unix timestamp: 1684752374)
- SHA-512 Hash: a8aa13d2de43f91d61b0081303227c851170ec6f0d32d52dc0d69b832d564ea966d9000babe461effdcdc944fa0802474496348a8f137d14f3a1c9b7af54952f
- SHA-256 Hash: 3bb9ae917026ca98ceb1c5db987b7cfbd9f07bfb3a96c3f1c290e2987a04680e
- SHA-1 Hash: 57cafc11a7b11811af7845f547621e8e66a57712
- MD5 Hash: e6dddd3e1405ca686680f78095fc4200
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://cdn.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 18.119.172.58, located at 39.9625,-83.0061 in (US)
Mirrors which handle this country: 0
- None
Mirrors in other countries, but same continent: 1
- mirrors.ucr.ac.cr (CR)
Mirrors in other parts of the world: 3
- linorg.usp.br (BR)
- mirror.uepg.br (BR)
- espejito.fder.edu.uy (UY)