-----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 <m...@debian.org> Changed-By: Michael Tautschnig <m...@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-----