File information
- Filename: lean4-4.15.0-1.6.x86_64.rpm
- Path: /repositories/science/openSUSE_Tumbleweed/x86_64/lean4-4.15.0-1.6.x86_64.rpm
- Size: 32MiB (33887927 bytes)
- Last modified: 11-Mar-2025 15:36:00 (Unix timestamp: 1741707360)
- SHA-512 Hash: 2f1742246be8438e95e6219c19c0cf8da194ff685c28fecc0dca3c34e5d0aa78890c5fd3ddc7a8161b54ca51f3640b54385a7472fd49f10d199342392ceb49f8
- SHA-256 Hash: d027d67c562ff7cb729fff7fdb305c0fc0968027d3aebde9309caef7ecc16e34
- SHA-1 Hash: c63520c7758d03b26e60d9d4b740a7c8402624fb
- MD5 Hash: a53e079cbe18b630428bbd9333820720
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontent2.opensuse.org/repositories/science/openSUSE_Tumbleweed/x86_64/lean4-4.15.0-1.6.x86_64.rpm
Mirrors
List of best mirrors for IP address 18.221.52.104, 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: 3
- mirror.linux-schulserver.de (DE)
- mirror.aardsoft.fi (FI)
- mirror.tspu.ru (RU)