File information

  • Filename: lean4-4.15.0-1.53.src.rpm
  • Path: /repositories/science/openSUSE_Tumbleweed/src/lean4-4.15.0-1.53.src.rpm
  • Size: 17MiB (17749569 bytes)
  • Last modified: 24-Jul-2026 17:59:48 (Unix timestamp: 1784915988)
  • SHA-512 Hash: 3280300058e1fea03b8b74b9d7f0c2f0f1c837dc84fb13aa8b9a3c5f197f9aefa4954577588b0c29fac0a51c42e92440b69db37f8546f3ffce71ef526f952505
  • SHA-256 Hash: 4276d93ed2bad46966e75f4e1a928f37a703ab288bcb02d8e44eb391365eca20
  • SHA-1 Hash: 331b71f17fb7ace233129e31ce317f9ba9b75c58
  • MD5 Hash: 197823e2b019ff43a44f6387741e775f
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/repositories/science/openSUSE_Tumbleweed/src/lean4-4.15.0-1.53.src.rpm

Mirrors

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

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