z3 4.8.10-1ubuntu1 source package in Ubuntu
Changelog
z3 (4.8.10-1ubuntu1) hirsute; urgency=low
* Merge from Debian unstable. Remaining changes:
- Use -march=zEC12 on s390x to fix the build
-- Gianfranco Costamagna <email address hidden> Sat, 30 Jan 2021 10:40:25 +0100
Upload details
- Uploaded by:
- Gianfranco Costamagna
- Uploaded to:
- Hirsute
- Original maintainer:
- LLVM Packaging Team
- Architectures:
- any
- Section:
- misc
- Urgency:
- Low Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| z3_4.8.10.orig.tar.gz | 4.5 MiB | 12cce6392b613d3133909ce7f93985d2470f0d00138837de06cf7eb2992886b4 |
| z3_4.8.10-1ubuntu1.debian.tar.xz | 10.0 KiB | 6f156bd6cb3d1467e79ae80e75e84fb07b4552f9bded8a46ed95571b6a399b52 |
| z3_4.8.10-1ubuntu1.dsc | 2.6 KiB | 90535818f7136e7e543953db9a3a6034f64caf201e0a907a964a9420e18791ed |
Available diffs
- diff from 4.8.9-1ubuntu1 to 4.8.10-1ubuntu1 (518.8 KiB)
- diff from 4.8.10-1 (in Debian) to 4.8.10-1ubuntu1 (650 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 impish.
No description available for libz3-java in ubuntu impish.
- 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.
