File information
- Filename: coq-8.19.1-bp156.1.10.s390x.rpm
- Path: /distribution/openSUSE-current/repo/oss/s390x/coq-8.19.1-bp156.1.10.s390x.rpm
- Size: 86MiB (90317748 bytes)
- Last modified: 29-Apr-2024 14:23:00 (Unix timestamp: 1714400580)
- SHA-512 Hash: 5714c431cfa16554113fb05ffd7163e781ee81c746040b2a9cf054e22fed0d03b24504977c5e153dc68a4aa551bf2071b3498c862a7e6dfc7dd9c3e4c5ede830
- SHA-256 Hash: 5021cc21be9641fbb9ac60f1fab5459012dbd451970d5b0375a00bf938bf15f5
- SHA-1 Hash: 077e335506c936a530f7c20e1a7bddd3730895b8
- MD5 Hash: 34680ed842a5e816371f618b3f3a1dbf
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/distribution/leap/15.6/repo/oss/s390x/coq-8.19.1-bp156.1.10.s390x.rpm
Mirrors
List of best mirrors for IP address 172.71.254.226, 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: 0
Loading...