File information
- Filename: lean4-4.15.0-lp160.1.1.aarch64.rpm
- Path: /repositories/science/openSUSE_Leap_16.0/aarch64/lean4-4.15.0-lp160.1.1.aarch64.rpm
- Size: 29MiB (30877696 bytes)
- Last modified: 29-Jan-2025 16:28:00 (Unix timestamp: 1738168080)
- SHA-512 Hash: 73600b4fabc336b4516732b227ca1eaa13a8b0c2cc9ffd098ae9b849533c2a070c95945dbfc0dac5d6048e6fcd7109743005f2ec5b30f41362890d7cae577364
- SHA-256 Hash: 86e0d10a3c64032d8539ce5635125185cc5839d8b7251d1ebe46d06ec52c8e2e
- SHA-1 Hash: 4a8be346d848287d0813099680159248d6ad056b
- MD5 Hash: 6f6bd18afd915874e3332858fe0f4706
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/science/openSUSE_Leap_16.0/aarch64/lean4-4.15.0-lp160.1.1.aarch64.rpm
Mirrors
List of best mirrors for IP address 18.220.95.176, 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: 5
- ftp.gwdg.de (DE)
- mirror.aardsoft.fi (FI)
- opensuse.mirror.liquidtelecom.com (KE)
- mirror.tspu.ru (RU)
- ftp.lysator.liu.se (SE)