File information
- Filename: lean4-devel-4.15.0-1.1.x86_64.rpm
- Path: /repositories/science/Factory/x86_64/lean4-devel-4.15.0-1.1.x86_64.rpm
- Size: 22KiB (22662 bytes)
- Last modified: 19-Mar-2026 14:24:09 (Unix timestamp: 1773930249)
- SHA-512 Hash: f539e6f3b9b6805ea613841a293d9c3487b1e3fd39f68d41e1cd0d000eee0ef2355e52a9ef5800ea3925dfb29d7c49ce3fbfdf91c6d777f2dd4e2bff62393590
- SHA-256 Hash: 2b91573ba2033479c3b61c42a07eb7709e2bceb2d921bd43c0e927cb8ecd9009
- SHA-1 Hash: c4aad1100a18f37418a2243657064cbe14035521
- MD5 Hash: 67db50ba6210f0b06b38759a84e32be4
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/repositories/science/Factory/x86_64/lean4-devel-4.15.0-1.1.x86_64.rpm
Mirrors
List of best mirrors for IP address 216.73.216.242, located at 39.9587,-82.9987 in (US)
Mirrors which handle this country: 1
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 3
- ftp.gwdg.de (DE)
- mirror.aardsoft.fi (FI)
- opensuse.mirror.liquidtelecom.com (KE)