[ubuntu/zesty-proposed] cvc3 2.4.1-5.1ubuntu1 (Accepted)

[Bhavani Shankar]

cvc3 (2.4.1-5.1ubuntu1) zesty; urgency=medium

  * Apply patch from debian to fix FTBFS with gcc 6.

Date: Sun, 22 Jan 2017 09:04:35 +0530
Changed-By: Bhavani Shankar <bhavi at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/cvc3/2.4.1-5.1ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Sun, 22 Jan 2017 09:04:35 +0530
Source: cvc3
Binary: cvc3 libcvc3-5v5 libcvc3-dev libcvc3-5-java libcvc3-5-jni cvc3-el
Architecture: source
Version: 2.4.1-5.1ubuntu1
Distribution: zesty
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Bhavani Shankar <bhavi at ubuntu.com>
Description:
 cvc3       - Automatic theorem prover for SMT problems
 cvc3-el    - Emacs mode for CVC3
 libcvc3-5-java - Java bindings for CVC3 (bytecode library)
 libcvc3-5-jni - Java bindings for CVC3 (native library)
 libcvc3-5v5 - Automatic theorem prover library for SMT problems
 libcvc3-dev - Automatic theorem prover library for SMT problems (development fi
Changes:
 cvc3 (2.4.1-5.1ubuntu1) zesty; urgency=medium
 .
   * Apply patch from debian to fix FTBFS with gcc 6.
Checksums-Sha1:
 cf2db192d336ae65cfe8388c1333c9ddbcf80e25 1795 cvc3_2.4.1-5.1ubuntu1.dsc
 bf5529a7dbff5d92f7bfdabf84e3519fef51eabd 1175794 cvc3_2.4.1.orig.tar.gz
 87cb328aa89f60f7fa985dfc18943c4524e3541b 10436 cvc3_2.4.1-5.1ubuntu1.debian.tar.xz
Checksums-Sha256:
 77356885657e350d96f74c01878a631e5bfa394e24ef35ec502cccfa40f1b4ca 1795 cvc3_2.4.1-5.1ubuntu1.dsc
 d5eae61a66da81ad2a909e0793feca6a13f807a498664a2504189ca9267b3615 1175794 cvc3_2.4.1.orig.tar.gz
 87e81ce0407bfeb78f0ec4264bbe731b00ff6706ce213578fc47873a577d440f 10436 cvc3_2.4.1-5.1ubuntu1.debian.tar.xz
Files:
 f7539c7aeacc1891b093dfb244d1ed2c 1795 math extra cvc3_2.4.1-5.1ubuntu1.dsc
 29168e0511761f39f4d09277e009d6ab 1175794 math extra cvc3_2.4.1.orig.tar.gz
 8d3f9ecbab6ce512977dfd3826792b62 10436 math extra cvc3_2.4.1-5.1ubuntu1.debian.tar.xz
Original-Maintainer: Morgan Deters <mdeters at morgandeters.com>

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

iQEcBAEBAgAGBQJYhCkgAAoJEMJAPQz8ZpqTv60IAK4ROnFD+Kne6TDTuuo2N/Uk
MKS0/hq5EA19zwsanWUIZ+1bNHTIt1XLA01vxMQHnYTLrF74wUgcXPiEzUZDypSN
bCsvN7Ki5jfqvmJ7FZuRN9OzNP0tIUicrDTwHHrjBV3b/i/NAKC+VYvSLwvyI2sI
d7Xutx3bRc1W6Y6ErIL6hU6efLLOXrJ+lSu86fcueEW1g8EmqyT6OfrEoKpkpvMK
PAQ75vMdYEuyVEVHAvekd8NZb2uZVBY7twCsDLQS+Me3DFdjt1YXKLQl/hebYhFV
ZQBsLLHgxtKdjOXLQ5sOFmKDhncAxvHTVmfBcS0vZAzcYbcJlx0my9L+VFJh8kc=
=1Df+
-----END PGP SIGNATURE-----