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

File information

• Filename: idris2-debugsource-0.7.0-1.2.spal2023.x86_64.rpm
• Path: /repositories/Amazon:/spal:/2023:/Update/standard/x86_64/idris2-debugsource-0.7.0-1.2.spal2023.x86_64.rpm
• Size: 19KiB (19774 bytes)
• Last modified: 10-Jun-2026 13:07:35 (Unix timestamp: 1781096855)
• SHA-512 Hash: f141348f0a3ba7c1d76a804a5932f0438e8656b2595364415ec04f57a8db7182593f0a63dae406695d1015e41196db734dcb78cb0635cab2ea72995d15e5dce5
• SHA-256 Hash: 1e8df23b1182b91bafac964b5bfc99c15c44a5eac944fb85133c7634eb4433e3
• SHA-1 Hash: 48c94c96d40825b41f53fc4c7f96e127989ce77a
• MD5 Hash: 2d4a8721887b1b4598b0dc7801f757b1
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/Amazon:/spal:/2023:/Update/standard/x86_64/idris2-debugsource-0.7.0-1.2.spal2023.x86_64.rpm