File information
- Filename: lean4-4.15.0-1.17.ppc64le.rpm
- Path: /repositories/science/openSUSE_Factory_PowerPC/ppc64le/lean4-4.15.0-1.17.ppc64le.rpm
- Size: 32MiB (33322279 bytes)
- Last modified: 11-Feb-2026 20:56:45 (Unix timestamp: 1770843405)
- SHA-512 Hash: 00881a21fa02947641a5feda3e7b804583251a5cdf21416b2a9b3ea854fe57fae2ad89db26ce9c93d988cc166df25c05cdc5d4ca025ed0cc2228fe6ab7c47ca5
- SHA-256 Hash: 9e64fcc7834d0cde9a4a8dcbce24d28566589e019b8f067dcc4021f230bdc8c4
- SHA-1 Hash: 6e2fd70795a40ec7243f0ac942b2726e042d3f85
- MD5 Hash: 94b4565672d35b2a9ed199ede45422fa
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/repositories/science/openSUSE_Factory_PowerPC/ppc64le/lean4-4.15.0-1.17.ppc64le.rpm
Mirrors
List of best mirrors for IP address 216.73.216.141, located at 39.9625,-83.0061 in (US)
Mirrors which handle this country: 1
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 2
- ftp.gwdg.de (DE)
- mirror.aardsoft.fi (FI)