File information
- Filename: lean4-4.15.0-lp160.1.12.src.rpm
- Path: /repositories/science/openSUSE_Leap_16.0/src/lean4-4.15.0-lp160.1.12.src.rpm
- Size: 17MiB (17749619 bytes)
- Last modified: 30-Jan-2026 15:49:00 (Unix timestamp: 1769788140)
- SHA-512 Hash: 74d40ef7482c96d5639765c917659af7bb0488eb0fd0fae0d8e71bb5e90826aa045c4ba17f89864b5435adfcd2643da7df8ef6d26f2578a31cb873cb4f92210a
- SHA-256 Hash: 3098f9223f2c06fba4d74b9c93c11f739d0d7bfbe5d1bf687500569b4ae9ce57
- SHA-1 Hash: f43e67dafd3445c3f5382fd1944cbd0afb803091
- MD5 Hash: d0daa00c0cd4b52f287e4dd3bf72a9ae
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/science/openSUSE_Leap_16.0/src/lean4-4.15.0-lp160.1.12.src.rpm
Mirrors
List of best mirrors for IP address 140.248.79.42, 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)