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 <d...@ubuntu.com>
Maintainer: Michael Tautschnig <m...@debian.org>
https://launchpad.net/ubuntu/+source/z3/4.4.0-5build1
-----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 <m...@debian.org>
Changed-By: Matthias Klose <d...@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

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

iQIcBAEBCAAGBQJWvcKDAAoJEL1+qmB3j6b1VfQP/iravdIwDU7vAbiNiYF+dtFt
Ths0E+yPB6Fo6NQ9zGUAFEYgeSkodsGqMhHdwY8m0cVImCvPMSYJxOtgeTdWAjkj
VkUofoT0/O8jZ3sbhw9m6/7rMnHn2pAN2yyum7043+OXYPS1AVYKKJ+0oo+yMJ8f
Pej+jHCtutMwdKJqOPdzmi5fymMpiJG/BOeZAhuC9XFrT495iV9/tKJiVaR0YsFy
n1DqLlcEeXDCzVLYNsh6yN8NioTOOkuTIOIBGGYjcjn4/77WhuUnTv9DDNwyj8Xm
oAPAc4cJeZ+QQ2LZJjqkNa8+IRL4T6KyxyrSXcG8ogPfz/cFHDfuduqcyUETMhOt
bPPxsBgfZ0vb8OnbfVOHqadBH0uRZxMzEdmm/iWzSsxuw7sZIPwsp4VFi4oNpA8z
xpefkQCxLJ6Nbb6+1tNeGgNQzWNneWVwu+KPn+S45t4V34SHTwb43hNEBa435tgQ
V8OBzsebtM9H2wkZvGx3RUogCHODV0QfKbl0jF3+O5anJLnXjB4f3PmJEAUgTPhO
I7WAIsmIlNHnzb1Th9pCc+kzE3HC7JbHSxQXB9Bv/pMwsY6+x13uE4r/Tnu50VFj
AYeA2wX04HkBAcHhCe8nYu5bioB1beXOzHA9tYpeV3fI/mmjW5QAkRHgvTj/5soN
+q9kaDAt5jJtOWbSPSsH
=FgbE
-----END PGP SIGNATURE-----
-- 
Xenial-changes mailing list
Xenial-changes@lists.ubuntu.com
Modify settings or unsubscribe at: 
https://lists.ubuntu.com/mailman/listinfo/xenial-changes

Reply via email to