File information

  • Filename: lean4-4.15.0-1.74.src.rpm
  • Path: /repositories/science/openSUSE_Tumbleweed/src/lean4-4.15.0-1.74.src.rpm
  • Size: 17MiB (17749584 bytes)
  • Last modified: 10-Nov-2026 16:36:00 (Unix timestamp: 1794328560)
  • SHA-512 Hash: 1d345c47b7349807c8a2682cbdb2761a5fb96886f38d8f6b990628ab32d36a9213c1fb195e51e135a4d7863abc0318fc7f44527e9bb4a0e4b8ced79f8050f63e
  • SHA-256 Hash: b22fd60bcf0c15c3060984bb479e66feccd7cccb809ed6b44ebacc44808ef379
  • SHA-1 Hash: e9b055bc19fcba69e6480481210d7ab51e9c12ff
  • MD5 Hash: d83a9740d81fbbc184ed954f5b6065bd
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: http://download.opensuse.org/repositories/science/openSUSE_Tumbleweed/src/lean4-4.15.0-1.74.src.rpm

Mirrors

List of best mirrors for IP address 157.52.66.93, located at 33.7485,-84.3871 in (US)

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