File information

  • Filename: z3-4.13.3-2.1.riscv64.rpm
  • Path: /ports/riscv/tumbleweed/repo/oss/riscv64/z3-4.13.3-2.1.riscv64.rpm
  • Size: 6.7MiB (6976185 bytes)
  • Last modified: 30-Oct-2024 20:05:00 (Unix timestamp: 1730318700)
  • SHA-512 Hash: 50d4539d6d018f68dd4aae134b6f872ac09f1cdfe20ba8ca743eceeb6e9139bbbdbd9628b3fbcf44094d4754818396457c706d44ab89b3989335eba82f0d13a8
  • SHA-256 Hash: f794d0956112133791e1698ac1dd0d9f78e7d606f4a64315918ec090d407770f
  • SHA-1 Hash: f13509f9656d67367f549bc63ebd077c3f3de985
  • MD5 Hash: 501403b37808cc5366d1fee9d28817ee
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: http://download.opensuse.org/ports/riscv/tumbleweed/repo/oss/riscv64/z3-4.13.3-2.1.riscv64.rpm

Mirrors

List of best mirrors for IP address 172.70.100.88, located at 37.751,-97.822 in (US)

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