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

File information

• Filename: idris2-0.8.0.git.20260110.d83bc7d-18.12.src.rpm
• Path: /repositories/home:/lorenz:/idris/openSUSE_Tumbleweed/src/idris2-0.8.0.git.20260110.d83bc7d-18.12.src.rpm
• Size: 6.9MiB (7202953 bytes)
• Last modified: 04-Oct-2026 12:38:00 (Unix timestamp: 1791117480)
• SHA-512 Hash: e1c4b61011b92c25ab11a1d154122a1239c0d3ae315f5c37705e6b407f728ea75bb89a660d8e798757302948eeb5f3496e4294f0f3334549d14ac93555861bfc
• SHA-256 Hash: 1dfcc604fe3326de6043f7f0119ad980d35de90b865855f3e45439a909711e86
• SHA-1 Hash: 0b464d6b786a9fa8129d96517f5553d6989a566a
• MD5 Hash: d19fc915735ec9ed3d2998f8fa0b9af8
• 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.12.src.rpm