[ubuntu/trusty-proposed] cvc3 2.4.1-4ubuntu1 (Accepted)

[Daniel T Chen]

cvc3 (2.4.1-4ubuntu1) trusty; urgency=low

  * Use dh_autotools-dev* for newer arches.

Date: Mon, 03 Feb 2014 18:08:55 -0500
Changed-By: Daniel T Chen <crimsun at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/trusty/+source/cvc3/2.4.1-4ubuntu1
-------------- next part --------------
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.8
Date: Mon, 03 Feb 2014 18:08:55 -0500
Source: cvc3
Binary: cvc3 libcvc3-5 libcvc3-dev libcvc3-5-java libcvc3-5-jni cvc3-el
Architecture: source
Version: 2.4.1-4ubuntu1
Distribution: trusty
Urgency: low
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Daniel T Chen <crimsun at ubuntu.com>
Description: 
 cvc3       - Automatic theorem prover for SMT problems
 cvc3-el    - Emacs mode for CVC3
 libcvc3-5  - Automatic theorem prover library for SMT problems
 libcvc3-5-java - Java bindings for CVC3 (bytecode library)
 libcvc3-5-jni - Java bindings for CVC3 (native library)
 libcvc3-dev - Automatic theorem prover library for SMT problems (development fi
Changes: 
 cvc3 (2.4.1-4ubuntu1) trusty; urgency=low
 .
   * Use dh_autotools-dev* for newer arches.
Checksums-Sha1: 
 452bda6e7a38dc376ee0953fd1033ee69b38cda5 1855 cvc3_2.4.1-4ubuntu1.dsc
 26cbe061f50c2e48c0b947af8eed54c26c887914 9341 cvc3_2.4.1-4ubuntu1.debian.tar.gz
Checksums-Sha256: 
 6479b32ea124d86c3651d97e03b885ac695038e75c761c975143613322f6536a 1855 cvc3_2.4.1-4ubuntu1.dsc
 5f3e8146258b635b870d7dadb36c8b521a0a9af2a4a047efd88b2b3c712dc8f5 9341 cvc3_2.4.1-4ubuntu1.debian.tar.gz
Files: 
 949f86ef53c6886a38b42eae1071dd77 1855 math extra cvc3_2.4.1-4ubuntu1.dsc
 33f4b63870740298c6febdb86f448810 9341 math extra cvc3_2.4.1-4ubuntu1.debian.tar.gz
Original-Maintainer: Christopher L. Conway <cconway at cs.nyu.edu>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iQEcBAEBAgAGBQJS8F0wAAoJEMxi27yX1zulsNAIAL36ijP2CXPjNnZR87vMNor1
YNS+bLydTCkBGrKRbwtJhOAUx1ti2amA09Ku083HQK/03Yp0rWNcKTdzMvFHQRXJ
IW+fIP12bUiQBL5ZoWSSJFBsbWKuuLyBx4XdEnK480OVLUWqXLQxax9ONG/y76LX
1+TptnL9XFcMGDbW/BuWycHqSuOImFzFZM/c2RNc80IJD8mR/mDzEG54EC1PiPUL
y4QdRGSbcdO47acEIJp0GQLECiGd2LWzfnXeOpuisPOPy55DBqmigLEtNhRSeerm
zQskcJ3my67llRzt0Szkd8irT/yu9LDp5PZE/bI23DLRnuh18m9gGmCtpafgYno=
=NFvM
-----END PGP SIGNATURE-----