z3 source package in Focal
libz3-4: theorem prover from Microsoft Research - runtime libraries
libz3-4-dbgsym: No summary available for libz3-4-dbgsym in ubuntu eoan.
libz3-cil: No summary available for libz3-cil in ubuntu focal.
libz3-dev: No summary available for libz3-dev in ubuntu eoan.
libz3-java: No summary available for libz3-java in ubuntu eoan.
libz3-jni: theorem prover from Microsoft Research - JNI library
libz3-jni-dbgsym: No summary available for libz3-jni-dbgsym in ubuntu eoan.
libz3-ocaml-dev: No summary available for libz3-ocaml-dev in ubuntu focal.
libz3-ocaml-
python-z3: No summary available for python-z3 in ubuntu eoan.
z3: No summary available for z3 in ubuntu eoan.
z3-dbgsym: No summary available for z3-dbgsym in ubuntu eoan.
Versions published
- Release
-
The package versions that were published when the distribution release was made.
- z3 4.8.7-4build1 (universe)
z3 information
- Current version:
- 4.8.7-4build1
- Uploaded:
- Urgency:
- Medium Urgency
Upstream connections
The z3c tutorial aims to provide an easy to follow guide for working with Zope 3 components (z3c.*) maintained by the community but not officially part of the "Zope 3 core".
- Bug supervisor:
- Bug tracker:
- Branch:
There are no registered releases for the Z3C Tutorial ⇒ trunk.
Releases in Ubuntu
Binary packages
- libz3-4 (amd64) (arm64) (armhf) (i386) (ppc64el) (riscv64) (s390x)
- libz3-4-dbgsym (amd64) (arm64) (armhf) (i386) (ppc64el) (riscv64) (s390x)
- libz3-dev (amd64) (arm64) (armhf) (i386) (ppc64el) (riscv64) (s390x)
- libz3-java (amd64) (arm64) (armhf) (i386) (ppc64el) (riscv64) (s390x)
- libz3-jni (amd64) (arm64) (armhf) (i386) (ppc64el) (riscv64) (s390x)
- libz3-jni-dbgsym (amd64) (arm64) (armhf) (i386) (ppc64el) (riscv64) (s390x)
- python3-z3 (amd64) (arm64) (armhf) (i386) (ppc64el) (riscv64) (s390x)
- z3 (amd64) (arm64) (armhf) (i386) (ppc64el) (riscv64) (s390x)
- z3-dbgsym (amd64) (arm64) (armhf) (i386) (ppc64el) (riscv64) (s390x)
Download files from current release (4.8.7-4build1)
| File | Size | SHA-256 Checksum |
|---|---|---|
| z3_4.8.7.orig.tar.gz | 4.1 MiB | 8c1c49a1eccf5d8b952dadadba3552b0eac67482b8a29eaad62aa7343a0732c3 |
| z3_4.8.7-4build1.debian.tar.xz | 9.8 KiB | 62269275955ed4d2cf9bfe5d1903e3f5bffd6981c7f14660d778365099ebe333 |
| z3_4.8.7-4build1.dsc | 2.5 KiB | bbd775d6c9d8298e258ca1ba44aa179dc63857ff55be5c6af8250e3b9cb7e789 |
Package relationships
Build dependencies
|
Platform-independent build dependencies |
Platform-dependent build dependencies |
Build conflicts |
Platform-independent build dependencies |
Platform-dependent build dependencies |
