File information

  • Filename: lean4-4.15.0-1.3.x86_64.rpm
  • Path: /repositories/science/openSUSE_Slowroll/x86_64/lean4-4.15.0-1.3.x86_64.rpm
  • Size: 33MiB (34701761 bytes)
  • Last modified: 07-Aug-2026 10:00:00 (Unix timestamp: 1786096800)
  • SHA-512 Hash: 2d1b169cf42e516d69118ce92819f02a4ed708f8a6b894718ad4c5ed723068612a2d985273c1e4b54e2accac0859049054a28e6a43f0676fece9fde5e0d4007a
  • SHA-256 Hash: be2cd30d6cd930f24d556bb04684cde303b5448ef558a4d59dc8bf69fc36abed
  • SHA-1 Hash: 3ff81e49e14fcef5462015cac5d76abf477cd554
  • MD5 Hash: 2dc8cd251e7bfa407953665e04389916
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/repositories/science/openSUSE_Slowroll/x86_64/lean4-4.15.0-1.3.x86_64.rpm

Mirrors

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