1. ^
2. repositories
3. openSUSE:
4. Slowroll:
5. Build:
6. 2
7. standard
8. x86_64
9. coq-debugsource-9.2.0-2.0.2.1.sr20260802.x86_64.rpm

File information

• Filename: coq-debugsource-9.2.0-2.0.2.1.sr20260802.x86_64.rpm
• Path: /repositories/openSUSE:/Slowroll:/Build:/2/standard/x86_64/coq-debugsource-9.2.0-2.0.2.1.sr20260802.x86_64.rpm
• Size: 36KiB (36966 bytes)
• Last modified: 13-Aug-2026 09:32:30 (Unix timestamp: 1786613550)
• SHA-512 Hash: 371a026e7adc291265f7d9418cae98f7838aa6b0c2f1b9003d3d6386181ac6d55d2d3a75ae17b8b198c62d22a0f55a0baa2810fb18f7583851b5aa1528f3f374
• SHA-256 Hash: 97b3109841aa8a640cc7afe6fa95cd58ea2fe7d0ae3c1d28ad9a128a5def8dd7
• SHA-1 Hash: 3092b1c2e7b86d278861ed75d133c22b672b2311
• MD5 Hash: ad332b9c295c76e4b81952a61d67b512
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/openSUSE:/Slowroll:/Build:/2/standard/x86_64/coq-debugsource-9.2.0-2.0.2.1.sr20260802.x86_64.rpm