Publishing details

• Published on 2024-03-14

Changelog

z3 (4.8.7-ok2) yangtze; urgency=medium

  *if arch == rv64g export DEB_LDFLAGS_MAINT_APPEND = -Wl,--no-as-needed
   -Wl,-latomic -Wl,--as-needed. Add schema settings to the control file.

 -- root <email address hidden>  Thu, 14 Mar 2024 07:36:38 +0000

Builds

• amd64
• arm64
• i386
• 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.7-ok2_amd64.deb (70.6 MiB)
• libz3-4-dbgsym_4.8.7-ok2_arm64.deb (68.6 MiB)
• libz3-4-dbgsym_4.8.7-ok2_i386.deb (102.2 MiB)
• libz3-4-dbgsym_4.8.7-ok2_rv64g.deb (86.6 MiB)
• libz3-4_4.8.7-ok2_amd64.deb (5.0 MiB)
• libz3-4_4.8.7-ok2_arm64.deb (4.7 MiB)
• libz3-4_4.8.7-ok2_i386.deb (7.6 MiB)
• libz3-4_4.8.7-ok2_rv64g.deb (6.9 MiB)
• libz3-dev_4.8.7-ok2_amd64.deb (67.0 KiB)
• libz3-dev_4.8.7-ok2_arm64.deb (67.0 KiB)
• libz3-dev_4.8.7-ok2_i386.deb (67.0 KiB)
• libz3-dev_4.8.7-ok2_rv64g.deb (67.0 KiB)
• libz3-java_4.8.7-ok2_amd64.deb (149.5 KiB)
• libz3-java_4.8.7-ok2_arm64.deb (149.5 KiB)
• libz3-java_4.8.7-ok2_i386.deb (149.5 KiB)
• libz3-java_4.8.7-ok2_rv64g.deb (149.5 KiB)
• libz3-jni-dbgsym_4.8.7-ok2_amd64.deb (183.1 KiB)
• libz3-jni-dbgsym_4.8.7-ok2_arm64.deb (181.2 KiB)
• libz3-jni-dbgsym_4.8.7-ok2_i386.deb (139.4 KiB)
• libz3-jni-dbgsym_4.8.7-ok2_rv64g.deb (158.6 KiB)
• libz3-jni_4.8.7-ok2_amd64.deb (36.4 KiB)
• libz3-jni_4.8.7-ok2_arm64.deb (34.2 KiB)
• libz3-jni_4.8.7-ok2_i386.deb (45.2 KiB)
• libz3-jni_4.8.7-ok2_rv64g.deb (34.4 KiB)
• python3-z3_4.8.7-ok2_amd64.deb (76.1 KiB)
• python3-z3_4.8.7-ok2_arm64.deb (76.1 KiB)
• python3-z3_4.8.7-ok2_i386.deb (76.1 KiB)
• python3-z3_4.8.7-ok2_rv64g.deb (76.1 KiB)
• z3-dbgsym_4.8.7-ok2_amd64.deb (72.2 MiB)
• z3-dbgsym_4.8.7-ok2_arm64.deb (70.2 MiB)
• z3-dbgsym_4.8.7-ok2_i386.deb (103.5 MiB)
• z3-dbgsym_4.8.7-ok2_rv64g.deb (87.7 MiB)
• z3_4.8.7-ok2.debian.tar.xz (7.7 KiB)
• z3_4.8.7-ok2.dsc (2.3 KiB)
• z3_4.8.7-ok2_amd64.deb (5.1 MiB)
• z3_4.8.7-ok2_arm64.deb (4.7 MiB)
• z3_4.8.7-ok2_i386.deb (7.6 MiB)
• z3_4.8.7-ok2_rv64g.deb (6.9 MiB)
• z3_4.8.7.orig.tar.gz (4.1 MiB)