File information

  • Filename: lean4-4.15.0-1.11.i586.rpm
  • Path: /repositories/science/openSUSE_Tumbleweed/i586/lean4-4.15.0-1.11.i586.rpm
  • Size: 32MiB (33376485 bytes)
  • Last modified: 02-Apr-2025 06:01:00 (Unix timestamp: 1743573660)
  • SHA-512 Hash: d72552acdec8cf7bd379a910a7f058040bb873c281711c50b792b521f7642854ea783bd4cdf32cb606c081af6a2c2703033039af3ecb622a50f7b79cb1e73595
  • SHA-256 Hash: a3a9b0c2d3a6535398544cf7daa5a994f75a22829e7e567360f65992e6d2a8f0
  • SHA-1 Hash: 776095fb3c5d61e16d402a66ab5a60e9bc068498
  • MD5 Hash: 822902acc57955d5634cbdaffa363cf9
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/repositories/science/openSUSE_Tumbleweed/i586/lean4-4.15.0-1.11.i586.rpm

Mirrors

List of best mirrors for IP address 3.139.85.192, located at 40.3052,-79.5418 in (US)

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