-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Format: 1.0
Source: cvc3
Binary: cvc3, libcvc3-2, libcvc3-2-dev, libcvc3-2-java, libcvc3-2-jni, cvc3-el
Architecture: any
Version: 2.2-7
Maintainer: Christopher L. Conway <cconway@cs.nyu.edu>
Homepage: http://www.cs.nyu.edu/acsys/cvc3/
Standards-Version: 3.8.3
Build-Depends: cdbs, debhelper (>= 7), autotools-dev, bison, flex, libgmp3-dev, python, default-jdk-builddep
Checksums-Sha1: 
 acb66f5237dc98e74da2d765d3c4d36ac3817151 1096987 cvc3_2.2.orig.tar.gz
 322536b152f4f26c6273bf0fbf4080ab7b41bc4f 7259 cvc3_2.2-7.diff.gz
Checksums-Sha256: 
 5182c8bd7b90f4ee8b35d4f731c8fa42e4bc8d00471a99a8c9aec7bc4b1381b7 1096987 cvc3_2.2.orig.tar.gz
 ccf6571ad5e7b510af22e7db93cac8a2a1b53efb6a97e0dcbfebcae7d1a7342d 7259 cvc3_2.2-7.diff.gz
Files: 
 fe24b28454977ca035a39c35ad144796 1096987 cvc3_2.2.orig.tar.gz
 2f85b7f00c0b7a158e658704180d6ad8 7259 cvc3_2.2-7.diff.gz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.10 (GNU/Linux)

iEYEARECAAYFAktHC1oACgkQvx6dH3bVKsRB/wCcCETWZFC4juMDMA5UZTe481cT
utkAoJdx5VPV8iB5E/p+97lfmUF58vJ6
=PiFM
-----END PGP SIGNATURE-----