File information

  • Filename: lean4-4.15.0-1.2.i586.rpm
  • Path: /repositories/science/openSUSE_Slowroll/i586/lean4-4.15.0-1.2.i586.rpm
  • Size: 32MiB (33941982 bytes)
  • Last modified: 27-Jul-2026 00:37:00 (Unix timestamp: 1785112620)
  • SHA-512 Hash: 76aac59d14f6d43fba56ed0e03b284939eec7f9f22b5eb47222fca4a210acde5a20f9b9f3083734f1b8354ddc83aaa62c777456f197e2ebd02c19e6116fae122
  • SHA-256 Hash: 22aab62b4b9ed7abaab7e63410eb5df67e8d9c2b4a7055482365ee10ed137482
  • SHA-1 Hash: 848e14e34bb8e8203390d6c7e7d2e04d9bb5acee
  • MD5 Hash: bd8c61029faa88c67ba4a19a4f706b33
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/repositories/science/openSUSE_Slowroll/i586/lean4-4.15.0-1.2.i586.rpm

Mirrors

List of best mirrors for IP address 140.248.79.85, 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: 2