z3 4.8.12-1 source package in Ubuntu
Changelog
z3 (4.8.12-1) unstable; urgency=medium
[ Debian Janitor ]
* Set upstream metadata fields: Bug-Database, Bug-Submit, Repository,
Repository-Browse.
[ Fabian Wolff ]
* New upstream release.
* Upgrade to Standards-Version 4.6.0.
* Update years in debian/copyright.
* Update 00-intrinsics.patch and refresh 01-soname.patch.
-- Fabian Wolff <email address hidden> Sat, 11 Sep 2021 17:58:23 +0200
Upload details
- Uploaded by:
- LLVM Packaging Team
- Uploaded to:
- Sid
- Original maintainer:
- LLVM Packaging Team
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Kinetic | release | universe | misc | |
| Jammy | release | universe | misc |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| z3_4.8.12-1.dsc | 2.6 KiB | fcaf38e1dc9cfa42ed192d4a01c4f4efdae06b15927fd12a8d02fa0f8576fda6 |
| z3_4.8.12.orig.tar.gz | 4.6 MiB | e3aaefde68b839299cbc988178529535e66048398f7d083b40c69fe0da55f8b7 |
| z3_4.8.12-1.debian.tar.xz | 9.7 KiB | 3600348c75918866e3cb43edebe6a377186f5991a8aaa2dc6d980f46696dc506 |
Available diffs
No changes file available.
Binary packages built by this source
- libz3-4: No summary available for libz3-4 in ubuntu impish.
No description available for libz3-4 in ubuntu impish.
- libz3-4-dbgsym: No summary available for libz3-4-dbgsym in ubuntu impish.
No description available for libz3-4-dbgsym in ubuntu impish.
- libz3-dev: No summary available for libz3-dev in ubuntu impish.
No description available for libz3-dev in ubuntu impish.
- libz3-java: theorem prover from Microsoft Research - java bindings
Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3
package for a detailed description.
.
This package can be used to invoke Z3 via its Java API.
- libz3-jni: theorem prover from Microsoft Research - JNI library
Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3
package for a detailed description.
.
This package provides the JNI library to invoke Z3 via its Java API.
- libz3-jni-dbgsym: debug symbols for libz3-jni
- python3-z3: theorem prover from Microsoft Research - Python 3 bindings
Z3 is a state-of-the art theorem prover from Microsoft Research. See the z3
package for a detailed description.
.
This package can be used to invoke Z3 via its Python 3 API.
- z3: No summary available for z3 in ubuntu impish.
No description available for z3 in ubuntu impish.
- z3-dbgsym: debug symbols for z3
