-----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-13.1
Maintainer: Christopher L. Conway <cconway@cs.nyu.edu>
Homepage: http://www.cs.nyu.edu/acsys/cvc3/
Standards-Version: 3.8.4
Build-Depends: cdbs, debhelper (>= 7), autoconf, autotools-dev, bison, default-jdk-builddep, flex, libgmp-dev, python
Checksums-Sha1: 
 acb66f5237dc98e74da2d765d3c4d36ac3817151 1096987 cvc3_2.2.orig.tar.gz
 71c8268b06c41e41a425a68fbb9d1829ad78f653 66174 cvc3_2.2-13.1.diff.gz
Checksums-Sha256: 
 5182c8bd7b90f4ee8b35d4f731c8fa42e4bc8d00471a99a8c9aec7bc4b1381b7 1096987 cvc3_2.2.orig.tar.gz
 3e69ca88a5e78a8d46731c47652bb1d5298656bc6c61ded3aa959bcf6e5ac504 66174 cvc3_2.2-13.1.diff.gz
Files: 
 fe24b28454977ca035a39c35ad144796 1096987 cvc3_2.2.orig.tar.gz
 60e791ff2dcdcfa47cc0236f9885e8de 66174 cvc3_2.2-13.1.diff.gz

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

iD8DBQFNgXfk0i2bPSHbMcURApdpAKCou2jvDEzcUudOfHZIJheL4rx6OwCfSGBX
GnDDrwF0YJ0oU3RnmBfccPc=
=tJXR
-----END PGP SIGNATURE-----