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.4.sr20260802.x86_64.rpm

File information

• Filename: coq-debugsource-9.2.0-2.0.2.4.sr20260802.x86_64.rpm
• Path: /repositories/openSUSE:/Slowroll:/Build:/2/standard/x86_64/coq-debugsource-9.2.0-2.0.2.4.sr20260802.x86_64.rpm
• Size: 36KiB (36966 bytes)
• Last modified: 06-Sep-2026 21:54:00 (Unix timestamp: 1788731640)
• SHA-512 Hash: a78b9832d3cb2a116bd12b85c45b84d5534bf491a6476206c88e210f9b89bf8c807467fee80254b2166324050873b80ee8f3381b78b2bf71779228751519849a
• SHA-256 Hash: ba183c538d35787e719b87bd11790a4c05dff5497bda518d28f5d472f503818d
• SHA-1 Hash: c61ba20cacd8bd4f9f2f4d29f5650c19992c9441
• MD5 Hash: 0f47248b396fa87967842748702da31c
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://downloadcontent2.opensuse.org/repositories/openSUSE:/Slowroll:/Build:/2/standard/x86_64/coq-debugsource-9.2.0-2.0.2.4.sr20260802.x86_64.rpm