1. ^
2. repositories
3. science
4. openSUSE_Factory_PowerPC
5. ppc64le
6. lean4-4.15.0-1.18.ppc64le.rpm

File information

• Filename: lean4-4.15.0-1.18.ppc64le.rpm
• Path: /repositories/science/openSUSE_Factory_PowerPC/ppc64le/lean4-4.15.0-1.18.ppc64le.rpm
• Size: 32MiB (33322244 bytes)
• Last modified: 01-May-2026 09:19:06 (Unix timestamp: 1777627146)
• SHA-512 Hash: 5d161f5b67f13c2242808c3b5cfb0bb4c49632ec781d5932623435c28a0cf17bda92dc7cb16f41058254a8a6f2578dee4563a97b12f38360b69ff9bf4e980992
• SHA-256 Hash: 78fd4acdfe0b397767f4dcb626635f2695f8f600defac03dd9191b080a516e77
• SHA-1 Hash: db421f11267a3f088c4a0b1e69c856834c3ad7ca
• MD5 Hash: 19d137cb671a72d13075b70cf7d00cfb
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://downloadcontentcdn.opensuse.org/repositories/science/openSUSE_Factory_PowerPC/ppc64le/lean4-4.15.0-1.18.ppc64le.rpm