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 hirsute.
No description available for libz3-4-dbgsym in ubuntu hirsute.
- libz3-dev: No summary available for libz3-dev in ubuntu hirsute.
No description available for libz3-dev in ubuntu hirsute.
- 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 groovy.
No description available for libz3-jni in ubuntu groovy.
- 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 groovy.
No description available for python3-z3 in ubuntu groovy.
- z3: No summary available for z3 in ubuntu hirsute.
No description available for z3 in ubuntu hirsute.
- z3-dbgsym: No summary available for z3-dbgsym in ubuntu groovy.
No description available for z3-dbgsym in ubuntu groovy.