File information
- Filename: lean4-4.15.0-bp160.1.6.src.rpm
- Path: /repositories/science/16.0/src/lean4-4.15.0-bp160.1.6.src.rpm
- Size: 17MiB (17749585 bytes)
- Last modified: 30-Jan-2026 15:49:00 (Unix timestamp: 1769788140)
- SHA-512 Hash: af35fb3d812a0fe8e848716d2453e38619ba8714cdaaa06b7076b80d1574712eb1f72cf6535fe098d9e55287c9a442e0768aa19a257830ca1076406c979a3a0e
- SHA-256 Hash: 8566356104af27d8774009e313418bb3f2ad0299877b13cae15152c33be8b7da
- SHA-1 Hash: 4bb9bf28d8aad7a68484556d905c888add8c06a0
- MD5 Hash: ec700379266eb87bf423b49e749bea1f
- Metalink (v3.0)
- Metalink (v4.0)
- Origin: https://download.opensuse.org/repositories/science/16.0/src/lean4-4.15.0-bp160.1.6.src.rpm
Mirrors
List of best mirrors for IP address 216.73.216.235, 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: 2
- ftp.gwdg.de (DE)
- opensuse.mirror.liquidtelecom.com (KE)