-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Wed, 17 Jun 2015 21:40:44 +0100 Source: z3 Binary: z3 libz3-dev python-z3 Architecture: source i386 Version: 4.4.0-1 Distribution: unstable Urgency: low Maintainer: Michael Tautschnig <m...@debian.org> Changed-By: Michael Tautschnig <m...@debian.org> Description: libz3-dev - theorem prover from Microsoft Research - development files python-z3 - theorem prover from Microsoft Research - development files z3 - theorem prover from Microsoft Research Closes: 786807 Changes: z3 (4.4.0-1) unstable; urgency=low . * Initial release (Closes: #786807) * Includes patches from unstable branch up to 6a50f10b8b Checksums-Sha1: 039047a7fd4aebcbe819da9606c273d718755b83 1784 z3_4.4.0-1.dsc e3b895869a723b9d13cc77f48a4ff7d2b721a8a5 3457136 z3_4.4.0.orig.tar.gz 7121bb6c7073c499b508d49940b7cf77b0ae22dc 6204 z3_4.4.0-1.debian.tar.xz 318857e52ab50fe3e6332021c3dcc494dcf1dc5d 5598198 libz3-dev_4.4.0-1_i386.deb 62d6ffdd65b55c9706968222fdfb363f752e33b2 5601456 python-z3_4.4.0-1_i386.deb 624fc94a0aefb06c718ce9e7eb0db20c3e5d491e 5551478 z3_4.4.0-1_i386.deb Checksums-Sha256: 060780fcdffca7ebdf310d7528ef06738e3728e282cfd76f63b334c295bf81e2 1784 z3_4.4.0-1.dsc 48d3652388d7781b1b9af5c61e618cfce0553bb186eb289003995f917d9207e5 3457136 z3_4.4.0.orig.tar.gz dbe7ae98e92f2d1ef2a6d2b7d4bf193945843a407ef852c27429b966b4a75ef9 6204 z3_4.4.0-1.debian.tar.xz 544ea183b14bfe9ac622af9d944ef4e79ae702cc56c047c3749efa8607d8267c 5598198 libz3-dev_4.4.0-1_i386.deb 2a8ee5f80191e8c64545f7df9416c5421e3a8291959c548e8dcb2e19613954ec 5601456 python-z3_4.4.0-1_i386.deb a2261a937c9884fa1bbced7cd9d3b88051c5d8d93c9d966f9c289edb9bcd6014 5551478 z3_4.4.0-1_i386.deb Files: 78da8e7d278fe38a2c3467cb4064596c 1784 science extra z3_4.4.0-1.dsc 025d369549fbe686412c51f92ec156c3 3457136 science extra z3_4.4.0.orig.tar.gz c00260b4a3a83d7e9812a5f9ce099bab 6204 science extra z3_4.4.0-1.debian.tar.xz f9cc6cd2737438455b4cd86ff4bb6ce2 5598198 libdevel extra libz3-dev_4.4.0-1_i386.deb 56b0c27e3e872f684aa4493d56d4c759 5601456 python extra python-z3_4.4.0-1_i386.deb 6097dc2958cf5a0db752d74d2cbf6040 5551478 science extra z3_4.4.0-1_i386.deb
-----BEGIN PGP SIGNATURE----- Version: GnuPG v1 Comment: GPGTools - http://gpgtools.org iQIcBAEBCAAGBQJVggD/AAoJEDu/g5M27KkxIqMP/iW0CGKVlqlEJZvIXAugLkXB Htwy9G/LHcGNUHJxP67FRNn90bAZ6w0RU7F1q6/RK1RWxz2UnlMh72ks4kx6ISUG oGAozqi1ik32DXOJmz3sjidHfQQtQxzhZaLCLuY/ky25qzW2+c9fAwZfRuKS8i3R q5kRZsBG/cqEJwb1icoNG/N/Xf4PCDVtzNm13zx76tL9HB7vjPC9d+Ut79ebV3ux oCycTrvQX/DyGX7dfk7blzkFO5X6L2wFclpp8y1LvSCH61DI97+TEUWED0zrxFyG qpl4EriB1sTMgbppW/1OSuo7Fk9qn8JDYHTXG5iBQlj3gJKJiRUloMP/40u7I9Ti Ek7xFNIAHi1+xyzaxsrToewIMFi+cPt08jq2VSEy+TNkubS5ltlVUG5scOfueUKZ w0if4AkDmS5JltumjmjquW8FdxRv0gjNwNPPmXA+tMuEP30gXBVXRl/tgU3fP+fw JRaLk+9zgKO5t4IKBEgFiWGtaTE9K51lW6qbkZwT0FBKVLvydWvrzgjy08t9ZRr+ 6q8+IGJ7CjHkni1GsRnzVVHQyHVgRJC6DKXxvPtQNcjLIwxE9eBapJf7fGb11J3i 3+XFoG5VgWykiGB8/cn/PC0vBppHYQwH4Dcx7frDcg3bJ1JlIsBBgTuVv0Uoh6EE 32lYVUsYaGytpc2Rkt6s =joNZ -----END PGP SIGNATURE----- -- To UNSUBSCRIBE, email to debian-devel-changes-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/e1z5cf3-0000ge...@franck.debian.org