-----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
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, libgmp3-dev, python
Checksums-Sha1: 
 acb66f5237dc98e74da2d765d3c4d36ac3817151 1096987 cvc3_2.2.orig.tar.gz
 3ec7b37eac049799a55f19ef01bddb02bcfe70a8 63511 cvc3_2.2-13.diff.gz
Checksums-Sha256: 
 5182c8bd7b90f4ee8b35d4f731c8fa42e4bc8d00471a99a8c9aec7bc4b1381b7 1096987 cvc3_2.2.orig.tar.gz
 0ecaee5579fc1d9ccdb62513bd0d9cb9a2313b1b0163b224c72ce45c86716cc7 63511 cvc3_2.2-13.diff.gz
Files: 
 fe24b28454977ca035a39c35ad144796 1096987 cvc3_2.2.orig.tar.gz
 b13889162c2170902ecb2eb096781b34 63511 cvc3_2.2-13.diff.gz

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

iEYEARECAAYFAku+TfUACgkQvx6dH3bVKsSKcgCaAuftZXfZPnfDzlALt3tqGNEx
iWAAn0DmkMBH9olXmddVhx7N2j7KNqmN
=pegr
-----END PGP SIGNATURE-----