-----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-----