File information

  • Filename: lean4-4.15.0-1.67.src.rpm
  • Path: /repositories/science/openSUSE_Tumbleweed/src/lean4-4.15.0-1.67.src.rpm
  • Size: 17MiB (17749584 bytes)
  • Last modified: 12-Sep-2026 16:34:18 (Unix timestamp: 1789230858)
  • SHA-512 Hash: 9e6e8a6415d1dff70cb29940b225a328f7022361c6d763edbf674aa23144caa1e38dc4b1ce663611b93231741c4948b066e491ec953e0ba88cea8a369c4d53ea
  • SHA-256 Hash: 466a97d0af5440abf36567b8db770a9bb1b95506b263c0be15eaafb3b5c0f44e
  • SHA-1 Hash: 7667a3144b150dd4bc7a2f343bd9a35f353520cc
  • MD5 Hash: 32f853830145e9a899e6ee8bcea0df52
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/repositories/science/openSUSE_Tumbleweed/src/lean4-4.15.0-1.67.src.rpm

Mirrors

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