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 <[email protected]> Maintainer: Ubuntu Developers <[email protected]> https://launchpad.net/ubuntu/trusty/+source/cvc3/2.4.1-4ubuntu1
-----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 <[email protected]> Changed-By: Daniel T Chen <[email protected]> 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 <[email protected]> -----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-----
-- Trusty-changes mailing list [email protected] Modify settings or unsubscribe at: https://lists.ubuntu.com/mailman/listinfo/trusty-changes
