[ubuntu/bionic-proposed] z3 4.4.1-0.3build4 (Accepted)

[Dimitri John Ledkov]

z3 (4.4.1-0.3build4) bionic; urgency=high

  * No change rebuild against ocaml 4.05.

Date: Thu, 26 Oct 2017 23:54:51 +0100
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/z3/4.4.1-0.3build4
-------------- next part --------------
Format: 1.8
Date: Thu, 26 Oct 2017 23:54:51 +0100
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.3build4
Distribution: bionic
Urgency: high
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Dimitri John Ledkov <xnox at ubuntu.com>
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
Changes:
 z3 (4.4.1-0.3build4) bionic; urgency=high
 .
   * No change rebuild against ocaml 4.05.
Checksums-Sha1:
 65d6663fc8f7c736b75ae2613465ec113452bc03 2544 z3_4.4.1-0.3build4.dsc
 8471189aa78ed705e4edd9ecc61932e13407891b 14424 z3_4.4.1-0.3build4.debian.tar.xz
Checksums-Sha256:
 a6b8bcb51a6f326ca32cbf5a6512f5ee7eaf7ffa54e1c9b0d2ee2e85c09c1db0 2544 z3_4.4.1-0.3build4.dsc
 0406db0c5690062a1c25326634b7317038e3d639e5c99076f3f2a6f6c51994fc 14424 z3_4.4.1-0.3build4.debian.tar.xz
Files:
 2b4cc7f4245776173eedb0d8938d24f1 2544 science extra z3_4.4.1-0.3build4.dsc
 927c11225e4f157ade6ac7d7256ddec7 14424 science extra z3_4.4.1-0.3build4.debian.tar.xz
Original-Maintainer: Michael Tautschnig <mt at debian.org>