File information
- Filename: lean4-4.15.0-1.36.src.rpm
- Path: /repositories/science/openSUSE_Tumbleweed/src/lean4-4.15.0-1.36.src.rpm
- Size: 17MiB (17749568 bytes)
- Last modified: 25-Oct-2025 04:42:00 (Unix timestamp: 1761367320)
- SHA-512 Hash: c9c5e614e8b6e70b3e89fb8294f9175b8099cfcbda1eb9e6f42fb17146c9d81a7c8a6b992aee14e154d3b33d6f03bbd7d152069b733ca869cbd45d08d3a2ccb9
- SHA-256 Hash: 5190c3934f8abe961e67e6ecdfd3429ae776405151759138478e0a886c31fd25
- SHA-1 Hash: e4608bf6169a7d83dee709d9eb6508aa80de9e8e
- MD5 Hash: 984461dc77054155f27962d3ca42e1da
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/repositories/science/openSUSE_Tumbleweed/src/lean4-4.15.0-1.36.src.rpm
Mirrors
List of best mirrors for IP address 216.73.216.170, 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)