-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: cvc3
Binary: cvc3, libcvc3-5, libcvc3-dev, libcvc3-5-java, libcvc3-5-jni, cvc3-el
Architecture: any all
Version: 2.4.1-5
Maintainer: Morgan Deters <mdeters@morgandeters.com>
Homepage: http://www.cs.nyu.edu/acsys/cvc3/
Standards-Version: 3.9.5
Build-Depends: cdbs, debhelper (>= 7), autoconf, autotools-dev, bison, default-jdk, flex, libgmp-dev | libgmp3-dev, patchutils, python
Package-List:
 cvc3 deb math extra arch=any
 cvc3-el deb math extra arch=all
 libcvc3-5 deb libs extra arch=any
 libcvc3-5-java deb java extra arch=all
 libcvc3-5-jni deb java extra arch=any
 libcvc3-dev deb libdevel extra arch=any
Checksums-Sha1:
 bf5529a7dbff5d92f7bfdabf84e3519fef51eabd 1175794 cvc3_2.4.1.orig.tar.gz
 572fbc0fb924e63981e5ad9246897be3726eb1a4 10148 cvc3_2.4.1-5.debian.tar.xz
Checksums-Sha256:
 d5eae61a66da81ad2a909e0793feca6a13f807a498664a2504189ca9267b3615 1175794 cvc3_2.4.1.orig.tar.gz
 5552770a74dbbd4822d959de7a3726f1a00c06e10bb8da2389e741b1c9bd3da6 10148 cvc3_2.4.1-5.debian.tar.xz
Files:
 29168e0511761f39f4d09277e009d6ab 1175794 cvc3_2.4.1.orig.tar.gz
 46fb25e90d19e8351a0fdadfee179848 10148 cvc3_2.4.1-5.debian.tar.xz

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: GPGTools - http://gpgtools.org

iQIcBAEBCAAGBQJUJxhiAAoJEKjvEonjOGdBvnoQAI1UH9JAAqO4lPAdCETA1hI1
DmFc6zRHwxx34mQDCAU2oTXrawoXXOtxLz6oiKX6AnAHTTgXfuMh2y/pkbE9dJ0o
NQU5P5FgqjmiI7FZ4W6wr3LUV7q4Tws28fxm61bCLlqqmtKtSpweVPgs57hQ8v8W
mbRWQ0foRIgYGUjnVPd1q5UqMvARA9HVsQR3IlOIjSZaZeTpSE4a+pd618GCJL9G
Ggvs+WHVhkKDaHbTUyeNYDnbrQGOO+BKLX6kYI5wnxdUJS8O6EDydc2/uDiIVZ9t
k5sJTbDuKincmUH61dcN2/HrSXrW4A0t4sH0sxRrS7pef0KbmgWOXc3hXup7JCVK
rSDni0H0NxjfLkokFQgcsiF0VJTuCSN/XNb0PxJDLGc8XGGf5ZxdlqU73IlgFwjL
2+tcQlcxXZcczqA13s2pQiS0qZ1dVCcDb62TtjFAM5uzfWniuX5jHdw89KtSJbnR
h57ljFGnVHBxZ+kloZsjWVgndBHMEugTYSC7TcbOZrU7brtLM5MNWiNacDCePF2w
Bs+EW4Veu2ImGqFtDkIe0CaZ23iEGmkgdy459WIfn53XiziCaHjvnfKymAuWw82Q
7tbxA70ECsHFAlRCKQtRcuJ6u7rb55/G5NGQ4qqWHTs/RaoA4TXdAhdFV8hBkPug
yjWOFj7MUktR6XsmH+vf
=/KjQ
-----END PGP SIGNATURE-----