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

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.1
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
 72868f65998e420f630ea880096e4a6ff2922e9b 10208 cvc3_2.4.1-5.1.debian.tar.xz
Checksums-Sha256:
 d5eae61a66da81ad2a909e0793feca6a13f807a498664a2504189ca9267b3615 1175794 cvc3_2.4.1.orig.tar.gz
 b88085b8cf081ec2da326c403e34b5f3a076e36caa3d7a971595e1350684b993 10208 cvc3_2.4.1-5.1.debian.tar.xz
Files:
 29168e0511761f39f4d09277e009d6ab 1175794 cvc3_2.4.1.orig.tar.gz
 db968c061f2adbb6bf1817e65b471c8f 10208 cvc3_2.4.1-5.1.debian.tar.xz

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

iQIzBAEBCgAdFiEEOvp1f6xuoR0v9F3wiNJCh6LYmLEFAlh5ChYACgkQiNJCh6LY
mLH2VQ//Yfu5MFm3A9PW15y6aZAMMXYjzhdz3xqLEzAzCfHl8U+o8fuSZpR1sssG
9TTZEFu2syUglUxo2gFK0iMUYAQZXVgic2cxRB0bIdKwLAu1414UEdufZs+NSQfV
Pvq0onr5eUBJCyx+7BKDYcwa8XTxU2DkAEKY1qj6iLN8OEAj5AJBhB2boNgY/L5P
Szm8Pa3+OTHUF5vdcaRkCv8VMOHjP+j9w0OeSMKEcxfhSy/OGS9yz0KspuWV5Q3z
lPd032ldMLnSq5//uGNm7VyRyHPKgeKHKBfp5r9nj6z8CxP2QImPQKUhjnZXSRkV
Rs4+RKZ1k5wmGZ3RSOEkePj+KLI9aOF8XKpIVGEfv+JsTRpAQP/xK1UtYD2JGkxc
3KdYsU4K4K5U9hucaUOZRGvRT6pnCkN0XLH+B5CwVz+mqmTZZF5uismz8Kkz/yzZ
+2Vm0ZVswV5xJtNUK2IlgFbHKyIM9tNouIcVLz89wdn37atjqB0qJrAH7Jt82AYS
NzktVKAObnxivIaZq+zx5fUV6hxMCpJkK200If0sd+hiSo5ePkQjsQpTTlsh3l0o
luZ7WlHIFdmtzMfysTsoKup5rynWFDW1kx3xVj6qXEGR+3pnQG/PHdPPqAXZKPxl
XvmZpMw6Emb8k981GNWE6M0rKPvo2dDXMpddgns8gmWkp6eM4k4=
=b5V4
-----END PGP SIGNATURE-----