1. ^
2. repositories
3. openSUSE:
4. Backports:
5. SLE-15-SP6
6. standard
7. x86_64
8. coq-8.19.1-bp156.1.14.x86_64.rpm

File information

• Filename: coq-8.19.1-bp156.1.14.x86_64.rpm
• Path: /repositories/openSUSE:/Backports:/SLE-15-SP6/standard/x86_64/coq-8.19.1-bp156.1.14.x86_64.rpm
• Size: 87MiB (91100480 bytes)
• Last modified: 21-May-2024 16:41:44 (Unix timestamp: 1716309704)
• SHA-512 Hash: f949df280f8a4acf81b1d2a89a325647f1e8c3466061d3e7a6cb2cb1bb039f6aa3298d873711da0a58b61aee1c819d9b95c3ff2dfcde260d307a48c4f5d00adb
• SHA-256 Hash: d5a84fbfa727b170704503d5e7a4bad551d7c0c32f7c9e79b34473812a64277c
• SHA-1 Hash: 9cc8a75bb083237b085e249cd5fff8bc14806286
• MD5 Hash: 1ea29e37ed6df0be0789be90e979657c
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://downloadcontentcdn.opensuse.org/repositories/openSUSE:/Backports:/SLE-15-SP6/standard/x86_64/coq-8.19.1-bp156.1.14.x86_64.rpm