-----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
