File information
- Filename: lean4-devel-4.15.0-1.17.ppc64le.rpm
- Path: /repositories/science/openSUSE_Factory_PowerPC/ppc64le/lean4-devel-4.15.0-1.17.ppc64le.rpm
- Size: 22KiB (22698 bytes)
- Last modified: 11-Feb-2026 20:56:46 (Unix timestamp: 1770843406)
- SHA-512 Hash: 717b510d314b64a6248f86cfa752a2ad781f6933f394c02e26851950064bf46857788fb9a1455b9a7fd99b3a4c28f37848fa6a40b0f722b629e37591552edd49
- SHA-256 Hash: cbbc92770f4b9b75c6ce4719762d153036c75aee0c7b405853b56345827a7abc
- SHA-1 Hash: 5b1e97c589494f56809ffc2fa61b47658c91ed18
- MD5 Hash: c7faddcab0c7c418f0f0fdd0a102d09d
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/repositories/science/openSUSE_Factory_PowerPC/ppc64le/lean4-devel-4.15.0-1.17.ppc64le.rpm
Mirrors
List of best mirrors for IP address 216.73.216.208, located at 39.9625,-83.0061 in (US)
Mirrors which handle this country: 1
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 3
- ftp.gwdg.de (DE)
- mirror.aardsoft.fi (FI)
- opensuse.mirror.liquidtelecom.com (KE)