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

File information

• Filename: idris2-0.8.0.git.20260110.d83bc7d-18.11.src.rpm
• Path: /repositories/home:/lorenz:/idris/openSUSE_Tumbleweed/src/idris2-0.8.0.git.20260110.d83bc7d-18.11.src.rpm
• Size: 6.9MiB (7202954 bytes)
• Last modified: 27-Aug-2026 04:06:00 (Unix timestamp: 1787803560)
• SHA-512 Hash: 37306f6021e005fab383dcbd99c30f0c092efaa211daef25e2d8070ef7b0d1ec9344b1819426ff75b27a32ebef74df892f784e9be68354c89fb154068ef186ba
• SHA-256 Hash: a4360771d9b84f2ecf8dc4e38c5e5287f37cb8da5850b7771ec501fe2829b298
• SHA-1 Hash: 87e22714eb19a74ded94ba80e021c6bccf33b152
• MD5 Hash: 4949559dee83b30ccd0778e624c4d757
• 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.11.src.rpm