Accepted z3 4.4.0-1 (source i386) into unstable, unstable
-----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 <mt@debian.org>
Changed-By: Michael Tautschnig <mt@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-----