File information

  • Filename: lean4-4.15.0-bp161.1.1.aarch64.rpm
  • Path: /repositories/science/16.1/aarch64/lean4-4.15.0-bp161.1.1.aarch64.rpm
  • Size: 29MiB (30717588 bytes)
  • Last modified: 08-May-2026 07:07:25 (Unix timestamp: 1778224045)
  • SHA-512 Hash: 341cb7556344a6ac8f7a52402981de59be3c227cc2d0629cf99eab971122a7a3e316cb7797ea28eb4a80cd570f24eb4adab6c4d32a7fe782e3d8ca24422ce4ea
  • SHA-256 Hash: cff92732e50ef7f861dddb26b4bb12f2b6c05553818cc205e4acc14c56ad9caf
  • SHA-1 Hash: ae19c85fcfcbdabf848bd7428b9fa787fa2be8cd
  • MD5 Hash: fbbc720d63bd3c1106390c00666bdafc
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: http://download.opensuse.org/repositories/science/16.1/aarch64/lean4-4.15.0-bp161.1.1.aarch64.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: 1
Mirrors in other countries, but same continent: 0
Mirrors in other parts of the world: 3