File information
- Filename: lean4-4.15.0-1.2.src.rpm
- Path: /repositories/science/openSUSE_Slowroll/src/lean4-4.15.0-1.2.src.rpm
- Size: 17MiB (17749584 bytes)
- Last modified: 27-Jul-2026 00:37:48 (Unix timestamp: 1785112668)
- SHA-512 Hash: 7ba3ffe6049e34a64ff451dddeeb753034069757def26e8df0a08e9244e69740476d2eaf51828831ac9589ffbe82dced67979b0ed23bcb3c94afc48fe9fb2892
- SHA-256 Hash: 17e9b6df36871a4c2d0c31307a44f7f38b95e7a46c87c68e6f4cb9848be82d55
- SHA-1 Hash: 204b05f3eb691dc43545a11f1e53971313f4a196
- MD5 Hash: 4ca8cf2ec1f84a87c5b1fa10014201cf
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/science/openSUSE_Slowroll/src/lean4-4.15.0-1.2.src.rpm
Mirrors
List of best mirrors for IP address 216.73.216.143, located at 39.9587,-82.9987 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: 2
- ftp.gwdg.de (DE)
- opensuse.mirror.liquidtelecom.com (KE)