File information

  • Filename: lean4-devel-4.15.0-1.11.i586.rpm
  • Path: /repositories/science/openSUSE_Tumbleweed/i586/lean4-devel-4.15.0-1.11.i586.rpm
  • Size: 22KiB (22702 bytes)
  • Last modified: 02-Apr-2025 06:01:00 (Unix timestamp: 1743573660)
  • SHA-512 Hash: a8d7bcb13fe127f9bfdd923f7fc192c34f431fa91700917cc8a921a68a3853b1be49401b2bed545b679a7195aa9163e9fed74b38b6c347a0941ab5569db9b59b
  • SHA-256 Hash: d5244786ecfd480358a26ac8f0483d74359a1e2b2ff5bebbc3756adb33db7311
  • SHA-1 Hash: 6934e3689891e57c80ce6d80508b299f2c415895
  • MD5 Hash: 6445b4a1734a5143b25a6872fafd5d25
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: http://download.opensuse.org/repositories/science/openSUSE_Tumbleweed/i586/lean4-devel-4.15.0-1.11.i586.rpm

Mirrors

List of best mirrors for IP address 3.15.158.134, located at 39.9625,-83.0061 in (US)

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