File information

  • Filename: lean4-4.15.0-1.11.src.rpm
  • Path: /repositories/home:/nuklly/openSUSE_Tumbleweed/src/lean4-4.15.0-1.11.src.rpm
  • Size: 17MiB (17749584 bytes)
  • Last modified: 09-Apr-2025 03:58:00 (Unix timestamp: 1744171080)
  • SHA-512 Hash: d831c20712c21f8092ccdca09ed46bb402df054a411db72bbd3ee439e478eafcdb72285ba5118d22cc3c7eb20bbfcfd195f0a885d3347c3b630f3113069f47ae
  • SHA-256 Hash: c3cc8f1db35a9d2be1996674681a828936006c19c3a97652a13215a26a8516a4
  • SHA-1 Hash: 0db7ce96bfb92ae4a93542393509f9d040cb137a
  • MD5 Hash: 101a8f03c74650f4d5b14f5c14c4798d
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: http://download.opensuse.org/repositories/home:/nuklly/openSUSE_Tumbleweed/src/lean4-4.15.0-1.11.src.rpm

Mirrors

List of best mirrors for IP address 3.135.204.41, located at 37.751,-97.822 in (US)

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