File information

  • Filename: z3-4.15.0-1.1.riscv64.rpm
  • Path: /ports/riscv/tumbleweed/repo/oss/riscv64/z3-4.15.0-1.1.riscv64.rpm
  • Size: 7MiB (7316110 bytes)
  • Last modified: 31-May-2025 14:52:00 (Unix timestamp: 1748703120)
  • SHA-512 Hash: b85b9fa2b4f4b714cf1bcb6590f162a25c9947123de3659e1f573504e787a65f69fa63c304c92b71f7d1c52ac2b394a572b3dbf8db8378628bac4173817283de
  • SHA-256 Hash: 7b7f3ca81a46e890924fa996842072692d4a1a60961fafa4d339ff419316f048
  • SHA-1 Hash: ff91c350b478b1e2bf5a6725b73645f4ce7b3377
  • MD5 Hash: 20e037cb55cd366e24f4d3ddd82f9953
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: http://download.opensuse.org/ports/riscv/tumbleweed/repo/oss/riscv64/z3-4.15.0-1.1.riscv64.rpm

Mirrors

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

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