File information
- Filename: lean4-devel-4.15.0-1.11.x86_64.rpm
- Path: /repositories/science/openSUSE_Tumbleweed/x86_64/lean4-devel-4.15.0-1.11.x86_64.rpm
- Size: 22KiB (22686 bytes)
- Last modified: 02-Apr-2025 05:45:00 (Unix timestamp: 1743572700)
- SHA-512 Hash: c648abf209ddf559cc876135dd9966442fd26a3d769ae961a24831934a340d029da1a4bd57ef5b32e7696bd87569d52f3d3d97e703776f1e7f6f4e542cfbbff9
- SHA-256 Hash: 196679056b4dd9c302fc0e98b42ec645740b2e23561f11598d4bcf2fae31c144
- SHA-1 Hash: b9d5bfe8a3f3ba4da705f784b996219dc21b7489
- MD5 Hash: 0d369d581703da140204d04ce51ec407
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://downloadcontent2.opensuse.org/repositories/science/openSUSE_Tumbleweed/x86_64/lean4-devel-4.15.0-1.11.x86_64.rpm
Mirrors
List of best mirrors for IP address 3.143.228.88, located at 37.751,-97.822 in (US)
Mirrors which handle this country: 1
Mirrors in other countries, but same continent: 0
- None
Mirrors in other parts of the world: 5
- ftp.gwdg.de (DE)
- mirror.linux-schulserver.de (DE)
- mirror.aardsoft.fi (FI)
- opensuse.mirror.liquidtelecom.com (KE)
- mirror.tspu.ru (RU)