File information
- Filename: coq-8.20.0-70.40.ppc64le.rpm
- Path: /repositories/science/openSUSE_Factory_PowerPC/ppc64le/coq-8.20.0-70.40.ppc64le.rpm
- Size: 97MiB (101582988 bytes)
- Last modified: 20-Nov-2024 18:25:00 (Unix timestamp: 1732127100)
- SHA-512 Hash: 97fa309eb3c1fa401686650903de49c73b6c66a5e9294bb4ce496a0ce89ca31a1b6952cd1bbb12edaa96e6411b073672b910d36903118cecb7d5910188a13b30
- SHA-256 Hash: ebc4a0b0d3e0e9b981545e01303dc32eeafc730fc51e5f21ed13b9cf8bfc1f81
- SHA-1 Hash: 405521b090afaf6e5c31c8b44fdbc373b5500817
- MD5 Hash: 9ab9b74a047d46db8579b79dba94efe2
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontent2.opensuse.org/repositories/science/openSUSE_Factory_PowerPC/ppc64le/coq-8.20.0-70.40.ppc64le.rpm
Mirrors
List of best mirrors for IP address 18.116.20.108, 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: 4
- ftp.gwdg.de (DE)
- mirror.aardsoft.fi (FI)
- opensuse.mirror.liquidtelecom.com (KE)
- ftp.lysator.liu.se (SE)