1. ^
2. repositories
3. science
4. openSUSE_Tumbleweed
5. x86_64
6. lean4-4.15.0-1.3.x86_64.rpm

File information

• Filename: lean4-4.15.0-1.3.x86_64.rpm
• Path: /repositories/science/openSUSE_Tumbleweed/x86_64/lean4-4.15.0-1.3.x86_64.rpm
• Size: 32MiB (33905539 bytes)
• Last modified: 06-Feb-2025 01:09:58 (Unix timestamp: 1738804198)
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://cdn.opensuse.org/repositories/science/openSUSE_Tumbleweed/x86_64/lean4-4.15.0-1.3.x86_64.rpm