File information

  • Filename: lean4-4.15.0-bp160.1.6.src.rpm
  • Path: /repositories/science/16.0/src/lean4-4.15.0-bp160.1.6.src.rpm
  • Size: 17MiB (17749585 bytes)
  • Last modified: 30-Jan-2026 15:49:00 (Unix timestamp: 1769788140)
  • SHA-512 Hash: af35fb3d812a0fe8e848716d2453e38619ba8714cdaaa06b7076b80d1574712eb1f72cf6535fe098d9e55287c9a442e0768aa19a257830ca1076406c979a3a0e
  • SHA-256 Hash: 8566356104af27d8774009e313418bb3f2ad0299877b13cae15152c33be8b7da
  • SHA-1 Hash: 4bb9bf28d8aad7a68484556d905c888add8c06a0
  • MD5 Hash: ec700379266eb87bf423b49e749bea1f
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/repositories/science/16.0/src/lean4-4.15.0-bp160.1.6.src.rpm

Mirrors

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

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