Back to z3 PTS page

Accepted z3 4.4.1-0.4 (source) into unstable



-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Sun, 09 Sep 2018 22:28:32 +0300
Source: z3
Binary: z3 libz3-4 libz3-dev python-z3 libz3-cil libz3-ocaml-dev libz3-java libz3-jni
Architecture: source
Version: 4.4.1-0.4
Distribution: unstable
Urgency: medium
Maintainer: Michael Tautschnig <mt@debian.org>
Changed-By: Adrian Bunk <bunk@debian.org>
Description:
 libz3-4    - theorem prover from Microsoft Research - runtime libraries
 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: 874237
Changes:
 z3 (4.4.1-0.4) unstable; urgency=medium
 .
   * Non-maintainer upload.
   * Remove the incorrect Multi-Arch: same of python-z3,
     thanks to Helmut Grohne. (Closes: #874237)
Checksums-Sha1:
 dd61381f4c74aacd06e5ffdfc1ddf2039fc7354a 2801 z3_4.4.1-0.4.dsc
 bc5ca3f0afc73633674cba0583419fd2d04416b9 14360 z3_4.4.1-0.4.debian.tar.xz
Checksums-Sha256:
 5b3a122e71a3f7255872fa3409be8a077c5ad9cbbaa9bd47ba280e4916224167 2801 z3_4.4.1-0.4.dsc
 8e335ea99dadbc6ea5ce3a0f58b3c6ffe3e1b6713bc3de2af3bdc69dbac647bd 14360 z3_4.4.1-0.4.debian.tar.xz
Files:
 d8f50ccc3da8b3b3dbd9fdddd28c166b 2801 science extra z3_4.4.1-0.4.dsc
 f41a0c9d4a0bda28f62a8460cb1e239c 14360 science extra z3_4.4.1-0.4.debian.tar.xz

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEOvp1f6xuoR0v9F3wiNJCh6LYmLEFAluViIMACgkQiNJCh6LY
mLFt4BAAip4ZDMQGsXMYG0IM972F5lOaJpFAaq1xhFZ5t3/zz5RHGoFWa80dbfYT
vzD4twO+xDz6VoUixyXlwPKyk3jw9ayokPL8/O8tc4vybl+iQto69M/by1r+/nN+
hvdM8LbIMX1uVQZETA8mB5SHjIAY8Y8gHj5qXFGAmUh4spXAcHD6LrsuEGSM/8Ho
BVFQuJU7lyrXl58Ppd6Nvtyf6YYTCWYoC00okrohjdY3WW4wM3xJM3jwMUAh37SC
6mq0l3ogu3USg1N94qTWoK9bi04LHu5u3CTBkDK1/Z9xfWX7bETVpL8pq1tujjLz
3xgpi25NUKJUKB1NRUKNy1zWeBetEz5qu8pz77mrQfen25rOlKkFFLDCie9Dhf4V
8amvMzxC0h5OPSU/z0sX7p8EDaITSz0kpsIWCSZPZvCWucJ+c3VVWmC8lVzuZusc
Oo+fzZH5SZTf3FAitNR1DcDDvBzs9mnQ/gqizEdVIVvOc/deae9Q72W6RT2QjMxY
MHYY1Seo+0zLns/qy7cmOQzyWyFuxSESIsvx1nf95fEDYY1s8gDQNUts54QI6cBE
e8awbPuD7BMXf9LSIqRJ6cHys+eEiV8gA802Yodfg02T/2tkP4AMzOMmub2x+2+n
crLC1//Mv9UBdkyM4dp+2DCxCW9N7VuoY/F3Zl1S2ojhWUodwDM=
=qe8O
-----END PGP SIGNATURE-----