File information
- Filename: lean4-4.15.0-1.8.src.rpm
- Path: /repositories/science/openSUSE_Slowroll/src/lean4-4.15.0-1.8.src.rpm
- Size: 17MiB (17749576 bytes)
- Last modified: 13-Nov-2026 06:34:00 (Unix timestamp: 1794551640)
- SHA-512 Hash: 2fd89f6916af92caf24e68713d8db85d69a546ebc5233fdc173b50bde4cde625b018a71d5e99cc1c9481fd47a54cdca170ec29b6f22e5dbcb082d22f1620a65d
- SHA-256 Hash: 2064f610a37dc744fcac29f68d5ebe10c5fe0edd8fe257fb86ef75e5d7681b79
- SHA-1 Hash: e5821c0a86be2a53a1ee075264d2eda52cc0cc65
- MD5 Hash: 1f2c5a2e697340058b3739f13838f95e
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/repositories/science/openSUSE_Slowroll/src/lean4-4.15.0-1.8.src.rpm
Mirrors
List of best mirrors for IP address 167.82.138.76, located at 44.9834,-93.2622 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