-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 Format: 1.8 Date: Sat, 27 Sep 2014 12:21:27 -0400 Source: cvc3 Binary: cvc3 libcvc3-5 libcvc3-dev libcvc3-5-java libcvc3-5-jni cvc3-el Architecture: source all i386 Version: 2.4.1-5 Distribution: unstable Urgency: low Maintainer: Morgan Deters <mdeters@morgandeters.com> Changed-By: Morgan Deters <mdeters@morgandeters.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 Closes: 756524 757192 Changes: cvc3 (2.4.1-5) unstable; urgency=low . * New maintainer. (Closes: #757192) * Fix clean target, resolving ppc64el FTBFS. (Closes: #756524) * Update standards version. * Fix dep5 copyright. * Remove Vcs-git and Vcs-browser (not available for CVC3). * Now lintian clean (with some overrides). Checksums-Sha1: 49e14810b2ee738fca0a1bad8b9e0f14afd57c8e 2081 cvc3_2.4.1-5.dsc 572fbc0fb924e63981e5ad9246897be3726eb1a4 10148 cvc3_2.4.1-5.debian.tar.xz 00c9b9aa7818d11ca3532367dc46717f733398d3 70952 libcvc3-5-java_2.4.1-5_all.deb ec415d00285f0e58cf90d4601b50e93895996459 13974 cvc3-el_2.4.1-5_all.deb Checksums-Sha256: 3bd53ffae5c033f67ced52a81027d44647259013d7451515559aeb6bde226433 2081 cvc3_2.4.1-5.dsc 5552770a74dbbd4822d959de7a3726f1a00c06e10bb8da2389e741b1c9bd3da6 10148 cvc3_2.4.1-5.debian.tar.xz 42af3fac88380a9545a4a82332955761e7d5350c0d87e97b782f43ed8132d698 70952 libcvc3-5-java_2.4.1-5_all.deb 089140a547628d2d0f914e291ff9191751ff66b5c58b624d4383c0ed36d59f42 13974 cvc3-el_2.4.1-5_all.deb Files: e4776d04b45c54b3b5c46cf9efde86c3 70952 java extra libcvc3-5-java_2.4.1-5_all.deb eb8afa62fa1e23f93ba9df85ed785118 13974 math extra cvc3-el_2.4.1-5_all.deb 4912cd80422e4ee4e3f2dcafd59d4170 2081 math extra cvc3_2.4.1-5.dsc 46fb25e90d19e8351a0fdadfee179848 10148 math extra cvc3_2.4.1-5.debian.tar.xz -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.12 (GNU/Linux) Comment: GPGTools - http://gpgtools.org iQIcBAEBCAAGBQJUJxhlAAoJEKjvEonjOGdBKxYP/Rr/0shNQm9DJsqjAA+fEf/q n1zAOtfEcRe4cguu6bTgOFk/6YtWnl0SWrPPS21k87bWN7HPSwIogAhEp9I3VOtb Dpn3tT7OPTbpV8j74UB7VsXTO5RyVlz/a44pjfWF+McNqe97Bqqh/wHLgYid2PSd dlAtrWHbvYz5twvJHDGsQ7cSBspY+3MJSs/pUeGQ6W7pJSySYJ1U/G9LFg5rc6jJ xyA3RgXSTb4eMT13zWF7eMBwWefsze2s/KRCOwW6Nb1NSsMyVj/pUMVDyAPTZO9e K4KEyJasvVi0qralBuPfui3V6kPrvb10bOECeASSql/fZf/mMTVslb/eyBSyuAGL NsoBLBqWMsh75P/rVdq1LWUyxUlebkWKfHib+F/Q02uNfKxpHLntm8IuAVSaHC/d DpQONAD2TdStE8xMiyunvLsTXObqufHCAI5oXsb5bcjjdgKiY/Z6w7XdB152SItq z7ZJjVo2j+wNsCRDOK1keRrbZErQlg0Soi1KOoTOj51TnTFmLP4Y4QHvH3ZQtLOR 0BR9OJ584P0BJh1aPg11xwlKZbBcuafTpZ29RLFUjwGBMMMukzD3jwrXB092q0NF 8TlEYqa+iRurCinFc+B3OlXFuGs8pyZh4dZseoymBQttKzDhHUK+N6vjdrTMTW04 rC6IvcgZ65uo/FkJNVIa =3Pr3 -----END PGP SIGNATURE-----
