1. ^
2. repositories
3. home:
4. darix:
5. playground
6. openSUSE_Tumbleweed
7. x86_64
8. lean4-4.15.0-2.1.x86_64.rpm

File information

• Filename: lean4-4.15.0-2.1.x86_64.rpm
• Path: /repositories/home:/darix:/playground/openSUSE_Tumbleweed/x86_64/lean4-4.15.0-2.1.x86_64.rpm
• Size: 33MiB (34428108 bytes)
• Last modified: 01-Jan-2026 00:11:28 (Unix timestamp: 1767226288)
• SHA-512 Hash: 3f9aa6f29f47af5c3981a74b070055b4e3f0a78ee6faa24a8f6499a24e1a1e73c2675d0940f23c0274c8b18fdbadf71cbcd094b1796ab7607a579785033e5083
• SHA-256 Hash: 6257e17b7d51b32c1fcf1141aa624debd5d10806803d4688ac1c92eabb9e6f6b
• SHA-1 Hash: e87b7f47f81f4307a75eb52785c301f25a058a2b
• MD5 Hash: 547c53eb19544cb0f9b1169d7937dfe2
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://downloadcontentcdn.opensuse.org/repositories/home:/darix:/playground/openSUSE_Tumbleweed/x86_64/lean4-4.15.0-2.1.x86_64.rpm