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.10.201403182124
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
 ff3a24e3f3a0680abd0db441bb404a95684efd7d 9125 cvc3_2.4.1-4.10.201403182124.debian.tar.gz
Checksums-Sha256: 
 d5eae61a66da81ad2a909e0793feca6a13f807a498664a2504189ca9267b3615 1175794 cvc3_2.4.1.orig.tar.gz
 70bddb2becae760454daedafd5d3d4c65429c4505cd0e78197d1cd6dae809d65 9125 cvc3_2.4.1-4.10.201403182124.debian.tar.gz
Files: 
 29168e0511761f39f4d09277e009d6ab 1175794 cvc3_2.4.1.orig.tar.gz
 fd67dbc058b310ad3147da83a44af693 9125 cvc3_2.4.1-4.10.201403182124.debian.tar.gz