-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 13 Jul 2016 17:33:19 +0200 Source: z3 Binary: z3 libz3-4 libz3-dev python-z3 libz3-cil libz3-ocaml-dev libz3-java libz3-jni Architecture: source amd64 all Version: 4.4.1-0.1 Distribution: unstable Urgency: medium Maintainer: Michael Tautschnig <m...@debian.org> Changed-By: Fabian Wolff <fabi.wo...@arcor.de> Description: libz3-4 - theorem prover from Microsoft Research - runtime libraries libz3-cil - theorem prover from Microsoft Research - CLI bindings libz3-dev - theorem prover from Microsoft Research - development files libz3-java - theorem prover from Microsoft Research - java bindings libz3-jni - theorem prover from Microsoft Research - JNI library libz3-ocaml-dev - theorem prover from Microsoft Research - OCaml bindings python-z3 - theorem prover from Microsoft Research - Python bindings z3 - theorem prover from Microsoft Research Closes: 802272 808695 819884 823573 Changes: 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. Checksums-Sha1: 12e33ec1d5e2cdfaa5c465ee6bb177427449d3d8 2119 z3_4.4.1-0.1.dsc 60094acaa53459ec694899aca9f17aa830875610 3347371 z3_4.4.1.orig.tar.gz 325959c24831d60bf140ffa1deb3b33f8c499aa5 11852 z3_4.4.1-0.1.debian.tar.xz 9df99b1cbcad571ce38bdddfb10d9fd80b2babe2 74502260 libz3-4-dbgsym_4.4.1-0.1_amd64.deb c6f017c13487264a45a6dbae27d20f7abcae8799 5311562 libz3-4_4.4.1-0.1_amd64.deb a3bd8048a8e02bf8c654b114d86d0789dad18be6 40570 libz3-cil_4.4.1-0.1_amd64.deb 605ec99b53b1157687896a049b0e36d6902f42ae 78682 libz3-dev_4.4.1-0.1_amd64.deb a94847091b74151b5c0589d49e94df1e575e49f6 143362 libz3-java_4.4.1-0.1_all.deb 8a7e688c337946eeac1092cb80d8c9e7b60cf4fd 135460 libz3-jni-dbgsym_4.4.1-0.1_amd64.deb a5efdd23e8ce3ce59952f6e05b2c02e6ba574f75 29558 libz3-jni_4.4.1-0.1_amd64.deb ef292c062679200228034fed5b964b6e571f57f8 193646 libz3-ocaml-dev-dbgsym_4.4.1-0.1_amd64.deb 8f746f1e4e7fb62d5b944960d9cce055657a255a 458098 libz3-ocaml-dev_4.4.1-0.1_amd64.deb afcf4033603a35d77edd7f1082387676f178161b 66932 python-z3_4.4.1-0.1_amd64.deb 8ff6bf0c245e4538a17ed225733dc27bcde10354 74948580 z3-dbgsym_4.4.1-0.1_amd64.deb 5b90df808918751d571ae23770b42f44778e4a68 5321026 z3_4.4.1-0.1_amd64.deb Checksums-Sha256: 69d6fe0e9d3b0b1dc24b1a615410ce7688decc1f99d50ea16c44280b6ae97828 2119 z3_4.4.1-0.1.dsc 50967cca12c5c6e1612d0ccf8b6ebf5f99840a783d6cf5216336a2b59c37c0ce 3347371 z3_4.4.1.orig.tar.gz f1508ac3ccdd0b4a7ec81ec05c243ab5c258ada4ff6402fb9fa1e5f95c7327e3 11852 z3_4.4.1-0.1.debian.tar.xz 10da0f22a2d74b092708e0301e84e4dfd7cb37f21f1a0f3cab5847769b99be3c 74502260 libz3-4-dbgsym_4.4.1-0.1_amd64.deb edd702cbaa3f6c068f4ec8cce15cc592fb15867555027fcc1257629d1f02f757 5311562 libz3-4_4.4.1-0.1_amd64.deb 2de8ba9902bf4e04fbb0d162e68143ba98efd0a522528233043416069f0f581b 40570 libz3-cil_4.4.1-0.1_amd64.deb c50dead91e467ef065b5dac6fb1a114d6ccee4c0b0fcfb5fbb8f8e5a80885322 78682 libz3-dev_4.4.1-0.1_amd64.deb 33baa1f36329b6ac404bd5132e61b6f3b02d2c57eb52c19b9f114e508137d6dc 143362 libz3-java_4.4.1-0.1_all.deb 8507635ee93d715719126b032dd94828797fd585fdd6f3b330d9473b34e291de 135460 libz3-jni-dbgsym_4.4.1-0.1_amd64.deb d30e85b290b43c3cc161d248ba39cdcfccfe1cfb9816ca5208091f1a97a198e3 29558 libz3-jni_4.4.1-0.1_amd64.deb f72c0ab6a4e9870a19c4b1835e4c71b2d3fc2a1613ab534b0d25679a7a153a9d 193646 libz3-ocaml-dev-dbgsym_4.4.1-0.1_amd64.deb 6774bd42b5e6eb396674a570e4d646cffd69275564412105fb507d2d0ae5fb7e 458098 libz3-ocaml-dev_4.4.1-0.1_amd64.deb 489563e0ab85294af84c0bdebcb14c6e002de2695f8e98ab6b07d2f27aa227ee 66932 python-z3_4.4.1-0.1_amd64.deb 3d87de758624b7783bc4a207c5ae29fe414b0549fe10bf57fcc80eaa96a53d25 74948580 z3-dbgsym_4.4.1-0.1_amd64.deb 39df8a677a6a801d020dbd773ec56d6a2d1f43feedc5362c9e5b5caff05d86f3 5321026 z3_4.4.1-0.1_amd64.deb Files: e46ed584d935cca9acf408a38c196d5b 2119 science extra z3_4.4.1-0.1.dsc 4336a9df24f090e711c6d42fd4e2b1fc 3347371 science extra z3_4.4.1.orig.tar.gz e52164ca339d662b13468baee6aa3184 11852 science extra z3_4.4.1-0.1.debian.tar.xz 4613eda7fb450527209e058c5707f3c9 74502260 debug extra libz3-4-dbgsym_4.4.1-0.1_amd64.deb 5e96a67bdaa14354b4f3690b40b9844a 5311562 libs extra libz3-4_4.4.1-0.1_amd64.deb 45ee81db022849079581afd87918b0ec 40570 cli-mono extra libz3-cil_4.4.1-0.1_amd64.deb d7c154e873f65bbf075447299c67f940 78682 libdevel extra libz3-dev_4.4.1-0.1_amd64.deb d8779e75e647bc22f9c8ec8da75b679c 143362 java extra libz3-java_4.4.1-0.1_all.deb b04fcc96da156f72e04bfaf85e1272be 135460 debug extra libz3-jni-dbgsym_4.4.1-0.1_amd64.deb b116fc77f8c4c0573dd1dc6bee7eb794 29558 java extra libz3-jni_4.4.1-0.1_amd64.deb 8677de1f2652fb50ef3da775c11b6d35 193646 debug extra libz3-ocaml-dev-dbgsym_4.4.1-0.1_amd64.deb 8f28e67e237712a16444eaab45ffb62c 458098 ocaml extra libz3-ocaml-dev_4.4.1-0.1_amd64.deb 6f290bb7ee2c04fb4fb7456c79771dc7 66932 python extra python-z3_4.4.1-0.1_amd64.deb bbda0de66620c867de40974910ecaeb4 74948580 debug extra z3-dbgsym_4.4.1-0.1_amd64.deb f04556c13722438752c77e3f7ded9cea 5321026 science extra z3_4.4.1-0.1_amd64.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBCAAGBQJXjKiUAAoJEPNPCXROn13Z0FwP/3Yb1WgZIyfDV4f7zi59sEZp Wqmel0hCVdFKa9KOTwpxokMO0uGmS1GSQ0vqsB+j0XYLgfE5yL8loNZyKmh/TLe8 SPMVriB8WM20pR3CVsr6U3CB5dmiIq1YxfFLo6ZVbWUHixD8K4pE60TrrfZzCvJO XWR5pLUkQvNq7wtLZNl6CCJISOB9HuJzHPN0vFXLbUFqiyMxwE3Sn16j3bbnkMtN pagRGLn6PVsUoJ5eOrTibMnVXVBEH2eivRWausawbthWP0s+/r+tgWlgFsm6Cr5L cwfJYEfmgEKbnCKyVHXH4u4ahXa6cxHxeSgIDLkRl993IzahMMPfoSrh+1SgW2qa qHUKchvlfSRN/CImNyQOMpzM7TLM+MiSCUwuymhAouGKgGa0YgNl6wIvlvdKP2ws FEB1mW7LbW/B5AWcRm7mNJCu6dgHK2XvGZgmhz7bJSSHdCKHSZpTPnPT8pYPnQG8 qb+Himd0DQ+MPPFqn8/DEmmFaaRWRqzTz2IJcr3qoJgBc7No3+ZEOdXCsg5RjyVG Mi9ksWynZwPUcivDQzlYHKXYBy5GNFXOfOxR9KY+7KC8haevBOaDeesIFBd9QLiD dBcKegV6NCJStgTWvI9QkJ6mX4P+vGn7QD/ZIL0ZCWMiD72D0puAuODxKei7kkTx pHrIR+leRcnl4IFJrrTM =ljnA -----END PGP SIGNATURE-----