File information
- Filename: lean4-4.15.0-1.8.ppc64le.rpm
- Path: /repositories/science/openSUSE_Factory_PowerPC/ppc64le/lean4-4.15.0-1.8.ppc64le.rpm
- Size: 32MiB (33327489 bytes)
- Last modified: 16-Jun-2025 20:27:00 (Unix timestamp: 1750105620)
- SHA-512 Hash: d40b4d05ba680535e8009ff2af86af1231e3749535594e8523e88f8142fc2d6323a5f417f04cf7629db480a9b52d59348a63ddedd1fb9b39670ce4b9a692be59
- SHA-256 Hash: 029db968b3cfd54d5adab0bcd1ea3634b6ebc86dd6105848baec4c2696bd03d3
- SHA-1 Hash: 28ba55e4a612d46289c47dbb499d3ad8d3ecb6ee
- MD5 Hash: de93762819c42601a2fead6b6be57142
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/science/openSUSE_Factory_PowerPC/ppc64le/lean4-4.15.0-1.8.ppc64le.rpm
Mirrors
List of best mirrors for IP address 216.73.216.39, 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: 1
- ftp.gwdg.de (DE)