Accepted cvc3 2.4.1-5 (source all i386) into unstable
-----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-----