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

File information

• Filename: lean4-4.15.0-1.1.ppc64le.rpm
• Path: /repositories/science/openSUSE_Factory_PowerPC/ppc64le/lean4-4.15.0-1.1.ppc64le.rpm
• Size: 29MiB (30447311 bytes)
• Last modified: 15-Jan-2025 21:37:00 (Unix timestamp: 1736977020)
• SHA-512 Hash: 42c994ea59d779b870d01a5cb7e22e87a8d1c6b770069f04c6c19f1dcf5f36fcd3a1a5cbf90c744b366fd1ee10b5d45d7f6eed84ca7e185d0dc3d0ddd868cf49
• SHA-256 Hash: 5126f65290d4869a5beb3c867fa7887d35868f8b216ba6eccff735786c276b5f
• SHA-1 Hash: 2d31f56e74667f9c95c84f64a6170b2ca9ca97a7
• MD5 Hash: adc053db1039578d521c7a9a4b24b8e3
• Metalink (v3.0)
• Metalink (v4.0)
• Origin: https://download.opensuse.org/repositories/science/openSUSE_Factory_PowerPC/ppc64le/lean4-4.15.0-1.1.ppc64le.rpm