File information
- Filename: lean4-4.15.0-1.15.src.rpm
- Path: /repositories/science/openSUSE_Factory_PowerPC/src/lean4-4.15.0-1.15.src.rpm
- Size: 17MiB (17749591 bytes)
- Last modified: 21-Oct-2025 19:43:00 (Unix timestamp: 1761075780)
- SHA-512 Hash: 4547899d7a204ce0a6ad5dea0fb7aa7885d38b04547de0b77bbf988c9e46572ff486f22eb71067a801bc4d917d4b166b154c6684421d4b3a81d659f3b653be23
- SHA-256 Hash: 36be3e05ac3b62be8b0e19ca1d665551eef623829cafabef5d7429a0e454e8d4
- SHA-1 Hash: c3de2f9907dff01005216c629594045fdaab2b67
- MD5 Hash: 7380a790fceea81a2de79038be2df20e
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/science/openSUSE_Factory_PowerPC/src/lean4-4.15.0-1.15.src.rpm
Mirrors
List of best mirrors for IP address 216.73.216.26, 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)