z3 4.8.10-1 source package in Debian
Changelog
z3 (4.8.10-1) unstable; urgency=medium * New upstream release. * Update Standards-Version to 4.5.1. * Update patches: - Refresh 01-soname.patch. - Drop 02-pkgconfig.patch (fixed upstream). -- Fabian Wolff <email address hidden> Fri, 29 Jan 2021 17:44:09 +0100
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 | |
---|---|---|---|---|
Bullseye | release | main | misc |
Builds
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
z3_4.8.10-1.dsc | 2.6 KiB | 79154abf69a30e25007dcbc708cc669a9acfadc9c0b6e48c5f5b0c2ee383dc31 |
z3_4.8.10.orig.tar.gz | 4.5 MiB | 12cce6392b613d3133909ce7f93985d2470f0d00138837de06cf7eb2992886b4 |
z3_4.8.10-1.debian.tar.xz | 9.9 KiB | 1276e44bdc3d3c873b27487aea0ca9882bf010bcf94a7c1cd1a9cd76eb89f234 |
Available diffs
- diff from 4.8.9-1ubuntu1 (in Ubuntu) to 4.8.10-1 (519.0 KiB)
No changes file available.