File information
- Filename: lean4-devel-4.15.0-bp161.1.1.x86_64.rpm
- Path: /repositories/science/16.1/x86_64/lean4-devel-4.15.0-bp161.1.1.x86_64.rpm
- Size: 22KiB (22678 bytes)
- Last modified: 08-May-2026 07:06:00 (Unix timestamp: 1778223960)
- SHA-512 Hash: aa156c3b2be5d94387d2b66385e38ac42373d8b16ff2047d0b0e6124c48cb56a35d349441f1bc25bcd46dbd74b2b2d3ba477a72ba504d9d4710e5e93cbf14b86
- SHA-256 Hash: b5cf51d095bc696f943b63ea7673602ad2d9ac1f0837e60044d121a79e66cf45
- SHA-1 Hash: 7bfc7d42bb22ba8a165d10290f09c3ce98094f4d
- MD5 Hash: 761a885bf9c3a4fe9edbfb0327732774
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: http://download.opensuse.org/repositories/science/16.1/x86_64/lean4-devel-4.15.0-bp161.1.1.x86_64.rpm
Mirrors
List of best mirrors for IP address 216.73.216.104, 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)