File information
- Filename: coq-devel-8.17.1-52.32.ppc64.rpm
- Path: /repositories/science/openSUSE_Factory_PowerPC/ppc64/coq-devel-8.17.1-52.32.ppc64.rpm
- Size: 75MiB (78874250 bytes)
- Last modified: 10-Sep-2023 23:25:59 (Unix timestamp: 1694388359)
- SHA-512 Hash: d0afb26f2bd577d5c1e423a8d46f1a5e05b766931eef6f2a4edb9723803c387e0125a7111922063482caa04aede0579851bd5ee5f92773b6dfcb487d845f4835
- SHA-256 Hash: 1a5497c9404428d99419c50a36abd8a7fc275af5671d08df5b65ca6e72ac6920
- SHA-1 Hash: 5e19c558a73648c2a3cbfa1e9b67e56aecf53e2a
- MD5 Hash: 8f9b317a8e980c30be89259e65f3cb28
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontentcdn.opensuse.org/repositories/science/openSUSE_Factory_PowerPC/ppc64/coq-devel-8.17.1-52.32.ppc64.rpm
Mirrors
List of best mirrors for IP address 18.191.201.95, located at 39.9625,-83.0061 in (US)
Mirrors which handle this country: 0
- None
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 0
- None