File information
- Filename: lean4-4.15.0-lp160.1.12.aarch64.rpm
- Path: /repositories/science/openSUSE_Leap_16.0/aarch64/lean4-4.15.0-lp160.1.12.aarch64.rpm
- Size: 29MiB (30717800 bytes)
- Last modified: 31-Jan-2026 16:22:00 (Unix timestamp: 1769876520)
- SHA-512 Hash: dab541e610cb429af664b1d69db1e6fe135cb9835891eeea76a74ff6045b29ca97aa90b5d8ccf9259c2780a79ed6a4d9b464d650a5171543b9a67f566535e665
- SHA-256 Hash: 7b35adc5d9a475186bd8325969b2eab38fa57edf8fc24cbc9786d4327b78311d
- SHA-1 Hash: 8cb8d364af30cc872e0e0b8376e845455f502a77
- MD5 Hash: ec12214e331a354c6fb73795b801228c
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/repositories/science/openSUSE_Leap_16.0/aarch64/lean4-4.15.0-lp160.1.12.aarch64.rpm
Mirrors
List of best mirrors for IP address 216.73.217.12, located at 39.9587,-82.9987 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)
- opensuse.mirror.liquidtelecom.com (KE)