File information
- Filename: lean4-4.15.0-1.67.src.rpm
- Path: /repositories/science/openSUSE_Tumbleweed/src/lean4-4.15.0-1.67.src.rpm
- Size: 17MiB (17749584 bytes)
- Last modified: 12-Sep-2026 17:15:16 (Unix timestamp: 1789233316)
- SHA-512 Hash: 75370d00a2c60034d2011d388fb3f849c7c8e12f45ae0b5a8843328a957a1c60b0a5774942faf90ede32388cdb3127f3e7ca0108c1f3710d6d320071daa51f56
- SHA-256 Hash: 4c196a00ba5fd46ed3382405d5fecec08b09066d2cc12abefc3a67d23a871ba8
- SHA-1 Hash: 2ee00f3456077c4540ab5cc6df6842e29eb692fc
- MD5 Hash: 11945ffbacf107cb10fc11cae20569fd
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/science/openSUSE_Tumbleweed/src/lean4-4.15.0-1.67.src.rpm
Mirrors
List of best mirrors for IP address 216.73.217.115, 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: 0
- None