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

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-5ubuntu1
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
 6a3c8a92bcb14a12b7beca05014be1ad3d4a3e56 10320 cvc3_2.4.1-5ubuntu1.debian.tar.xz
Checksums-Sha256:
 d5eae61a66da81ad2a909e0793feca6a13f807a498664a2504189ca9267b3615 1175794 cvc3_2.4.1.orig.tar.gz
 9d59d5a63da95d076fdf947f23937cdd2dc909a8c16b1156c5b9266d44ad39b0 10320 cvc3_2.4.1-5ubuntu1.debian.tar.xz
Files:
 29168e0511761f39f4d09277e009d6ab 1175794 cvc3_2.4.1.orig.tar.gz
 3c4f60232c8aeefff0ad0a92ee52bcd3 10320 cvc3_2.4.1-5ubuntu1.debian.tar.xz
Original-Maintainer: Morgan Deters <mdeters@morgandeters.com>

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

iQIcBAEBCAAGBQJVv+xaAAoJEFaNMPMhshM9V6MP/RoCBTDeDgTKhngAy/rXBwkN
4mc0aZ9UlzcpXJumASugelewJOpWRSc1YFfki3ILQ7EZR93aSUbz8wmuclTj2MYe
nnxZedtGCqzn4iLpDmQ89u40T1EBM30teCdgDLrE+kkm9yrHvcxJ3f3bHEjHnUbI
3Lnd8V3erhEBUv1vCVXyCgV06occVr15UXJ4n1KTCCAeRpCAXuu7n1dp4yYYpw9T
uVQJQRdw0sQ1stoMvVCIDgXAvHhCXBvbKOl+38FEr+N+oQJNz6z7URrFUufeEDiB
H56cdW/oTBBVdXEVY2qa0jyn4RUnUpcnSMzRbfS7+Qp7jjO6sWUS3I1aypEfxzx4
dWEIvDd/LvKQDhKUh/hJT8MVmKGzXWv1LvkGbNvEd02K8QxK8iv5T+Fw2NesAyKS
xP5dbJk/HJah+mLyr6/35Z+kzjDh26nh/v1/uut+eAOANdbW2zjs3tdXXupSRyuX
ygJ9FseSKr4LHC7j78FBs3NR8jUuRq0W8Q/sHrbubivy3m+gVwAvTX4CVSEqcQlP
D1yDtumnBL4jCAtZKSCwoCcm434kZ//NCwJObA5xuTjWOisnQtfxmGwmJhOK8MKe
o6Lad8PJ0xTaw8A7Yjf5kQZYgnhbzucj5QmGTr5xfGrckWzEGIfUEZ4J67MNMYI8
HDDEdFk9VdEGkACdRZqf
=bEqH
-----END PGP SIGNATURE-----