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

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-4ubuntu1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Homepage: http://www.cs.nyu.edu/acsys/cvc3/
Standards-Version: 3.9.3
Vcs-Browser: https://github.com/clconway/cvc3-debian
Vcs-Git: https://github.com/clconway/cvc3-debian.git
Build-Depends: cdbs, debhelper (>= 7), autoconf, autotools-dev, bison, default-jdk, 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-java deb java extra
 libcvc3-5-jni deb java extra
 libcvc3-dev deb libdevel extra
Checksums-Sha1: 
 bf5529a7dbff5d92f7bfdabf84e3519fef51eabd 1175794 cvc3_2.4.1.orig.tar.gz
 26cbe061f50c2e48c0b947af8eed54c26c887914 9341 cvc3_2.4.1-4ubuntu1.debian.tar.gz
Checksums-Sha256: 
 d5eae61a66da81ad2a909e0793feca6a13f807a498664a2504189ca9267b3615 1175794 cvc3_2.4.1.orig.tar.gz
 5f3e8146258b635b870d7dadb36c8b521a0a9af2a4a047efd88b2b3c712dc8f5 9341 cvc3_2.4.1-4ubuntu1.debian.tar.gz
Files: 
 29168e0511761f39f4d09277e009d6ab 1175794 cvc3_2.4.1.orig.tar.gz
 33f4b63870740298c6febdb86f448810 9341 cvc3_2.4.1-4ubuntu1.debian.tar.gz
Original-Maintainer: Christopher L. Conway <cconway@cs.nyu.edu>

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

iQEcBAEBAgAGBQJS8F0uAAoJEMxi27yX1zulS40H/1i3nfnYjwTcLmhUvKxAR2Pj
hpAorv918UKVTJCnQEuGvtsM8zF/SLs85GyEYJ3EfqqLB43cF5bmOSDsp1yN3vWC
S3A9ONl9fzP4cBKQ4u2krQeB6bXkj1lk9nNsUOSRBunr94jW2zZy2ArtKAHgsbVg
hipl6WfRz/0s4/rA1jY2nNVxQ2LYGQQUmLK6oe2DSCIGTizSkz1xViuV11ZwhsA9
KZVwmFq1Al17RMmSoygFyGgpNQaGygAluo7bDRE58FvSo8XSTkDRVxgXyfIMBaBk
yEHCxK2flJqmlVPynO32d+/07WSUO11M+2LdLhzGaOUlRliuGjWI3Kyg0FDtLO8=
=6kYw
-----END PGP SIGNATURE-----