-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: cvc3
Binary: cvc3, libcvc3-5, libcvc3-dev, cvc3-el
Architecture: any all
Version: 2.4.1-5.2ubuntu1
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, 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-dev deb libdevel extra arch=any
Checksums-Sha1:
 bf5529a7dbff5d92f7bfdabf84e3519fef51eabd 1175794 cvc3_2.4.1.orig.tar.gz
 9daae9e1a095005ef85242f5aa376c4154a072eb 10620 cvc3_2.4.1-5.2ubuntu1.debian.tar.xz
Checksums-Sha256:
 d5eae61a66da81ad2a909e0793feca6a13f807a498664a2504189ca9267b3615 1175794 cvc3_2.4.1.orig.tar.gz
 ca2525898c0dfc7a9af07d689b439a168c8f4465e5c83dca51ff0164635fd2ae 10620 cvc3_2.4.1-5.2ubuntu1.debian.tar.xz
Files:
 29168e0511761f39f4d09277e009d6ab 1175794 cvc3_2.4.1.orig.tar.gz
 0cb8ee31d6dcb0b076ea9b64eb010173 10620 cvc3_2.4.1-5.2ubuntu1.debian.tar.xz
Original-Maintainer: Morgan Deters <mdeters@morgandeters.com>

-----BEGIN PGP SIGNATURE-----

iQIzBAEBCgAdFiEEJeP/LX9Gnb59DU5Qr8/sjmac4cIFAl18pYMACgkQr8/sjmac
4cKplA//RnfoRpHe4BvytfoNocL0RRHKUhCMc0IXsSzb5rUUMh6wTa9fvZaKxO9d
fLkvKaTmN6mIEz6HVcuzgucEtB7z80ks2LE3gr5H7UyUt8zXnpgFKhluLtyg2KNy
0uNTqkPlbF9PKe3A0aLGYaNc+4NOOwks8bqLfU13Oz2UqX0Fdv9z+PBT52zhWSlZ
AVTse7V2jRiueFM3zsoHucrxQhi6PqD0r8z4DBqyr3KVbvrKs4GeK96hsBveuwpU
HLuw/Djas7IKHg77DW2dfRGt/dBzj2B/lcKQzkFjfZyhyLWSbuZ8zaK8d2ol9tq9
e0owdNru4da9bS8vaap7hpPHllB2KES7mPosfO52KHSjh8+7QH6hbJ8ogF4aWTEs
2lLDaB9RtXtYUx4EH1WgF3OtuviHZRdF7S6XDHHJ1AWxvtxs3ObQcosc5CnOt1fx
IaU3PnhrILT/OEmVKwfCUD9PF09ub7VE/joD+2Pvv5Xlj+GGhPxcg2bRqO7SsVBh
NYd+VubxjlJSJFhhpAE+zqC1w3Rq2Sqwt4CB8LJE1BVKex9a8U8Vl923Ql3JYM+a
G1PekSnZfrBu4q6wNB46YBqTPQSEmajb4tXERDP7JR41sKFX/I+OV1ECt0jrhvd6
C+8NphW4Gpr/drQVwRV1XJIxOVXinKTLZEvTzO0kYxNoJ/CFyhA=
=arXK
-----END PGP SIGNATURE-----