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

Format: 3.0 (quilt)
Source: cvc3
Binary: cvc3, libcvc3-5v5, libcvc3-dev, libcvc3-5-java, libcvc3-5-jni, cvc3-el
Architecture: any all
Version: 2.4.1-5.1ubuntu1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.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-java deb java extra arch=all
 libcvc3-5-jni deb java extra arch=any
 libcvc3-5v5 deb libs extra arch=any
 libcvc3-dev deb libdevel extra arch=any
Checksums-Sha1:
 bf5529a7dbff5d92f7bfdabf84e3519fef51eabd 1175794 cvc3_2.4.1.orig.tar.gz
 87cb328aa89f60f7fa985dfc18943c4524e3541b 10436 cvc3_2.4.1-5.1ubuntu1.debian.tar.xz
Checksums-Sha256:
 d5eae61a66da81ad2a909e0793feca6a13f807a498664a2504189ca9267b3615 1175794 cvc3_2.4.1.orig.tar.gz
 87e81ce0407bfeb78f0ec4264bbe731b00ff6706ce213578fc47873a577d440f 10436 cvc3_2.4.1-5.1ubuntu1.debian.tar.xz
Files:
 29168e0511761f39f4d09277e009d6ab 1175794 cvc3_2.4.1.orig.tar.gz
 8d3f9ecbab6ce512977dfd3826792b62 10436 cvc3_2.4.1-5.1ubuntu1.debian.tar.xz
Original-Maintainer: Morgan Deters <mdeters@morgandeters.com>

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iQEcBAEBAgAGBQJYhCkPAAoJEMJAPQz8ZpqTthAIALQUYvm00E7iFGydt5YaGW9h
eZheboNfCmxCYmrWfv+k+J9w2AkSxkViGVXyomJGSVSIbDA8krcUhU5QcctHcAUn
siV7eIXqRC3VPXIWo3vlcYWV2ID5jc7aYVCtKNyYhsc/YZJYCh10eBorHvX+aH7Z
Ozbm/N5ainHMNYBj2IU5aaKVN3ZL5uTrb4vNaROdZk1A0TW4Pt53qQzi1ReFBqoK
VjGUGPtANhckLGSK+OMyjdkgwo6yYej67Fa49y0EHvfmVhr63j+SQoWnzYQkHaY/
lHwL70S3WN730//AYhh6onAIbV4EEvedzVmWpfrlSXW1zc0+RaLcEAK1ZpF1uno=
=Ttue
-----END PGP SIGNATURE-----