Accepted z3 4.4.1-0.1 (source amd64 all) into unstable, unstable
-----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 <mt@debian.org>
Changed-By: Fabian Wolff <fabi.wolff@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-----