File information
- Filename: lean4-4.15.0-bp161.1.1.src.rpm
- Path: /repositories/science/16.1/src/lean4-4.15.0-bp161.1.1.src.rpm
- Size: 17MiB (17749585 bytes)
- Last modified: 08-May-2026 07:06:00 (Unix timestamp: 1778223960)
- SHA-512 Hash: 264c1df5712d7a78e59be0f6102d3154d0aa76f711fca686bae4bad843aaab15cd40d3e715c0de79df9e621f2b3ebe6f2795a901f1c9ef2eda5c9d5826d92cc6
- SHA-256 Hash: e9b3d57ccb51727dfd17b6441b79684c33b142c1a7f8b7186a1b454773dad593
- SHA-1 Hash: 4dba9e851395cc6d1eaacc56a86a7877b86ea502
- MD5 Hash: dcc5da52497c8c350b6b0978adee61e4
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/science/16.1/src/lean4-4.15.0-bp161.1.1.src.rpm
Mirrors
List of best mirrors for IP address 216.73.217.46, 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)