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

Format: 3.0 (quilt)
Source: cvc4
Binary: cvc4, libcvc4-dev, libcvc4-4, libcvc4parser4
Architecture: any
Version: 1.5-1buil1build1
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Fabian Wolff <fabi.wolff@arcor.de>
Homepage: http://cvc4.cs.stanford.edu/web/
Standards-Version: 4.0.0
Vcs-Browser: https://anonscm.debian.org/cgit/debian-science/packages/cvc4.git
Vcs-Git: https://anonscm.debian.org/git/debian-science/packages/cvc4.git
Testsuite: autopkgtest
Testsuite-Triggers: build-essential
Build-Depends: debhelper (>= 10), libgmp-dev, libantlr3c-dev, libboost-thread-dev, libreadline-dev, pkg-config, cxxtest, chrpath
Package-List:
 cvc4 deb math optional arch=any
 libcvc4-4 deb libs optional arch=any
 libcvc4-dev deb libdevel optional arch=any
 libcvc4parser4 deb libs optional arch=any
Checksums-Sha1:
 781dfa9c62bff6f75919ea83e5c2fd1cb8c7f6f1 7926116 cvc4_1.5.orig.tar.gz
 4db30c325cc078175eefe3836d0528d19ad60473 6120 cvc4_1.5-1buil1build1.debian.tar.xz
Checksums-Sha256:
 57a38c4baa35fe62c336c16e2efaf3e15411501c225167ee44d4857a735581b8 7926116 cvc4_1.5.orig.tar.gz
 f0cc475d4d267403e35ceb575365461a6ec0a661315852084b6c6c7870c187da 6120 cvc4_1.5-1buil1build1.debian.tar.xz
Files:
 f6e329763124bb7aaa3b4e86df1b3ade 7926116 cvc4_1.5.orig.tar.gz
 d98e4606a3af552affcc40b01fdddd0a 6120 cvc4_1.5-1buil1build1.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAltN7f4QHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9Qb1EACldhSWkAlKa9qMKPkdU3k/Wegf1DwIqwT6
Ce1bE6x4IAouawk2OZavLZV3z7rJUwTcZCGWUmAYTGtTJspsMSPaSHf8CAeT+GJT
ur06VIgTRFZGgatCseajePodcpoJ5w/I7P5UpS+1ONeAKd+7SQy+MfGfe6zojjiC
0xREhB9ImtBdInLOX0OLKuQYz22LOqJOo4A4zLlDo/BobC9jBLvnpSbEl6aE8q4e
vs92ovhcTrDU4HbQexl43VKN0syEqJjGMUsDGt3zQgivKxKBN4G1tXvoqmYpl+vi
WcITpMesmCoDs07APBZ4WnXogIP9UgaB0tiW11hg3xK9E1F6744M45e+8HINijwn
xAUNB3eaBWdO0hCgfqKmm7YQnTq93OiJPtwMcQTTMutsYouhT0w2P46W4DD6NX4c
0rolYLyUOXamQllsjqKBD3p644D2YK9G5WRCyizI92uAKuSAP7nptxmS5QUeNJAD
cbPejAYfdy+6bBr5CPOUfRc9hN/uXS3amC9uzlY2yW9zXXavBn1e/G90wP+4wtsW
cw4eek2+iceSYemYfCFx2Jr8GhOibiOULVVSEYpLSOxypOBWcPuqyDWJbdqGeysx
yRIB/sVKyGRQZcaGAppgohqn1KVJ1uISDjVo9oso2lKxE3ElGCfVvshGDLi3IKYh
mzb48Ea4sA==
=BpI2
-----END PGP SIGNATURE-----