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

File information

• Filename: lean4-4.15.0-1.2.ppc64le.rpm
• Path: /repositories/science/openSUSE_Factory_PowerPC/ppc64le/lean4-4.15.0-1.2.ppc64le.rpm
• Size: 29MiB (30445993 bytes)
• Last modified: 31-Jan-2025 22:05:00 (Unix timestamp: 1738361100)
• SHA-512 Hash: 491af07fb374e6183d8faa2124a12b6be4ab94d440ef08ca830e5f5fe9f4e59c3f725ec4e571dc168fed0342a32a954b41dcd12c2a56c199972efa134776d25b
• SHA-256 Hash: 19c81b0c636679006ee7de6fea3a89f57e96c0b48a365edec1b915999356c433
• SHA-1 Hash: 8fe7f51b9788166d13e9880efdb642ceead684ee
• MD5 Hash: ba7e71dc3070335b78f21aba9dbb09e6
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: http://download.opensuse.org/repositories/science/openSUSE_Factory_PowerPC/ppc64le/lean4-4.15.0-1.2.ppc64le.rpm