File information

  • Filename: lean4-4.15.0-1.51.src.rpm
  • Path: /repositories/home:/nuklly/openSUSE_Tumbleweed/src/lean4-4.15.0-1.51.src.rpm
  • Size: 17MiB (17749585 bytes)
  • Last modified: 18-Jul-2026 15:09:12 (Unix timestamp: 1784387352)
  • SHA-512 Hash: 6349cebb774eb273bd67dc2427384676cfb2b75b03add8e6a0016f1252dcda307d08c13514bdb8e71d887164233702960b17cc7810befdb00efbdb369f67b632
  • SHA-256 Hash: 5fcddb432667226a3c8f714d38dacda26f644f05d5bde3e592b4393212f52a2b
  • SHA-1 Hash: eff0a6ac2f22233e1be3dc2fab2d0a5b98ed5625
  • MD5 Hash: a98e9d071175bd7ccedbdc28269ad6f1
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/repositories/home:/nuklly/openSUSE_Tumbleweed/src/lean4-4.15.0-1.51.src.rpm

Mirrors

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