File information

  • Filename: z3-4.14.1-1.1.riscv64.rpm
  • Path: /ports/riscv/tumbleweed/repo/oss/riscv64/z3-4.14.1-1.1.riscv64.rpm
  • Size: 7MiB (7322280 bytes)
  • Last modified: 02-Apr-2025 21:01:00 (Unix timestamp: 1743627660)
  • SHA-512 Hash: 4e96f3b25b07795442d36ac50fd7f9d3ed264f4b6b26922d9121a4176b04c8f0f72479d5c4fcc29d28b6dda25eeaace36cb3eeedfe5633a528e8644ef7a7c1ca
  • SHA-256 Hash: 70ef3bafa156e806ddb71e2b4da22934abe57062376377e9b6b2f10a88447baf
  • SHA-1 Hash: fdb195b39d1ca1838e08095ea270ccba4d192ee8
  • MD5 Hash: 8fe92e59749d9f0bf36ab00a459839b0
  • Metalink (v3.0)
  • Metalink (v4.0)
  • Origin: http://download.opensuse.org/ports/riscv/tumbleweed/repo/oss/riscv64/z3-4.14.1-1.1.riscv64.rpm

Mirrors

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

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