File information
- Filename: coq-8.19.1-bp157.1.129.s390x.rpm
- Path: /repositories/openSUSE:/Backports:/SLE-15-SP7/standard/s390x/coq-8.19.1-bp157.1.129.s390x.rpm
- Size: 86MiB (90325364 bytes)
- Last modified: 07-May-2025 00:43:00 (Unix timestamp: 1746578580)
- SHA-512 Hash: 93585699e5da0a9e2ace1a26a73bc7e7c3e01fdfd1d319f6cd63fbcbbdd3b8706a0e16d7d9e422ae45bdecce2be128a6932f1ff5884b3a4f2c0a49ac78a9e3f2
- SHA-256 Hash: 05cce7ef53a9cf108253773f30eae8cc24d4ea2001fa3c6af4e2e73ffb6753ee
- SHA-1 Hash: 9cba1540bb6bd239d2349acc78389d3ddb94b3ae
- MD5 Hash: 471e0bcf5dd350c02a27cc2d661de036
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP7/standard/s390x/coq-8.19.1-bp157.1.129.s390x.rpm
Mirrors
List of best mirrors for IP address 216.73.216.143, 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: 6
- ftp.gwdg.de (DE)
- mirror.aardsoft.fi (FI)
- download.opensuse.id (ID)
- opensuse.mirror.liquidtelecom.com (KE)
- mirror.tspu.ru (RU)
- ftp.lysator.liu.se (SE)