File information
- Filename: lean4-4.15.0-2.1.src.rpm
- Path: /repositories/home:/darix:/playground/openSUSE_Tumbleweed/src/lean4-4.15.0-2.1.src.rpm
- Size: 17MiB (17749619 bytes)
- Last modified: 01-Jan-2026 00:11:27 (Unix timestamp: 1767226287)
- SHA-512 Hash: 971678bc2489f3762e2a29489fa528aebc53a07b0cb3394e17879210178e4adb1ff473a0b41ad9223de25701cc766cb7368da059373245f0628fcc390755ab09
- SHA-256 Hash: 8189523893698a987599a089e642fad5994738a7f2b62b1384e05d283f1f4e4c
- SHA-1 Hash: aa4839fbf50f96335dfaeda900cabfb923d1d77a
- MD5 Hash: 1e6e5e557d2951249001295d2df3826d
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontentcdn.opensuse.org/repositories/home:/darix:/playground/openSUSE_Tumbleweed/src/lean4-4.15.0-2.1.src.rpm
Mirrors
List of best mirrors for IP address 216.73.216.4, located at 37.751,-97.822 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: 0
- None