File information
- Filename: lean4-4.15.0-1.42.aarch64.rpm
- Path: /repositories/science/openSUSE_Tumbleweed/aarch64/lean4-4.15.0-1.42.aarch64.rpm
- Size: 29MiB (30495649 bytes)
- Last modified: 26-Feb-2026 06:19:58 (Unix timestamp: 1772086798)
- SHA-512 Hash: 81ab13e80fafa1b5d282924457c90dd30ac28dd205e557d43120a0fe7d9c76399ba37a34132bd6b19dff64000955ea8edc563a4a30ef9e4b4b1e45f416f0b30f
- SHA-256 Hash: 0f229133bcd766c10659c119bdd1d43b3b54b07dba679ccb981f5a649cb94d9a
- SHA-1 Hash: ae081ea24533ee4c3bc72742cf7c0f96a3fe03aa
- MD5 Hash: 966b36328fb8ad21828ba4a6b78b0fca
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/repositories/science/openSUSE_Tumbleweed/aarch64/lean4-4.15.0-1.42.aarch64.rpm
Mirrors
List of best mirrors for IP address 216.73.217.138, 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)