1. ^
2. repositories
3. openSUSE:
4. Backports:
5. SLE-15-SP7
6. standard
7. s390x
8. coq-8.19.1-bp157.1.129.s390x.rpm

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:04 (Unix timestamp: 1746578584)
• SHA-512 Hash: 93585699e5da0a9e2ace1a26a73bc7e7c3e01fdfd1d319f6cd63fbcbbdd3b8706a0e16d7d9e422ae45bdecce2be128a6932f1ff5884b3a4f2c0a49ac78a9e3f2
• SHA-256 Hash: 05cce7ef53a9cf108253773f30eae8cc24d4ea2001fa3c6af4e2e73ffb6753ee
• SHA-1 Hash: 9cba1540bb6bd239d2349acc78389d3ddb94b3ae
• MD5 Hash: 471e0bcf5dd350c02a27cc2d661de036
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://downloadcontentcdn.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP7/standard/s390x/coq-8.19.1-bp157.1.129.s390x.rpm