z3 4.4.1-0.4 source package in Ubuntu
Changelog
z3 (4.4.1-0.4) unstable; urgency=medium
* Non-maintainer upload.
* Remove the incorrect Multi-Arch: same of python-z3,
thanks to Helmut Grohne. (Closes: #874237)
-- Adrian Bunk <email address hidden> Sun, 09 Sep 2018 22:28:32 +0300
Upload details
- Uploaded by:
- Michael Tautschnig
- Uploaded to:
- Sid
- Original maintainer:
- Michael Tautschnig
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| z3_4.4.1-0.4.dsc | 2.7 KiB | 5b3a122e71a3f7255872fa3409be8a077c5ad9cbbaa9bd47ba280e4916224167 |
| z3_4.4.1.orig.tar.gz | 3.2 MiB | 50967cca12c5c6e1612d0ccf8b6ebf5f99840a783d6cf5216336a2b59c37c0ce |
| z3_4.4.1-0.4.debian.tar.xz | 14.0 KiB | 8e335ea99dadbc6ea5ce3a0f58b3c6ffe3e1b6713bc3de2af3bdc69dbac647bd |
Available diffs
No changes file available.
Binary packages built by this source
- libz3-4: No summary available for libz3-4 in ubuntu disco.
No description available for libz3-4 in ubuntu disco.
- libz3-4-dbgsym: No summary available for libz3-4-dbgsym in ubuntu cosmic.
No description available for libz3-4-dbgsym in ubuntu cosmic.
- libz3-cil: No summary available for libz3-cil in ubuntu eoan.
No description available for libz3-cil in ubuntu eoan.
- libz3-dev: No summary available for libz3-dev in ubuntu disco.
No description available for libz3-dev in ubuntu disco.
- libz3-java: No summary available for libz3-java in ubuntu cosmic.
No description available for libz3-java in ubuntu cosmic.
- libz3-jni: No summary available for libz3-jni in ubuntu eoan.
No description available for libz3-jni in ubuntu eoan.
- libz3-jni-dbgsym: No summary available for libz3-jni-dbgsym in ubuntu disco.
No description available for libz3-jni-dbgsym in ubuntu disco.
- libz3-ocaml-dev: No summary available for libz3-ocaml-dev in ubuntu disco.
No description available for libz3-ocaml-dev in ubuntu disco.
- libz3-ocaml-dev-dbgsym: No summary available for libz3-ocaml-dev-dbgsym in ubuntu cosmic.
No description available for libz3-ocaml-
dev-dbgsym in ubuntu cosmic.
- python-z3: No summary available for python-z3 in ubuntu cosmic.
No description available for python-z3 in ubuntu cosmic.
- z3: No summary available for z3 in ubuntu eoan.
No description available for z3 in ubuntu eoan.
- z3-dbgsym: No summary available for z3-dbgsym in ubuntu cosmic.
No description available for z3-dbgsym in ubuntu cosmic.
