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:14 (Unix timestamp: 1684752374)
- SHA-512 Hash: 4d342f4ca3cddc912998d26b01a5a6d02e9f68e4a93a1226d7f75cd721d6a37ced0e79cdd87c61d5bc81bf1efeea95255e0d2ad324edd86251448e224af986a2
- SHA-256 Hash: 4e5a2a58db759adad50cc270e75fee88a046a1d610c4a9ae50d41533c5ba3f33
- SHA-1 Hash: 36640794545c0e1ce45b288c6f291d0415a91645
- MD5 Hash: 23c7d41ecc0f839ec26b515e30f850f7
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://cdn.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 18.222.127.68, 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)