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

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-4
Maintainer: Christopher L. Conway <cconway@cs.nyu.edu>
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
 d7c10278af7749b514eae40ea8c20c8b771f069f 9058 cvc3_2.4.1-4.debian.tar.gz
Checksums-Sha256: 
 d5eae61a66da81ad2a909e0793feca6a13f807a498664a2504189ca9267b3615 1175794 cvc3_2.4.1.orig.tar.gz
 0f26a61ad826198f41c019754e0b652e7a42499915e69335ff45046abdf1868b 9058 cvc3_2.4.1-4.debian.tar.gz
Files: 
 29168e0511761f39f4d09277e009d6ab 1175794 cvc3_2.4.1.orig.tar.gz
 df7d80ba6c7d8c623f9ef6e845384697 9058 cvc3_2.4.1-4.debian.tar.gz

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

iQIcBAEBCAAGBQJQL91oAAoJEDEBgAUJBeQMlV0P/Rz9QwT17+bQJE9yB5X8GTAP
aRKu4exE/rWQccK4wPsBYcbR+29d/ugXnGNZHWbZ88uFWgHpfkz48LxNEgvFm92/
JzXdPcQTjVB1Dpq6IyinxrD9s1X4t/PIbB6vDj3HyFCrfGylii6LjYsac+p4ltkS
vB/bNBlRMCFr8P30/yhbN6ZZ6n60RWEhqEwIIYXl6vKiAFYp0kGXY/TOaM/zoNPy
g56Bgzqz97DHeysdmV5rGYyx2qswm1jaZFMzJL+e9vIR1E0sHR0wY3f0eRqBvUrO
GAgjiEYPoMp3vL2hMHKFUPA5B25Q6kADCfLvW/mSuDSUSFdG5Z0EGOTwAl0TTdkr
hOTpsjeJkoZZYY5Hzv11cCiFsPfZu+uY/vHLTgF7eYws7eWxp8OaX6kcs1+D+1CJ
SVH9KhlSK5MhrkwXvBVP/0DEpTYR9I5+aksYCgycRgPHKVT9JFhV1x9VylGoO4Al
uvpS9nm5eYmjObDUWVN2QtVKpTyNUN24ORW3nSh5A6G3x0frotq8EtZJwXjBbZO+
RuOyQ5vfbbyQICR43zhbjcdK1YQC4bK02Lwlmfvq+9tIzlYlTYgILodcXA1G7PgP
0/vDmulO4KG7pV39RrP9t2xmIKK54RpR0Zd4jByPSKhHgXoFQXgWpCEtJAeqPB2f
9XWJg0Y2Jvj2ixE8OOZ5
=YNwS
-----END PGP SIGNATURE-----