z3 4.8.8-1 source package in Ubuntu
Changelog
z3 (4.8.8-1) unstable; urgency=medium
* New upstream release.
* Add nojava build profile to make building the Java bindings optional
(Closes: #948894).
* Remove erroneous Multi-Arch: foreign from libz3-java in debian/control
(see the discussion in #948894 for details).
* Refresh/update patches.
* Upgrade to Standards-Version 4.5.0 (no changes).
* Forward patches to upstream.
-- Fabian Wolff <email address hidden> Sat, 06 Jun 2020 16:32:57 +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 |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| z3_4.8.8-1.dsc | 2.6 KiB | 6230c3e6494bfb6194c0507f0120a4be9b2757381ae9b4e22f9f73c90e3dad5a |
| z3_4.8.8.orig.tar.gz | 4.3 MiB | 6962facdcdea287c5eeb1583debe33ee23043144d0e5308344e6a8ee4503bcff |
| z3_4.8.8-1.debian.tar.xz | 9.9 KiB | c861939c9818db03e29186805b9031c49488896e2085d76b16724abbbfdd3213 |
Available diffs
No changes file available.
Binary packages built by this source
- libz3-4: No summary available for libz3-4 in ubuntu groovy.
No description available for libz3-4 in ubuntu groovy.
- libz3-4-dbgsym: No summary available for libz3-4-dbgsym in ubuntu groovy.
No description available for libz3-4-dbgsym in ubuntu groovy.
- libz3-dev: No summary available for libz3-dev in ubuntu groovy.
No description available for libz3-dev in ubuntu groovy.
- libz3-java: No summary available for libz3-java in ubuntu groovy.
No description available for libz3-java in ubuntu groovy.
- libz3-jni: No summary available for libz3-jni in ubuntu hirsute.
No description available for libz3-jni in ubuntu hirsute.
- libz3-jni-dbgsym: No summary available for libz3-jni-dbgsym in ubuntu hirsute.
No description available for libz3-jni-dbgsym in ubuntu hirsute.
- python3-z3: No summary available for python3-z3 in ubuntu hirsute.
No description available for python3-z3 in ubuntu hirsute.
- z3: No summary available for z3 in ubuntu groovy.
No description available for z3 in ubuntu groovy.
- z3-dbgsym: No summary available for z3-dbgsym in ubuntu groovy.
No description available for z3-dbgsym in ubuntu groovy.
