1. ^
2. repositories
3. Amazon:
4. spal:
5. 2023:
6. Update
7. standard
8. x86_64
9. idris2-libs-0.7.0-1.2.spal2023.x86_64.rpm

File information

• Filename: idris2-libs-0.7.0-1.2.spal2023.x86_64.rpm
• Path: /repositories/Amazon:/spal:/2023:/Update/standard/x86_64/idris2-libs-0.7.0-1.2.spal2023.x86_64.rpm
• Size: 23KiB (23434 bytes)
• Last modified: 10-Jun-2026 13:07:35 (Unix timestamp: 1781096855)
• SHA-512 Hash: 462344bc66c804e21ef6a948bb056dc4ef3640047f0cd331622df63c2cc2113378b083a7fc929aad3e520450bf4d1c899d12c3e105cb0d24b63cd590f8e0dddd
• SHA-256 Hash: 372c36c63038d90c9b36d43fa9228a61f6a515c99480760d36db28f035d53006
• SHA-1 Hash: 5efe55402862915db7779dfaa095a1acd034a62f
• MD5 Hash: 8293fcad21e16d43d2c24335ecbac029
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/Amazon:/spal:/2023:/Update/standard/x86_64/idris2-libs-0.7.0-1.2.spal2023.x86_64.rpm