File information
- Filename: coq-ide-8.20.0-70.40.ppc64le.rpm
- Path: /repositories/science/openSUSE_Factory_PowerPC/ppc64le/coq-ide-8.20.0-70.40.ppc64le.rpm
- Size: 23MiB (24164734 bytes)
- Last modified: 20-Nov-2024 18:25:00 (Unix timestamp: 1732127100)
- SHA-512 Hash: aad42652f28e63e28097bebe5a3cef4c7d4345bc9d6f951759fb6c837ce2ffdf127d550305b75248af874e432a4c4ba8d945e2ab561ce074a4c58b0960c82b01
- SHA-256 Hash: 041c14220d0c83c865e297346fd3250dbdfd734dab046b6b5b7f8cc5d36a4b0a
- SHA-1 Hash: 48b922f33a976fa17b1b19631ccba2d450d8ba1c
- MD5 Hash: f1028c602b5966a5051a526cbb462b46
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontent2.opensuse.org/repositories/science/openSUSE_Factory_PowerPC/ppc64le/coq-ide-8.20.0-70.40.ppc64le.rpm
Mirrors
List of best mirrors for IP address 3.137.190.6, 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)