[ubuntu/artful-proposed] z3 4.4.1-0.3build3 (Accepted)

[Dimitri John Ledkov]

z3 (4.4.1-0.3build3) artful; urgency=high

  * No change rebuild against ocaml 4.04 transition.

Date: Mon, 26 Jun 2017 22:49:52 +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.3build3
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Mon, 26 Jun 2017 22:49:52 +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.3build3
Distribution: artful
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.3build3) artful; urgency=high
 .
   * No change rebuild against ocaml 4.04 transition.
Checksums-Sha1:
 805a85d78b56699ac3e0bd8a05f3c4320e9defcb 2544 z3_4.4.1-0.3build3.dsc
 1b32d5fdd25b442ff4e171c85010159b0bd3fbb0 14396 z3_4.4.1-0.3build3.debian.tar.xz
Checksums-Sha256:
 ce732b6feec13342aaecff0fab82619d0278e0ca5d7a17b9310cce2ca17d9f83 2544 z3_4.4.1-0.3build3.dsc
 3457ad283904447be6257c480b62defc1e4efcd43ff4609d0c09e465828c2b29 14396 z3_4.4.1-0.3build3.debian.tar.xz
Files:
 a7322fa75ac37e087cceaa559dd7ca83 2544 science extra z3_4.4.1-0.3build3.dsc
 17dffad9b7798a474e86a246f82cd6cc 14396 science extra z3_4.4.1-0.3build3.debian.tar.xz
Original-Maintainer: Michael Tautschnig <mt at debian.org>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQEcBAEBCAAGBQJZUYQEAAoJEMrC2LnNLKX5OjEH/3tMoZQmdTfNIyxQvkwU1NTb
b/g85jpaqz2KjMjUV1ynvpwjvexGoHo03GctBcYJk1C+rpxiL0QVxAxi+eBycAU6
HEz3f4xgSnRJDVoaCp/IyNMPIHebXvGWnRrypuWsMvIZcGsfNlFQYGa9GmJIxdBE
2Wn4pqf9DmMfiyxWvKnC0gyg4pQJ5UoboqFb+TN+eiM5gs7nXvyfzwKjU9dpcwL/
6KyuZxP1a8k6L+MaK2qlU/Ejenk2KRmY4XtZr7QzmMgEK6TlkVTWe0CmKp+fgZFP
i7RMlmCw/gEM+hYtdp0x3dUQlJAQMIK30hQzKP4WOuRdJ1pEk+uvbhdpq9E/dFI=
=LcMp
-----END PGP SIGNATURE-----