Publishing details

• Published on 2024-05-07

Changelog

z3 (4.8.12-ok1) nile; urgency=high

  * Build for openKylin.

 -- openKylinBot <email address hidden>  Mon, 06 May 2024 21:59:32 +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.8.12-ok1_amd64.deb (103.4 MiB)
• libz3-4-dbgsym_4.8.12-ok1_arm64.deb (101.3 MiB)
• libz3-4-dbgsym_4.8.12-ok1_loong64.deb (113.6 MiB)
• libz3-4-dbgsym_4.8.12-ok1_riscv64.deb (113.4 MiB)
• libz3-4_4.8.12-ok1_amd64.deb (5.1 MiB)
• libz3-4_4.8.12-ok1_arm64.deb (4.4 MiB)
• libz3-4_4.8.12-ok1_loong64.deb (6.3 MiB)
• libz3-4_4.8.12-ok1_riscv64.deb (6.5 MiB)
• libz3-dev_4.8.12-ok1_amd64.deb (69.2 KiB)
• libz3-dev_4.8.12-ok1_arm64.deb (69.2 KiB)
• libz3-dev_4.8.12-ok1_loong64.deb (86.2 KiB)
• libz3-dev_4.8.12-ok1_riscv64.deb (69.2 KiB)
• libz3-java_4.8.12-ok1_amd64.deb (156.3 KiB)
• libz3-java_4.8.12-ok1_arm64.deb (156.3 KiB)
• libz3-java_4.8.12-ok1_riscv64.deb (159.8 KiB)
• libz3-jni-dbgsym_4.8.12-ok1_amd64.deb (185.7 KiB)
• libz3-jni-dbgsym_4.8.12-ok1_arm64.deb (183.3 KiB)
• libz3-jni-dbgsym_4.8.12-ok1_riscv64.deb (159.8 KiB)
• libz3-jni_4.8.12-ok1_amd64.deb (31.7 KiB)
• libz3-jni_4.8.12-ok1_arm64.deb (30.0 KiB)
• libz3-jni_4.8.12-ok1_riscv64.deb (30.9 KiB)
• python3-z3_4.8.12-ok1_amd64.deb (76.5 KiB)
• python3-z3_4.8.12-ok1_arm64.deb (76.5 KiB)
• python3-z3_4.8.12-ok1_loong64.deb (76.5 KiB)
• python3-z3_4.8.12-ok1_riscv64.deb (76.5 KiB)
• z3-dbgsym_4.8.12-ok1_amd64.deb (105.5 MiB)
• z3-dbgsym_4.8.12-ok1_arm64.deb (103.3 MiB)
• z3-dbgsym_4.8.12-ok1_loong64.deb (115.3 MiB)
• z3-dbgsym_4.8.12-ok1_riscv64.deb (115.0 MiB)
• z3_4.8.12-ok1.debian.tar.xz (7.3 KiB)
• z3_4.8.12-ok1.dsc (2.5 KiB)
• z3_4.8.12-ok1_amd64.deb (5.2 MiB)
• z3_4.8.12-ok1_arm64.deb (4.4 MiB)
• z3_4.8.12-ok1_loong64.deb (6.4 MiB)
• z3_4.8.12-ok1_riscv64.deb (6.5 MiB)
• z3_4.8.12.orig.tar.gz (4.6 MiB)