Accepted z3 4.4.0-3 (source i386) into unstable, unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Thu, 27 Aug 2015 15:18:46 +0100
Source: z3
Binary: z3 libz3-dev python-z3 libz3-cil libz3-ocaml-dev libz3-java
Architecture: source i386
Version: 4.4.0-3
Distribution: unstable
Urgency: low
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Michael Tautschnig <mt@debian.org>
Description:
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-ocaml-dev - theorem prover from Microsoft Research - OCaml bindings
python-z3 - theorem prover from Microsoft Research - Python bindings
z3 - theorem prover from Microsoft Research
Changes:
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
Checksums-Sha1:
64096d122fa289734c575f38f13bd47ac312da5a 2069 z3_4.4.0-3.dsc
ebe7b546d9dda24095d6bfb3ab6f62ece5abdbb5 7940 z3_4.4.0-3.debian.tar.xz
fc9cafef85c9d787bb353ad57ea0ee85677bdadb 40218 libz3-cil_4.4.0-3_i386.deb
4340d80159aa735f8d0deb8c79629f18f9061373 5688110 libz3-dev_4.4.0-3_i386.deb
c274ccfe556e7945125e879d9bae11452c44746d 176748 libz3-java_4.4.0-3_i386.deb
dab5536f956f1c52e1d697aa137d9e3298b774c7 422234 libz3-ocaml-dev_4.4.0-3_i386.deb
e4153d14e06c3594c24abc94f2775d73569183e4 66230 python-z3_4.4.0-3_i386.deb
6d0f03d9d440945f507e26dd7016a85eb5d5a271 5642686 z3_4.4.0-3_i386.deb
Checksums-Sha256:
84d383a28ac5772a3bf812f25535df40fa3856b98a390c80826c84e2fc83c057 2069 z3_4.4.0-3.dsc
9926e0c4140647f5cafd2305b02ebb390bf58184a0a3e8d29ca949e45a6e2700 7940 z3_4.4.0-3.debian.tar.xz
fdc3227560ed4fa0aa0074193aa8c3d6e194a679b2c39e502a1aba0e118ff938 40218 libz3-cil_4.4.0-3_i386.deb
665edc709e56f909d60d032e356ec1ac3aa73ad8f5dc7010bc9af9675af8cd10 5688110 libz3-dev_4.4.0-3_i386.deb
68da7cec7bd0333aea350f798bde289d1f4a717b321baca6e24314b2a33e77d8 176748 libz3-java_4.4.0-3_i386.deb
1f51dd44701f22c02ccfd388ec68d101eaa5c9b46acabbdbb41809cd0c1f0d37 422234 libz3-ocaml-dev_4.4.0-3_i386.deb
15e0327e9f8739bed622278d1b68d3732c37e027444228f264e9d5e297d85480 66230 python-z3_4.4.0-3_i386.deb
b77ae5e8fb7a071d702d452c9b2bc0580156bdc3f3efba551b623fd3d76841be 5642686 z3_4.4.0-3_i386.deb
Files:
4bbe3adc89a7efe1cd1fd5e590b28fc0 2069 science extra z3_4.4.0-3.dsc
6c9e18a2a52812be04ef7837553219cb 7940 science extra z3_4.4.0-3.debian.tar.xz
936add0ce5d58768d78172a3e8cacdc1 40218 cli-mono extra libz3-cil_4.4.0-3_i386.deb
3ea3e50f8d7581c65766daf9476f9c2a 5688110 libdevel extra libz3-dev_4.4.0-3_i386.deb
6c7d00d09512b9a5c36e99380cd4cd28 176748 java extra libz3-java_4.4.0-3_i386.deb
fd1894c152610eb15d38ed11619282c1 422234 libdevel extra libz3-ocaml-dev_4.4.0-3_i386.deb
d8bb8edf57c61b7334403e2e6c0399b5 66230 python extra python-z3_4.4.0-3_i386.deb
7e0607c3fcebc10a9d9412efbef266ed 5642686 science extra z3_4.4.0-3_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
Comment: GPGTools - http://gpgtools.org
iQIcBAEBCAAGBQJV4H0cAAoJEDu/g5M27KkxkvYP/1U5p2cAa5ab8+GX6MFRRT4b
4B4Wf3prV9orFsMczDD7WD4i0I/2T26jJlFP16vf6e3rSPFczsViWPyrXtqJtvNz
A3KDY/gHYwwZScjCr40ZBH1xqEOV6Guwh2nNrZkMnymcDLVJUkLRJRJ9FYq+8thr
6XydYv2JOpsFoJy7wpR1nwM6i6G5Bb0b64TXA77qS4uSpiwm2W2sf3P2vkJ8ZRuX
IH2hlmnxceNq2EPHZSveYteYmpbNZ6cvytygKhuQD7BkmskLrWDKKyfHjQTnUGUY
fb1xOYQBox70VR9194/L5OOcMnHih2XBJUGGCyd3uCZpWv1mlNa7VFOz/QmVKf2F
x9692v/6QEuEyW/wffwrGg6gOVCeQa8fJ5yLLCnYnPli/XechF9QEL8Jn0w7gFyH
i3Nqs7jbgfy83OdOTloJwPq3U3g567E1XGUdJ+X4lAaLLpC0xONIHV5yOSyO3p84
OdsxOuxPE2LVUu1hshd5TrcsfQMqPU52svYzMWA26ZHtj48anLWnefnTkdvYu5hW
VV2oKQ71GRAVRrzGU5HwDjegqLksfq/OniLGiwx8QGRzkD6YzNQfpRgTHQ1XBC+x
9x3gIPFWFIIaTicBBkQmHMk8lUWVGvL5VJ7AGvGKjQD023ksaaGhx+gzRFbpLFVU
Wfhw1BNp1iVukaxujur1
=lQFm
-----END PGP SIGNATURE-----