File information
- Filename: coq-devel-8.19.1-bp156.1.10.s390x.rpm
- Path: /distribution/openSUSE-current/repo/oss/s390x/coq-devel-8.19.1-bp156.1.10.s390x.rpm
- Size: 66MiB (68737816 bytes)
- Last modified: 29-Apr-2024 14:23:00 (Unix timestamp: 1714400580)
- SHA-512 Hash: a88537b179083221256c30b66cdfca69906566132cf0268a558f612ea22e1409051c2158f8ec9e3b7ef2d5324d3dc5308c09ec573157f3722128c6cd28393d35
- SHA-256 Hash: 031bc7d2c82c20a929bb50540b35341c14e35ec070d4c6496edaf29b40c3b4e3
- SHA-1 Hash: a4b7573f5e8f8acbc63442bc64e543dc69706215
- MD5 Hash: 385a8c835309ff72f78aacffcd17a987
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/distribution/leap/15.6/repo/oss/s390x/coq-devel-8.19.1-bp156.1.10.s390x.rpm
Mirrors
List of best mirrors for IP address 172.68.168.187, 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
Loading...