Accepted cvc3 2.2-4 (source all amd64)
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Format: 1.8
Date: Thu, 31 Dec 2009 17:03:18 -0500
Source: cvc3
Binary: cvc3 libcvc3-2 libcvc3-2-dev libcvc3-2-java libcvc3-2-jni cvc3-el
Architecture: source all amd64
Version: 2.2-4
Distribution: unstable
Urgency: low
Maintainer: Christopher L. Conway <cconway@cs.nyu.edu>
Changed-By: Christopher L. Conway <cconway@cs.nyu.edu>
Description:
cvc3 - An automatic theorem prover for SMT problems
cvc3-el - Emacs mode for CVC3
libcvc3-2 - An automatic theorem prover library for SMT problems
libcvc3-2-dev - An automatic theorem prover library for SMT problems (development
libcvc3-2-java - Java bindings for CVC3 (bytecode library)
libcvc3-2-jni - Java bindings for CVC3 (native library)
Changes:
cvc3 (2.2-4) unstable; urgency=low
.
* Fixing lintian warnings for deps in emacs package and shlibs in JNI package
Checksums-Sha1:
94f49d6673c8f7f212a5e0653a51c3781d791f30 1103 cvc3_2.2-4.dsc
acb66f5237dc98e74da2d765d3c4d36ac3817151 1096987 cvc3_2.2.orig.tar.gz
7332d845884b2bd4990c63dcfd4db19af2aee31c 7057 cvc3_2.2-4.diff.gz
c744cc0bd8b76eb2f1f9e00ba926e90322312931 69356 libcvc3-2-java_2.2-4_all.deb
684c99ec2b2f33c25df5aa52bc54127fca668b8b 12398 cvc3-el_2.2-4_all.deb
26557010d304e84aea24482f0a9e14ae1a21c35f 23106 cvc3_2.2-4_amd64.deb
a87f9b2351343186ebf19e92d0f349c108a7c924 2423872 libcvc3-2_2.2-4_amd64.deb
63224218190323ec63511e03133e881685a6190f 188484 libcvc3-2-dev_2.2-4_amd64.deb
e7b42650e9534e05641b0258ca225f084e49a6a0 75378 libcvc3-2-jni_2.2-4_amd64.deb
Checksums-Sha256:
796b94e049509c4cab3c2d40f6817291ce66b94b3e73f1ec091663484e254fe0 1103 cvc3_2.2-4.dsc
5182c8bd7b90f4ee8b35d4f731c8fa42e4bc8d00471a99a8c9aec7bc4b1381b7 1096987 cvc3_2.2.orig.tar.gz
3e115e7db299118f1da3c8858f9e9d723498076dcb37b468167423ef96698722 7057 cvc3_2.2-4.diff.gz
053546e57d7f5f7df1135e170fe8e24655c3a11b0db493d8e0c87bdf3e826142 69356 libcvc3-2-java_2.2-4_all.deb
1c20c6f9769b14aed8eb893aac1680021ffad3ff561cbc514282a252c2aeea25 12398 cvc3-el_2.2-4_all.deb
3b3b2284fe4d33642b3b7560ea50b602c91a7a3926bd13f1674fb0da95a56676 23106 cvc3_2.2-4_amd64.deb
52d5cb659e7d9678008c8906342fc8721e987ae1a62a2eb22707bef7934a8974 2423872 libcvc3-2_2.2-4_amd64.deb
e6d1a94c46eb2fab2484db2bbce9063e9a2ac0479aecfb3b97eae18d2c20b64c 188484 libcvc3-2-dev_2.2-4_amd64.deb
613c2620a6903d54d12316f400c856b80cb48e8466792289217d607b6e2ec922 75378 libcvc3-2-jni_2.2-4_amd64.deb
Files:
89dfe6e8e880e5658455ea7f03c39961 1103 math extra cvc3_2.2-4.dsc
fe24b28454977ca035a39c35ad144796 1096987 math extra cvc3_2.2.orig.tar.gz
dd75d3cf60c5804fca249e367b138687 7057 math extra cvc3_2.2-4.diff.gz
834239fdc5e622c7c7a24ba8f21b4fba 69356 java extra libcvc3-2-java_2.2-4_all.deb
811f2a7e927d7ab521b1044fe3b05b7a 12398 math extra cvc3-el_2.2-4_all.deb
08950a4984be7a28ba91cdfa0706a260 23106 math extra cvc3_2.2-4_amd64.deb
d901e08f0b25c12e941dde2ba2283f5d 2423872 math extra libcvc3-2_2.2-4_amd64.deb
5c39fa44195b8ea789f2d2ad1664b370 188484 libdevel extra libcvc3-2-dev_2.2-4_amd64.deb
22336d18e44561f588ce373997854011 75378 java extra libcvc3-2-jni_2.2-4_amd64.deb
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)
iEYEARECAAYFAks/1QsACgkQvx6dH3bVKsSfyQCeNa8huqm6wvoAFUTRGUdxJKik
WzcAnRJAaZ+jaJLnGpwTmO/ccBkdDi4k
=W6xN
-----END PGP SIGNATURE-----
Accepted:
cvc3-el_2.2-4_all.deb
to main/c/cvc3/cvc3-el_2.2-4_all.deb
cvc3_2.2-4.diff.gz
to main/c/cvc3/cvc3_2.2-4.diff.gz
cvc3_2.2-4.dsc
to main/c/cvc3/cvc3_2.2-4.dsc
cvc3_2.2-4_amd64.deb
to main/c/cvc3/cvc3_2.2-4_amd64.deb
cvc3_2.2.orig.tar.gz
to main/c/cvc3/cvc3_2.2.orig.tar.gz
libcvc3-2-dev_2.2-4_amd64.deb
to main/c/cvc3/libcvc3-2-dev_2.2-4_amd64.deb
libcvc3-2-java_2.2-4_all.deb
to main/c/cvc3/libcvc3-2-java_2.2-4_all.deb
libcvc3-2-jni_2.2-4_amd64.deb
to main/c/cvc3/libcvc3-2-jni_2.2-4_amd64.deb
libcvc3-2_2.2-4_amd64.deb
to main/c/cvc3/libcvc3-2_2.2-4_amd64.deb