Publishing details

• Published on 2026-04-28

Changelog

z3 (4.13.3-1ok1) huanghe; urgency=medium

  * Build for openKylin 3.0.

 -- liwenjun <email address hidden>  Tue, 28 Apr 2026 16:34:24 +0800

Builds

• amd64
• arm64
• i386
• loong64
• riscv64
• rv64g

Built packages

• libz3-4 theorem prover from Microsoft Research - runtime libraries

• libz3-4-dbgsym debug symbols for libz3-4

• libz3-dev theorem prover from Microsoft Research - development files

• libz3-java theorem prover from Microsoft Research - java bindings

• libz3-jni theorem prover from Microsoft Research - JNI library

• libz3-jni-dbgsym debug symbols for libz3-jni

• python3-z3 theorem prover from Microsoft Research - Python 3 bindings

• z3 theorem prover from Microsoft Research

• z3-dbgsym debug symbols for z3

Package files

• libz3-4-dbgsym_4.13.3-1ok1_amd64.ddeb (159.6 MiB)
• libz3-4-dbgsym_4.13.3-1ok1_arm64.ddeb (156.4 MiB)
• libz3-4-dbgsym_4.13.3-1ok1_loong64.ddeb (160.1 MiB)
• libz3-4-dbgsym_4.13.3-1ok1_riscv64.ddeb (135.8 MiB)
• libz3-4_4.13.3-1ok1_amd64.deb (8.0 MiB)
• libz3-4_4.13.3-1ok1_arm64.deb (7.3 MiB)
• libz3-4_4.13.3-1ok1_loong64.deb (9.1 MiB)
• libz3-4_4.13.3-1ok1_riscv64.deb (7.6 MiB)
• libz3-dev_4.13.3-1ok1_amd64.deb (78.3 KiB)
• libz3-dev_4.13.3-1ok1_arm64.deb (78.3 KiB)
• libz3-dev_4.13.3-1ok1_loong64.deb (102.5 KiB)
• libz3-dev_4.13.3-1ok1_riscv64.deb (78.3 KiB)
• libz3-java_4.13.3-1ok1_amd64.deb (176.9 KiB)
• libz3-java_4.13.3-1ok1_arm64.deb (176.9 KiB)
• libz3-java_4.13.3-1ok1_riscv64.deb (176.9 KiB)
• libz3-jni-dbgsym_4.13.3-1ok1_amd64.ddeb (181.7 KiB)
• libz3-jni-dbgsym_4.13.3-1ok1_arm64.ddeb (179.5 KiB)
• libz3-jni-dbgsym_4.13.3-1ok1_riscv64.ddeb (181.0 KiB)
• libz3-jni_4.13.3-1ok1_amd64.deb (40.7 KiB)
• libz3-jni_4.13.3-1ok1_arm64.deb (38.4 KiB)
• libz3-jni_4.13.3-1ok1_riscv64.deb (38.5 KiB)
• python3-z3_4.13.3-1ok1_amd64.deb (82.9 KiB)
• python3-z3_4.13.3-1ok1_arm64.deb (82.9 KiB)
• python3-z3_4.13.3-1ok1_loong64.deb (82.8 KiB)
• python3-z3_4.13.3-1ok1_riscv64.deb (82.9 KiB)
• z3-dbgsym_4.13.3-1ok1_amd64.ddeb (161.1 MiB)
• z3-dbgsym_4.13.3-1ok1_arm64.ddeb (158.0 MiB)
• z3-dbgsym_4.13.3-1ok1_loong64.ddeb (161.7 MiB)
• z3-dbgsym_4.13.3-1ok1_riscv64.ddeb (137.4 MiB)
• z3_4.13.3-1ok1.debian.tar.xz (7.2 KiB)
• z3_4.13.3-1ok1.dsc (2.4 KiB)
• z3_4.13.3-1ok1_amd64.deb (7.8 MiB)
• z3_4.13.3-1ok1_arm64.deb (7.3 MiB)
• z3_4.13.3-1ok1_loong64.deb (9.0 MiB)
• z3_4.13.3-1ok1_riscv64.deb (7.5 MiB)
• z3_4.13.3.orig.tar.gz (5.5 MiB)