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

Fri Feb 12 11:32:13 UTC 2016

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

  * Rebuild for new OCaml ABIs.

Date: Fri, 12 Feb 2016 11:30:12 +0000
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Michael Tautschnig <mt at debian.org>
https://launchpad.net/ubuntu/+source/z3/4.4.0-5build1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Fri, 12 Feb 2016 11:30:12 +0000
Source: z3
Binary: z3 libz3-dev python-z3 libz3-cil libz3-ocaml-dev libz3-java libz3-jni
Architecture: source
Version: 4.4.0-5build1
Distribution: xenial
Urgency: medium
Maintainer: Michael Tautschnig <mt at debian.org>
Changed-By: Matthias Klose <doko at ubuntu.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-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.0-5build1) xenial; urgency=medium
 .
   * Rebuild for new OCaml ABIs.
Checksums-Sha1:
 5b811da4096e183ae6dcd201dfaba58bdc7895e0 2106 z3_4.4.0-5build1.dsc
 11c8f7db1047bd3cbd09d2b6662dce8dcfbc8223 11500 z3_4.4.0-5build1.debian.tar.xz
Checksums-Sha256:
 eefeaf32e242e44b2c782d8dc63c07384fb46329d2303d43fe4b982e125bdddb 2106 z3_4.4.0-5build1.dsc
 74c3e38616c63073d050ff2b9e31accbe7fc8747763415a0534776a3287f57cd 11500 z3_4.4.0-5build1.debian.tar.xz
Files:
 24c51bdc850d4c921c71b3476f28a53f 2106 science extra z3_4.4.0-5build1.dsc
 88f2e2aabd50b9d5401613fc96202463 11500 science extra z3_4.4.0-5build1.debian.tar.xz