[ubuntu/xenial-proposed] z3 4.4.0-3build1 (Accepted)

[Łukasz 'sil2100' Zemczak]

z3 (4.4.0-3build1) xenial; urgency=medium

  * No-change rebuild against ocaml 4.02.

Date: Wed, 04 Nov 2015 14:05:46 -0600
Changed-By: Łukasz 'sil2100' Zemczak <lukasz.zemczak at canonical.com>
Maintainer: Michael Tautschnig <mt at debian.org>
https://launchpad.net/ubuntu/+source/z3/4.4.0-3build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Wed, 04 Nov 2015 14:05:46 -0600
Source: z3
Binary: z3 libz3-dev python-z3 libz3-cil libz3-ocaml-dev libz3-java
Architecture: source
Version: 4.4.0-3build1
Distribution: xenial
Urgency: medium
Maintainer: Michael Tautschnig <mt at debian.org>
Changed-By: Łukasz 'sil2100' Zemczak <lukasz.zemczak at canonical.com>
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-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.0-3build1) xenial; urgency=medium
 .
   * No-change rebuild against ocaml 4.02.
Checksums-Sha1:
 e7aeea2cf17dd267a23722b3733b91d9506d454d 1705 z3_4.4.0-3build1.dsc
 e60d88b88c3a3e9a44b9aaf9b6c7717712948ad1 8032 z3_4.4.0-3build1.debian.tar.xz
Checksums-Sha256:
 e7fbe60c66668625c9e29c5d74a323d482d21c467c34b9fa4a7b6ef5dfb33151 1705 z3_4.4.0-3build1.dsc
 48a1fc178e726f9a2a3f29963a28637e9d9dede350afff059c145040c1e56398 8032 z3_4.4.0-3build1.debian.tar.xz
Files:
 c7bd963670f3b1e75bf4327e28527983 1705 science extra z3_4.4.0-3build1.dsc
 1221fe6ab4c1fccf4438c755ca8849a9 8032 science extra z3_4.4.0-3build1.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQEcBAEBAgAGBQJWOmUjAAoJEAIZyhnQNDMMyZAH+gJ/ziTGHUOCbdlWs/FSwgTm
huwXlfGKHDgwBbFpkW5FE3p9YVCWU1UT0gr85TTIpvL0PQ16VqtrD1lp8UUvijqZ
z7GmHjFwxLxtYZc/dFteDDxHLDQPrkjZ2VQ6XmAJ6STIOiPXweyBt3YGgip4kt9c
sxXifsrk+bBfgGW59e0EmB2zgTA1tLgcheVf1bbfCOZP2twWp4rNeRs16lgh/51P
cYu0ovSnlFm8rMOeR6614tPXQkTOVIMIFHODjZgkkK2azkREtjyvYbFLD08hpRpE
5U7/rHEwC5UhEmVVVifuGQxwEkLBBz2SFY9AdVIo+smCqxvlxCkP+CbZHo2HijU=
=EHl/
-----END PGP SIGNATURE-----