File information

  • Filename: lean4-4.15.0-1.7.x86_64.rpm
  • Path: /repositories/science/openSUSE_Slowroll/x86_64/lean4-4.15.0-1.7.x86_64.rpm
  • Size: 33MiB (34704323 bytes)
  • Last modified: 05-Oct-2026 18:24:13 (Unix timestamp: 1791224653)
  • SHA-512 Hash: b44ccf2891f5fd1b2e98323103132c2f796ec2c8d8338bd551a865317e4136a91c065ef46302f181dcc4f2aad5b987b8f7105c9797ac5a15705f1a9beed05df4
  • SHA-256 Hash: d9a1f54d38e942999d7396d5365b659465c966103f0e7d5cb03a30ea0564b4e6
  • SHA-1 Hash: 33ee43c41c5648df415b68e67e4f3b5c1dcc13d8
  • MD5 Hash: 3b71c9325e3f8625c7a49958f2dd5806
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/repositories/science/openSUSE_Slowroll/x86_64/lean4-4.15.0-1.7.x86_64.rpm

Mirrors

List of best mirrors for IP address 216.73.217.58, located at 39.9587,-82.9987 in (US)

Mirrors which handle this country: 1
Mirrors in other countries, but same continent: 0
Mirrors in other parts of the world: 3