File information
- Filename: lean4-4.15.0-1.42.src.rpm
- Path: /repositories/science/openSUSE_Tumbleweed/src/lean4-4.15.0-1.42.src.rpm
- Size: 17MiB (17749568 bytes)
- Last modified: 26-Feb-2026 07:12:20 (Unix timestamp: 1772089940)
- SHA-512 Hash: ca6c2a3c37b328a75ca9eb51a26156fd3f1ebff51e29b04065b0b2f3fa19806dfec41d61acc817914bdd3d0acd03b5945ae2f52dead8438cab33db929aa94667
- SHA-256 Hash: 03a536983db858888d1e2241b3fde354c834a6fb5c72c3db6ffe98ae29cd9041
- SHA-1 Hash: d50ba2687ddd61f169888a1a9afd770dc4447c25
- MD5 Hash: 5b69a877919a8aae13ad6b10fc403978
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/science/openSUSE_Tumbleweed/src/lean4-4.15.0-1.42.src.rpm
Mirrors
List of best mirrors for IP address 216.73.216.179, 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: 1
- ftp.gwdg.de (DE)