File information
- Filename: lean4-4.15.0-1.48.aarch64.rpm
- Path: /repositories/science/openSUSE_Tumbleweed/aarch64/lean4-4.15.0-1.48.aarch64.rpm
- Size: 29MiB (30496476 bytes)
- Last modified: 24-Jun-2026 20:08:00 (Unix timestamp: 1782331680)
- SHA-512 Hash: 6865d31b9b17479a51b8cd1bff51448e7a667e6506e8394fc306b03ca17f08ca5224c8fdc646eca13c13e5e6c9bd77e7271705b26c95965aab20f4a15d813884
- SHA-256 Hash: 1335ac9afeec4508ce7adabc7fc2c874452e5505519b625b543dc4e9a68bbafc
- SHA-1 Hash: 8a23031fcd92d96671e12869ab0db88ea2687bf8
- MD5 Hash: e0b29b858ef5ba82eef49c6162ff23af
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/repositories/science/openSUSE_Tumbleweed/aarch64/lean4-4.15.0-1.48.aarch64.rpm
Mirrors
List of best mirrors for IP address 216.73.217.1, 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)