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

File information

• Filename: idris2-0.7.0-1.2.spal2023.x86_64.rpm
• Path: /repositories/Amazon:/spal:/2023:/Update/standard/x86_64/idris2-0.7.0-1.2.spal2023.x86_64.rpm
• Size: 14MiB (14672499 bytes)
• Last modified: 10-Jun-2026 13:07:35 (Unix timestamp: 1781096855)
• SHA-512 Hash: 597a17e9fe4e173fa3494d2fa03f6652a7121750b5accbfc4b1f47305563c0cab70342f3173120f0ffa98fadf15caf3d96e1b79e716c3f31bad167d528df24c8
• SHA-256 Hash: e299e1ffb2ffb0ad2664f94c23c4f78060890fa9d6b8c828ccb27c8811c399fd
• SHA-1 Hash: 555763da9046f64416b4dad44df2af441ba105cf
• MD5 Hash: 6f831deddfdc55216763c990e7c4d571
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/Amazon:/spal:/2023:/Update/standard/x86_64/idris2-0.7.0-1.2.spal2023.x86_64.rpm