1. ^
2. repositories
3. science
4. openSUSE_Leap_16.0
5. aarch64
6. lean4-4.15.0-lp160.1.8.aarch64.rpm

File information

• Filename: lean4-4.15.0-lp160.1.8.aarch64.rpm
• Path: /repositories/science/openSUSE_Leap_16.0/aarch64/lean4-4.15.0-lp160.1.8.aarch64.rpm
• Size: 29MiB (30768776 bytes)
• Last modified: 05-May-2025 11:26:49 (Unix timestamp: 1746444409)
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: http://downloadcontent2.opensuse.org/repositories/science/openSUSE_Leap_16.0/aarch64/lean4-4.15.0-lp160.1.8.aarch64.rpm