1. ^
2. repositories
3. openSUSE:
4. Factory:
5. RISCV
6. standard
7. riscv64
8. coq-debugsource-8.20.1-1.3.riscv64.rpm

File information

• Filename: coq-debugsource-8.20.1-1.3.riscv64.rpm
• Path: /repositories/openSUSE:/Factory:/RISCV/standard/riscv64/coq-debugsource-8.20.1-1.3.riscv64.rpm
• Size: 2MiB (2095303 bytes)
• Last modified: 04-Mar-2025 22:44:00 (Unix timestamp: 1741128240)
• SHA-512 Hash: a450d4b4e42ebe67b4eb84fdbbfa4ca1c339bd9a6e4763eba310f0a8df29f1ef23a0fb3683b18c10b2013c82d03a1fc9093b98516bc55e1f3496ffd8360e118f
• SHA-256 Hash: d5b0e49236adf69430411c1d382b833735eeba45e0d1a7c176b714916d414d33
• SHA-1 Hash: 9c4f8a88a6bd179cadc5cd1862283e6bd3aacc09
• MD5 Hash: ad93133711734102a8a0fc74ce8677f8
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: http://download.opensuse.org/repositories/openSUSE:/Factory:/RISCV/standard/riscv64/coq-debugsource-8.20.1-1.3.riscv64.rpm