1. ^
2. repositories
3. science
4. openSUSE_Factory_PowerPC
5. src
6. lean4-4.15.0-1.15.src.rpm

File information

• Filename: lean4-4.15.0-1.15.src.rpm
• Path: /repositories/science/openSUSE_Factory_PowerPC/src/lean4-4.15.0-1.15.src.rpm
• Size: 17MiB (17749591 bytes)
• Last modified: 21-Oct-2025 19:43:00 (Unix timestamp: 1761075780)
• SHA-512 Hash: 4547899d7a204ce0a6ad5dea0fb7aa7885d38b04547de0b77bbf988c9e46572ff486f22eb71067a801bc4d917d4b166b154c6684421d4b3a81d659f3b653be23
• SHA-256 Hash: 36be3e05ac3b62be8b0e19ca1d665551eef623829cafabef5d7429a0e454e8d4
• SHA-1 Hash: c3de2f9907dff01005216c629594045fdaab2b67
• MD5 Hash: 7380a790fceea81a2de79038be2df20e
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://downloadcontent2.opensuse.org/repositories/science/openSUSE_Factory_PowerPC/src/lean4-4.15.0-1.15.src.rpm