z3 4.8.9-1 source package in Ubuntu
Changelog
z3 (4.8.9-1) unstable; urgency=medium
* New upstream release.
* Upgrade to debhelper compat level 13.
* Update patches:
- Refresh 00-intrinsics.patch.
- Drop 01-reproducibility.patch (fixed upstream).
- Refresh 02-soname.patch and rename it to 01-soname.patch.
- Drop 03-pthread.patch (fixed upstream).
- Add 02-pkgconfig.patch to correct the new z3.pc file.
* Add the superficial pkg-config-test autopkgtest to check whether
the new z3.pc file is installed properly and usable.
-- Fabian Wolff <email address hidden> Mon, 21 Sep 2020 12:55:45 +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.9-1.dsc | 2.6 KiB | 50222a5a464eea6c633f51b08835296f52888175074d9b53d479bf0414fa1fdb |
| z3_4.8.9.orig.tar.gz | 4.4 MiB | c9fd04b9b33be74fffaac3ec2bc2c320d1a4cc32e395203c55126b12a14ff3f4 |
| z3_4.8.9-1.debian.tar.xz | 10.1 KiB | 7d544edc322286295d40031eb0db40015ee5b1821b95cf375845d4a64b69086a |
Available diffs
- diff from 4.8.8-1 to 4.8.9-1 (631.7 KiB)
No changes file available.
Binary packages built by this source
- libz3-4: No summary available for libz3-4 in ubuntu hirsute.
No description available for libz3-4 in ubuntu hirsute.
- 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 hirsute.
No description available for libz3-java in ubuntu hirsute.
- 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 groovy.
No description available for libz3-jni-dbgsym in ubuntu groovy.
- 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 hirsute.
No description available for z3-dbgsym in ubuntu hirsute.
