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

File information

• Filename: coq-9.2.0-2.0.2.4.sr20260802.src.rpm
• Path: /repositories/openSUSE:/Slowroll:/Build:/2/standard/src/coq-9.2.0-2.0.2.4.sr20260802.src.rpm
• Size: 18MiB (18653367 bytes)
• Last modified: 06-Sep-2026 21:54:03 (Unix timestamp: 1788731643)
• SHA-512 Hash: 53b78fcf52c18f2642e5b9199ee95b6b04b074e3436ef549075224e97d50a62f9af5e76599a6c88e9c78b4e14dc7c285c713d2a88f0a70cfb495e0811bc01c8a
• SHA-256 Hash: 4457bc91552dded626a1136d18a218e90254587ae21a1c6b468619b1d306e523
• SHA-1 Hash: 97f12c26791df58d18beb80e80107bae02826d58
• MD5 Hash: 4f8dd6e471da009312ca5031fa9c4abb
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://downloadcontent2.opensuse.org/repositories/openSUSE:/Slowroll:/Build:/2/standard/src/coq-9.2.0-2.0.2.4.sr20260802.src.rpm