File information
- Filename: lean4-4.15.0-1.15.ppc64le.rpm
- Path: /repositories/science/openSUSE_Factory_PowerPC/ppc64le/lean4-4.15.0-1.15.ppc64le.rpm
- Size: 32MiB (33322295 bytes)
- Last modified: 21-Oct-2025 19:43:00 (Unix timestamp: 1761075780)
- SHA-512 Hash: 577c044c2b566ef217751ca2a5c3edb2b14caeeafb672892f39c2c46b37000b96c92d52a9324607a0a6780bdd38260fc5e3a8f53a50597e14310f1925eaf90c1
- SHA-256 Hash: 7d8fa2d2912d503d500a2ae8e51153e57611c0d653e068bfb55a5659e4ac9ae1
- SHA-1 Hash: 5057f9a0aa848e0fc8474be075713a140c3ac8be
- MD5 Hash: 6bdd709646a77bca5b1aa0a90305481d
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/repositories/science/openSUSE_Factory_PowerPC/ppc64le/lean4-4.15.0-1.15.ppc64le.rpm
Mirrors
List of best mirrors for IP address 216.73.216.0, 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: 3
- ftp.gwdg.de (DE)
- mirror.aardsoft.fi (FI)
- ftp.lysator.liu.se (SE)