z3 4.4.1-0.3 source package in Ubuntu
Changelog
z3 (4.4.1-0.3) unstable; urgency=medium
* Non-maintainer upload.
[ Fabian Wolff ]
* debian/patches/f02d273ee39ae047222e362c37213d29135dc661.patch:
Fix build failure with new gnu++14 standard. (Closes: #835754)
* debian/patches/27399309009314f56cdfbd8333f287b1a9b7a3a6.patch:
Fix build failure with new compiler and clang. (Closes: #835743)
[ Gianfranco Costamagna ]
* debian/patches/fix-build.patch: tweak the casts a little bit
more to really fix 835743.
-- Gianfranco Costamagna <email address hidden> Sun, 25 Sep 2016 23:06:24 +0200
Upload details
- Uploaded by:
- Michael Tautschnig
- Uploaded to:
- Sid
- Original maintainer:
- Michael Tautschnig
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section |
|---|
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| z3_4.4.1-0.3.dsc | 2.7 KiB | 8678a2d34717dc16b548411d8ae9083077b56743bd371a8cc40d797b34d6eda6 |
| z3_4.4.1.orig.tar.gz | 3.2 MiB | 50967cca12c5c6e1612d0ccf8b6ebf5f99840a783d6cf5216336a2b59c37c0ce |
| z3_4.4.1-0.3.debian.tar.xz | 13.9 KiB | d3243ca3d0cd5edebecd1063ce7a9a51f912882b49a451ceb14dde35a6839d4d |
Available diffs
- diff from 4.4.1-0.2 to 4.4.1-0.3 (1.8 KiB)
No changes file available.
Binary packages built by this source
- libz3-4: No summary available for libz3-4 in ubuntu yakkety.
No description available for libz3-4 in ubuntu yakkety.
- libz3-4-dbgsym: No summary available for libz3-4-dbgsym in ubuntu yakkety.
No description available for libz3-4-dbgsym in ubuntu yakkety.
- libz3-cil: No summary available for libz3-cil in ubuntu zesty.
No description available for libz3-cil in ubuntu zesty.
- libz3-dev: No summary available for libz3-dev in ubuntu yakkety.
No description available for libz3-dev in ubuntu yakkety.
- libz3-java: No summary available for libz3-java in ubuntu zesty.
No description available for libz3-java in ubuntu zesty.
- libz3-jni: No summary available for libz3-jni in ubuntu zesty.
No description available for libz3-jni in ubuntu zesty.
- libz3-jni-dbgsym: No summary available for libz3-jni-dbgsym in ubuntu yakkety.
No description available for libz3-jni-dbgsym in ubuntu yakkety.
- libz3-ocaml-dev: No summary available for libz3-ocaml-dev in ubuntu zesty.
No description available for libz3-ocaml-dev in ubuntu zesty.
- libz3-ocaml-dev-dbgsym: No summary available for libz3-ocaml-dev-dbgsym in ubuntu yakkety.
No description available for libz3-ocaml-
dev-dbgsym in ubuntu yakkety.
- python-z3: No summary available for python-z3 in ubuntu yakkety.
No description available for python-z3 in ubuntu yakkety.
- z3: No summary available for z3 in ubuntu zesty.
No description available for z3 in ubuntu zesty.
- z3-dbgsym: No summary available for z3-dbgsym in ubuntu yakkety.
No description available for z3-dbgsym in ubuntu yakkety.
