File information
- Filename: coq-ide-8.19.1-bp156.1.11.ppc64le.rpm
- Path: /distribution/openSUSE-current/repo/oss/ppc64le/coq-ide-8.19.1-bp156.1.11.ppc64le.rpm
- Size: 19MiB (20352892 bytes)
- Last modified: 06-May-2024 12:27:00 (Unix timestamp: 1714998420)
- SHA-512 Hash: 0d4cff88f9b91515ccd27571a54a5d7ed69645d3c3e0c8d91f616ea95bcd7543848d4f9d9c561d2295695f37f5e2e94f3dd7f3bd92c00a8f21991208fdc8ea90
- SHA-256 Hash: 55a87587faf97d54a924977cb133698dd39f6c9e2b0fd25cfa7589ad02a6f45f
- SHA-1 Hash: 04054a240157bb542e0867a1942bf9de25aefc39
- MD5 Hash: 762275a3f4e1089a4b3b7a39f4911202
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/distribution/leap/15.6/repo/oss/ppc64le/coq-ide-8.19.1-bp156.1.11.ppc64le.rpm
Mirrors
List of best mirrors for IP address 3.16.51.33, 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: 2
- mirror.leitecastro.com (PT)
- mirror.leitecastro.com (PT)