1. ^
2. repositories
3. openSUSE:
4. Factory:
5. RISCV
6. standard
7. src
8. coq-9.2.0-1.2.src.rpm

File information

• Filename: coq-9.2.0-1.2.src.rpm
• Path: /repositories/openSUSE:/Factory:/RISCV/standard/src/coq-9.2.0-1.2.src.rpm
• Size: 18MiB (18652650 bytes)
• Last modified: 28-Jun-2026 23:07:26 (Unix timestamp: 1782688046)
• SHA-512 Hash: d1d35818dc9b0bf35e7e195e05eae5750dc0f4f3853c4cc694a105c0e6abef21dae45c18d975647712e69a7ab07574555e155096d5eafbad161a3162c62716b4
• SHA-256 Hash: af933d164193aa71e4542a56d804113afe5377405d5d226fbdd2b1385f803a97
• SHA-1 Hash: c4e0bfb8d898a726e2d9a92e30c45746530f293d
• MD5 Hash: cf3bdfc305d47d15088bb716c00dc1d1
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/openSUSE:/Factory:/RISCV/standard/src/coq-9.2.0-1.2.src.rpm