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

File information

• Filename: lean4-4.15.0-lp160.1.4.src.rpm
• Path: /repositories/science/openSUSE_Leap_16.0/src/lean4-4.15.0-lp160.1.4.src.rpm
• Size: 17MiB (17749695 bytes)
• Last modified: 02-Apr-2025 04:45:12 (Unix timestamp: 1743569112)
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: http://downloadcontent.opensuse.org/repositories/science/openSUSE_Leap_16.0/src/lean4-4.15.0-lp160.1.4.src.rpm