z3 4.4.1-0.2 source package in Ubuntu
Changelog
z3 (4.4.1-0.2) unstable; urgency=medium * Non-maintainer upload. * Add patch kfreebsd.patch to attempt to fix a FTBFS on kfreebsd-*. * Adjust avoid-ocamlopt.patch to remove all calls to ocamlopt. * Build libz3-cil only where Mono is available. * Build libz3-jni and libz3-java only where Java is available. * Remove enable-dotnet.patch and recreate its effect with sed in debian/rules depending on whether Mono is available or not. * Disable some tests that might fail on some platforms. Forwarded: https://github.com/Z3Prover/z3/issues/687 * Enable hardening flags for libz3-ocaml-dev. -- Fabian Wolff <email address hidden> Tue, 19 Jul 2016 23:02:19 +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.2.dsc | 2.7 KiB | 11b2505dc3a4ea8a5093d4605efc6b13e9d8f496f08c7dafcb5397cd5712f3c9 |
z3_4.4.1.orig.tar.gz | 3.2 MiB | 50967cca12c5c6e1612d0ccf8b6ebf5f99840a783d6cf5216336a2b59c37c0ce |
z3_4.4.1-0.2.debian.tar.xz | 12.7 KiB | 4879e7b3ba2cf353ad05b00059c2e18d37f8c1940d3c2286e8dd0be8d247e47d |
Available diffs
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 yakkety.
No description available for libz3-cil in ubuntu yakkety.
- 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 yakkety.
No description available for libz3-java in ubuntu yakkety.
- libz3-jni: No summary available for libz3-jni in ubuntu yakkety.
No description available for libz3-jni in ubuntu yakkety.
- 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 yakkety.
No description available for libz3-ocaml-dev in ubuntu yakkety.
- 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 yakkety.
No description available for z3 in ubuntu yakkety.
- z3-dbgsym: No summary available for z3-dbgsym in ubuntu yakkety.
No description available for z3-dbgsym in ubuntu yakkety.