File information
- Filename: coq-8.17.1-52.32.ppc64.rpm
- Path: /repositories/science/openSUSE_Factory_PowerPC/ppc64/coq-8.17.1-52.32.ppc64.rpm
- Size: 105MiB (110374225 bytes)
- Last modified: 10-Sep-2023 23:25:57 (Unix timestamp: 1694388357)
- SHA-512 Hash: dd20b53caa39eab9bfcb8f784dd853c3a9a8e5b26fd0dd6dfec554dbaf9ab531f4d576c133ba35156b456d7f5085a537e9473981517761c983afa0d77e1342ce
- SHA-256 Hash: 5fd6cd4cd0369bd5d3f366fa609c2b251e67cf595afaa08473557606e24614d7
- SHA-1 Hash: 34c9246c47dc0faff55e91abd7c63faf88c723de
- MD5 Hash: 16a4d9a4a8190d2b1c704453a003e521
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://downloadcontentcdn.opensuse.org/repositories/science/openSUSE_Factory_PowerPC/ppc64/coq-8.17.1-52.32.ppc64.rpm
Mirrors
List of best mirrors for IP address 18.225.175.151, 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