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

File information

• Filename: idris2-doc-0.7.0-1.2.spal2023.noarch.rpm
• Path: /repositories/Amazon:/spal:/2023:/Update/standard/noarch/idris2-doc-0.7.0-1.2.spal2023.noarch.rpm
• Size: 422KiB (431968 bytes)
• Last modified: 10-Jun-2026 13:07:35 (Unix timestamp: 1781096855)
• SHA-512 Hash: 8a59c323e64bdfdb9264fcf0f2cddb99227f81c373b356a8d71643cabc3a42b8e2783265afdc48418cd0522210769239935b660c67959659254a35371779c0fe
• SHA-256 Hash: 1eaab3246610cf7d3f61e666ac7a191b2ca0e8770c3aee93be97430629ff2257
• SHA-1 Hash: 4901f42af1a0e415127e39331cd4ea03b3c51f47
• MD5 Hash: 0110682aaed447959027de7c4463dd6c
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/Amazon:/spal:/2023:/Update/standard/noarch/idris2-doc-0.7.0-1.2.spal2023.noarch.rpm