File information
- Filename: coq-8.19.1-bp156.1.13.s390x.rpm
- Path: /distribution/openSUSE-current/repo/oss/s390x/coq-8.19.1-bp156.1.13.s390x.rpm
- Size: 86MiB (90312460 bytes)
- Last modified: 13-May-2024 22:29:00 (Unix timestamp: 1715639340)
- SHA-512 Hash: f62f2201641bf0499403b09ddbece285decd14a301260cd1b4a819a365c24dddb31bac833d657c12ad13a04705f7b47cc5d948ee7c38d3b90379c0a04455cf05
- SHA-256 Hash: 927324e878605677ce9a61b481d461afe63d68c1dc8cd7d3b31027e5a5ce8cb2
- SHA-1 Hash: 8f9b6c3200cc23fa6001d82f951dfbabf1619631
- MD5 Hash: 4cdfa7522a43ec546ee7a5d5839453f4
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/distribution/leap/15.6/repo/oss/s390x/coq-8.19.1-bp156.1.13.s390x.rpm
Mirrors
List of best mirrors for IP address 172.71.254.101, located at 37.751,-97.822 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)