Accepted z3 4.4.1-0.4 (source) into unstable

Adrian Bunk Tue, 11 Sep 2018 14:21:31 -0700
-----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 <m...@debian.org>
Changed-By: Adrian Bunk <b...@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
Accepted z3 4.4.1-0.4 (source) into unstable

Reply via email to
