1. ^
2. repositories
3. home:
4. lorenz:
5. idris
6. openSUSE_Tumbleweed
7. src
8. idris2-0.8.0.git.20260110.d83bc7d-18.10.src.rpm

File information

• Filename: idris2-0.8.0.git.20260110.d83bc7d-18.10.src.rpm
• Path: /repositories/home:/lorenz:/idris/openSUSE_Tumbleweed/src/idris2-0.8.0.git.20260110.d83bc7d-18.10.src.rpm
• Size: 6.9MiB (7202954 bytes)
• Last modified: 31-Jul-2026 05:52:00 (Unix timestamp: 1785477120)
• SHA-512 Hash: a1f4ceabbb28ae7eb46879c1e282dcdef09937bf9d384fa115eba572ea8b312693386ac8ffe7bc4f4df730ed788cee391d1c75e587806f4a0b72b21559c01a83
• SHA-256 Hash: 2598b16364e7d14c164f3a5a47eaa5f4070e456f5094232194055985da8d5059
• SHA-1 Hash: 5fec6d13c735ec8e0237c1054e2e192a272cce2e
• MD5 Hash: e255ec8fe7120f3dd22773798585caa6
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/home:/lorenz:/idris/openSUSE_Tumbleweed/src/idris2-0.8.0.git.20260110.d83bc7d-18.10.src.rpm