Accepted z3 4.4.0-4 (source i386 all) into unstable, unstable
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256
Format: 1.8
Date: Fri, 04 Sep 2015 13:55:20 +0100
Source: z3
Binary: z3 libz3-dev python-z3 libz3-cil libz3-ocaml-dev libz3-java libz3-jni
Architecture: source i386 all
Version: 4.4.0-4
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-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: 797514 797515
Changes:
z3 (4.4.0-4) unstable; urgency=low
.
* Add libz3-jni package to split out arch-specific files from java package.
(Closes: #797515)
* Don't claim multi-arch compatibilty of libz3-cil. (Closes: #797514)
* ocamlopt isn't universally available, and never actually used in the build
process.
Checksums-Sha1:
9a703ac8cbdd334473c056bf2e1b09ca66b74984 2119 z3_4.4.0-4.dsc
0acdeb65629448be9b39643db63c0389bb319118 8604 z3_4.4.0-4.debian.tar.xz
7e433091a277f60113cd9a3eb7892204e71d6468 40168 libz3-cil_4.4.0-4_i386.deb
83f627953d012cd08a43d10f8fb13036f409c4b7 5688260 libz3-dev_4.4.0-4_i386.deb
63382ab4ad7ae044601e722891145b9d0604f834 137424 libz3-java_4.4.0-4_all.deb
16532719737b90e99645b9bd12c34f95154c027f 40356 libz3-jni_4.4.0-4_i386.deb
b5fb1f5b5e89d9df23b4a2060869de58537a1673 418262 libz3-ocaml-dev_4.4.0-4_i386.deb
a629dd295558327dbe478a44a43e0a2485c01e2d 66246 python-z3_4.4.0-4_i386.deb
18e4dc9a00a292707f4015859d38c51b0d7c9d65 5643660 z3_4.4.0-4_i386.deb
Checksums-Sha256:
aa1f8229daecfcc582fe667965cdcd55d503d691c6c5dd961fd507d50ac6afc5 2119 z3_4.4.0-4.dsc
33a9c707127bc2dd395f198bc0d0559c0fd787d118f36feb597b459cb272dadd 8604 z3_4.4.0-4.debian.tar.xz
dd5c871a1cd4bd49a4ce0fbc816fda3deb3bfd734be48642c551334566cb8a28 40168 libz3-cil_4.4.0-4_i386.deb
848f566898dcfbd65a57709a46a7fdec751667a1a1fa7eff52d24a152e7a2eba 5688260 libz3-dev_4.4.0-4_i386.deb
dbdb5cd6ae6ca31f6bab103a0b901d090eb1f027ca68220d6ba53fc0b91327c9 137424 libz3-java_4.4.0-4_all.deb
da26766f9d87abfe762f0a039d63db2ae3b1955377fcda64e4c0c03287268e41 40356 libz3-jni_4.4.0-4_i386.deb
468588f2cf9a763a11a193b38e171c4a1fe0beac45accde287ee170252eae571 418262 libz3-ocaml-dev_4.4.0-4_i386.deb
fd3507ba311b14d9013023a912628c36f52a36033b95476cfc956df88a1db70c 66246 python-z3_4.4.0-4_i386.deb
73a96fe2b97d6f5cc7c28281741433662c1ee7ac6c4b019518e37f723cad9b28 5643660 z3_4.4.0-4_i386.deb
Files:
71ca57f610103362d169b855f16c2481 2119 science extra z3_4.4.0-4.dsc
6b54b052fb589d4287a887b8b11295a7 8604 science extra z3_4.4.0-4.debian.tar.xz
99976304402f5d904adde944f44aea6a 40168 cli-mono extra libz3-cil_4.4.0-4_i386.deb
8792dfc7b34a3fdbc74bccf7bd682f0c 5688260 libdevel extra libz3-dev_4.4.0-4_i386.deb
20b1f85c6dbbdb5df2fc0c4b356f19ea 137424 java extra libz3-java_4.4.0-4_all.deb
25b77dd5612e42450735976b54ae0669 40356 java extra libz3-jni_4.4.0-4_i386.deb
9b12a974f348ce08ee269dfb6a0a5d5d 418262 libdevel extra libz3-ocaml-dev_4.4.0-4_i386.deb
561992379bbf97d27d3b4a9ffc910825 66246 python extra python-z3_4.4.0-4_i386.deb
13071a2ce470738dd2f1ab14f751b376 5643660 science extra z3_4.4.0-4_i386.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1
Comment: GPGTools - http://gpgtools.org
iQIcBAEBCAAGBQJV7UYzAAoJEDu/g5M27Kkxf9oP/1qlcBR6sU4ChJsDCbZnUaTw
I345SrYpIRIvKRsnPvPM76hl2flgOC0/MCwSyHYZ+ERvK8V4bGfHfN6tRhx9c3CF
WA6qs/+I40EpvaOR2ZpZkQ9V4s6+Cz1alwdJeAvDknepHC6R6YN5zKaPHhDRF17U
rFmD+rI0EjWxItc3wNYc9Z6w+LOBQskLS/Jr+76X6WjypsAoIhDPnXJsylSYJ1N1
EbmZlRb4tuk2BiLFIQFW8MFlIPtEiNCe7lrxkt+CpbkCsypqKVDZ7QIkaNUvQLeP
NBQAyPZOVXf+4+/i0wznDsNPgCYiIRENc5Qn1/VvYLmIVW0At2jSmlhFs6rAzz8Q
u3NU48o0wCmOIRbxVKkEhvRvM6xE/9Zg8MIqCHk8kEhLZNd8blHI8WFo85M+rN+O
HRinvxxR2Z/mNr6GkiqVHuX5qyGMxFn9sr4Ju14RbxvvWgraASJU5wCdVn062QLC
T/ltsPKtDYQwlmCjtyaVFW7ri1GAYzWoONp9zpdbLKkD16j1PFAs7nx1CDwwW3Hz
tkdDxYMdXWyLZa3lH3ycCYi61Pfj6DaWufM4Q7mfEP2xG5Ti3/IAnPJYSTkWcEjR
aSLd+XpzrozmDW/3vbUoRR8lK1ErTAQCGYy1O6U+3pBibJIQadMT6NvgBkjguLI4
lDVJgda0U1Nwv7ehI39V
=psIm
-----END PGP SIGNATURE-----