File information
- Filename: lean4-devel-4.15.0-1.36.aarch64.rpm
- Path: /repositories/science/openSUSE_Tumbleweed/aarch64/lean4-devel-4.15.0-1.36.aarch64.rpm
- Size: 22KiB (22718 bytes)
- Last modified: 25-Oct-2025 05:47:00 (Unix timestamp: 1761371220)
- SHA-512 Hash: 510c9b8843cf5aed31f3db7f5781510bdc2ba1bf8c8180bb7e365a2f0e799a2541199f5407145bda3e4a84272bd4c81a9ac84720460af34722685e2a12425a5a
- SHA-256 Hash: f9039c921e4d83e9431235dade363c03fb44ad93a625109f2b496d71a056155e
- SHA-1 Hash: 57b52c607877ee43166c6640bf6a92e65d170f8b
- MD5 Hash: 927e1e9b4287e1e07257b90834e0e3e1
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontent2.opensuse.org/repositories/science/openSUSE_Tumbleweed/aarch64/lean4-devel-4.15.0-1.36.aarch64.rpm
Mirrors
List of best mirrors for IP address 216.73.216.222, 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)