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

Format: 3.0 (quilt)
Source: cvc3
Binary: cvc3, libcvc3-5, libcvc3-5-dev, libcvc3-5-java, libcvc3-5-jni, cvc3-el
Architecture: any all
Version: 2.4.1-2
Maintainer: Christopher L. Conway <cconway@cs.nyu.edu>
Homepage: http://www.cs.nyu.edu/acsys/cvc3/
Standards-Version: 3.9.3
Vcs-Browser: http://bazaar.launchpad.net/~cvc3/cvc3-packaging/trunk/files
Vcs-Bzr: lp:cvc3-packaging
Build-Depends: cdbs, debhelper (>= 7), autoconf, autotools-dev, bison, default-jdk, gcj-native-helper, flex, libgmp-dev | libgmp3-dev, patchutils, python
Package-List: 
 cvc3 deb math extra
 cvc3-el deb math extra
 libcvc3-5 deb libs extra
 libcvc3-5-dev deb libdevel extra
 libcvc3-5-java deb java extra
 libcvc3-5-jni deb java extra
Checksums-Sha1: 
 bf5529a7dbff5d92f7bfdabf84e3519fef51eabd 1175794 cvc3_2.4.1.orig.tar.gz
 6900a244ae4bbb86d34d55dea88f653265ae3376 16324 cvc3_2.4.1-2.debian.tar.gz
Checksums-Sha256: 
 d5eae61a66da81ad2a909e0793feca6a13f807a498664a2504189ca9267b3615 1175794 cvc3_2.4.1.orig.tar.gz
 49a4d7467b30d854c8de6fb4223668098446e41dfd7283091a981e53f0ab1b8e 16324 cvc3_2.4.1-2.debian.tar.gz
Files: 
 29168e0511761f39f4d09277e009d6ab 1175794 cvc3_2.4.1.orig.tar.gz
 45d868f50f4ea5597c165aff0b40ddab 16324 cvc3_2.4.1-2.debian.tar.gz

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

iEYEARECAAYFAk9SvyYACgkQvx6dH3bVKsRaIACg8aurbIvs/6Nfcaquj5mdiKHw
+7gAn0Q+k2ZOtCYpPBRgixFNEc2REXUK
=VUJw
-----END PGP SIGNATURE-----