File information

  • Filename: lean4-4.15.0-1.72.src.rpm
  • Path: /repositories/science/openSUSE_Tumbleweed/src/lean4-4.15.0-1.72.src.rpm
  • Size: 17MiB (17749584 bytes)
  • Last modified: 11-Oct-2026 09:14:00 (Unix timestamp: 1791710040)
  • SHA-512 Hash: 3fb6dedd682e0c949585ab48fa81fbd096ccc5c37eafafc3001f5cad87fe641bbec045b827c7202418d8178fafd6d373dd92ad55f9ce1e4d2d1c5045890d4c54
  • SHA-256 Hash: 9627ae9f669af63530ae3a94b9402180c1a2b419455d9855c142ebaed43a679d
  • SHA-1 Hash: 39363c390f1ca03a05540f0e4eafc994fcf9d638
  • MD5 Hash: 8d144d648f37363d609e2ed5dc286905
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: https://download.opensuse.org/repositories/science/openSUSE_Tumbleweed/src/lean4-4.15.0-1.72.src.rpm

Mirrors

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