z3_4.4.1-0.3+b1_amd64.deb


Advertisement

Description

z3 - theorem prover from Microsoft Research

Distribution: Debian Sid
Repository: Debian Main amd64
Package name: z3
Package version: 4.4.1
Package release: 0.3+b1
Package architecture: amd64
Package type: deb
Installed size: 16.12 KB
Download size: 4.97 MB
Official Mirror: ftp.br.debian.org
Description: unavailable.

Alternatives

    Download

    Binary package: z3_4.4.1-0.3+b1_amd64.deb
    Source package: z3

    Install Howto

    1. Update the package index:
      # sudo apt-get update
    2. Install z3 deb package:
      # sudo apt-get install z3

    Changelog

    2016-09-25 - Gianfranco Costamagna <locutusofborg@debian.org> 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.

    2016-07-19 - Fabian Wolff <fabi.wolff@arcor.de> 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.

    2016-07-13 - Fabian Wolff <fabi.wolff@arcor.de> z3 (4.4.1-0.1) unstable; urgency=medium * Non-maintainer upload. * New upstream release. * Remove patches that were fixed upstream: - signed_char01 - signed_char02 - signed_char03 - signed_char04 - disable_test - disable_test2 - disable_test3 - disable_test4 (upstream issue has been closed: https://github.com/Z3Prover/z3/issues/210) - fix_conflict * Migrate remaining patches to DEP-3 format. * Rewrite typos.patch to apply to new version of z3. * Add patch fix-dotnet-version.patch to fix a FTBFS with Mono caused by an apparently unsupported version of the .NET framework (Closes: #808695). * Add patch disable-tests.patch to disable three potentially failing tests in src/test/main.cpp. * Install shared libraries into new libz3-4 package (Closes: #819884). * Remove ${shlibs:Depends} and ${misc:Pre-Depends} substitution variables from libz3-dev entry in debian/control. * Install python files directly into /usr/lib/python2.7/dist-packages/ (Closes: #802272). * Clean up debian/rules. * Remove unnecessary version restriction of build dependency cli-common-dev. * Fix debian/copyright: Change MIT to Expat and delete file block that no longer applies (copyright of hamiltonian.py changed). * Move libz3-ocaml-dev into section ocaml. * Add preinst scripts to remove directories from older versions to allow debhelper to install symlinks (Closes: #823573). * Enable hardening flags in debian/rules.

    2015-10-04 - Michael Tautschnig <mt@debian.org> z3 (4.4.0-5) unstable; urgency=low * Add fixes for tests previously failing on ARM, PowerPC

    2015-09-04 - Michael Tautschnig <mt@debian.org> z3 (4.4.0-4) unstable; urgency=low * Add libz3-jni package to split out arch-specific files from java package. (Closes: #797515) * Don't claim multi-arch compatibilty of libz3-cil. (Closes: #797514) * ocamlopt isn't universally available, and never actually used in the build process.

    2015-08-27 - Michael Tautschnig <mt@debian.org> z3 (4.4.0-3) unstable; urgency=low * De-duplicate files in python-z3, depend on libz3-dev instead * Added bindings for java, OCaml, and .NET * Use multi-arch library locations

    2015-07-07 - Michael Tautschnig <mt@debian.org> z3 (4.4.0-2) unstable; urgency=low * Added __init__.py. Thanks Andrea Villa for the hints. (Closes: #791604) * Use emmintrin.h conditionally only (Closes: #789881)

    2015-06-17 - Michael Tautschnig <mt@debian.org> z3 (4.4.0-1) unstable; urgency=low * Initial release (Closes: #786807) * Includes patches from unstable branch up to 6a50f10b8b

    Advertisement
    Advertisement