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

File information

• Filename: coq-9.2.0-2.0.2.1.sr20260802.src.rpm
• Path: /repositories/openSUSE:/Slowroll:/Build:/2/standard/src/coq-9.2.0-2.0.2.1.sr20260802.src.rpm
• Size: 18MiB (18653367 bytes)
• Last modified: 13-Aug-2026 09:32:00 (Unix timestamp: 1786613520)
• SHA-512 Hash: 15bf862ad2e32c1c83412a578bac092d4d18fdb432c3fba04033de502326dc728b2602cd3371f52946adddc2785aab90ee7922a54a8af726d15ab62e856c6c66
• SHA-256 Hash: 426fe0a9c880e42794a1cc2cc3987474b41c769808d5944b0d1b9feae617b37e
• SHA-1 Hash: 1a217a9ace8b0e2d7977eefc4b70b521e0b3e157
• MD5 Hash: 3b8654bc51fb15707280ea3d3f85f66d
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/openSUSE:/Slowroll:/Build:/2/standard/src/coq-9.2.0-2.0.2.1.sr20260802.src.rpm