Binaries

• libz3-4
• libz3-cil
• libz3-dev
• libz3-java
• libz3-jni
• libz3-ocaml-dev
• python-z3
• z3

Versions seen

• 4.4.1-0.3+b1

.buildinfo files:

• z3 (4.4.1-0.3)_4.4.1-0.3+b1_arm64.buildinfo
• z3 (4.4.1-0.3)_4.4.1-0.3+b1_mipsel.buildinfo
• z3 (4.4.1-0.3)_4.4.1-0.3+b1_ppc64el.buildinfo
• z3 (4.4.1-0.3)_4.4.1-0.3+b1_mips64el.buildinfo
• z3 (4.4.1-0.3)_4.4.1-0.3+b1_mips.buildinfo
• z3 (4.4.1-0.3)_4.4.1-0.3+b1_armhf.buildinfo
• z3 (4.4.1-0.3)_4.4.1-0.3+b1_armel.buildinfo
• z3 (4.4.1-0.3)_4.4.1-0.3+b1_s390x.buildinfo
• z3 (4.4.1-0.3)_4.4.1-0.3+b1_i386.buildinfo
• z3 (4.4.1-0.3)_4.4.1-0.3+b1_amd64.buildinfo