z3 4.8.9-1ubuntu1 source package in Ubuntu
Changelog
z3 (4.8.9-1ubuntu1) hirsute; urgency=medium * Use -march=zEC12 on s390x to fix the build, from xnox -- Gianfranco Costamagna <email address hidden> Fri, 11 Dec 2020 10:11:02 +0100
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Hirsute
- 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.orig.tar.gz | 4.4 MiB | c9fd04b9b33be74fffaac3ec2bc2c320d1a4cc32e395203c55126b12a14ff3f4 |
| z3_4.8.9-1ubuntu1.debian.tar.xz | 10.2 KiB | 1d012fe2eeedf7e018726e118a404498c0864902bd51fc54635306524865df4c |
| z3_4.8.9-1ubuntu1.dsc | 2.6 KiB | 99c67cc6da919c8934a8427b01c47844c0291fdbecb0cc698b725dc434409d95 |
Available diffs
- diff from 4.8.8-1 (in Debian) to 4.8.9-1ubuntu1 (632.0 KiB)
- diff from 4.8.9-1 (in Debian) to 4.8.9-1ubuntu1 (527 bytes)
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 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 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 hirsute.
No description available for z3 in ubuntu hirsute.
- z3-dbgsym: No summary available for z3-dbgsym in ubuntu hirsute.
No description available for z3-dbgsym in ubuntu hirsute.
