File information

  • Filename: lean4-4.15.0-1.7.src.rpm
  • Path: /repositories/science/openSUSE_Slowroll/src/lean4-4.15.0-1.7.src.rpm
  • Size: 17MiB (17749575 bytes)
  • Last modified: 05-Oct-2026 18:24:00 (Unix timestamp: 1791224640)
  • SHA-512 Hash: c5d2e0a1d1984268b3fdb30758b805c9ad8dcbca8f13a5f05f58cba5045fb3bdb441af3866eec81bf8d08963e224203151ee4cfe41ea3ad8f3cb0053a528cc5d
  • SHA-256 Hash: b24811eba871820bd5bc20d36179e8306e6e247c3db60b995f89c8cf74945f43
  • SHA-1 Hash: 1f735c5054f19b7cd69e3bb2bbb4be8b8a5d3d9f
  • MD5 Hash: 5b14696efce3eedfd254318d74bd00b9
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/repositories/science/openSUSE_Slowroll/src/lean4-4.15.0-1.7.src.rpm

Mirrors

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