File information
- Filename: lean4-4.15.0-1.11.x86_64.rpm
- Path: /repositories/home:/nuklly/openSUSE_Tumbleweed/x86_64/lean4-4.15.0-1.11.x86_64.rpm
- Size: 32MiB (33887927 bytes)
- Last modified: 02-May-2025 03:26:00 (Unix timestamp: 1746156360)
- SHA-512 Hash: da1ee1e9c19572b541df9422590df6a7e5e5acf33f999a5f2b52fdea2704671b5e4678a9a8620c0c8bd9ac1482e6915ed5adf74dcd3bf209f376fd926b6d213b
- SHA-256 Hash: 09c6925a9efde11168eb87b4a29b12b3fc43adb7cc7bb49b8b369f7c965c698b
- SHA-1 Hash: 460c3f5dc27636722a8cb0903b60e7245f469604
- MD5 Hash: a384f6a11de0f17e6c4978908ef14522
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/home:/nuklly/openSUSE_Tumbleweed/x86_64/lean4-4.15.0-1.11.x86_64.rpm
Mirrors
List of best mirrors for IP address 18.191.15.150, located at 39.9625,-83.0061 in (US)
Mirrors which handle this country: 0
- None
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)