File information
- Filename: coq-devel-8.19.1-bp156.1.13.s390x.rpm
- Path: /distribution/openSUSE-stable/repo/oss/s390x/coq-devel-8.19.1-bp156.1.13.s390x.rpm
- Size: 66MiB (68743280 bytes)
- Last modified: 13-May-2024 22:30:00 (Unix timestamp: 1715639400)
- SHA-512 Hash: 0b92d5d1b56beb4b1c301668ecc9e0f79b24e547df7e9eb20c456d7ee6a54a286a1b2c6116899e6c800890314caf5c485f23e09d5786c21f45eab779f170384e
- SHA-256 Hash: d3ac17b1e5f19f31599217ce217c8ad00df9485d6372637fc5e109d8612a7dcd
- SHA-1 Hash: 2d6bb53f847d411d5038696490634812a700fb7e
- MD5 Hash: 7aa34f2311e48553979b2a521cd11fe5
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/distribution/leap/15.6/repo/oss/s390x/coq-devel-8.19.1-bp156.1.13.s390x.rpm
Mirrors
List of best mirrors for IP address 18.222.161.175, 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: 2
- mirror.leitecastro.com (PT)
- mirror.leitecastro.com (PT)