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

Format: 3.0 (quilt)
Source: cvc4
Binary: cvc4, libcvc4-dev, libcvc4-7, libcvc4parser7
Architecture: any
Version: 1.8-3build1
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Uploaders: Fabian Wolff <fabi.wolff@arcor.de>
Homepage: https://cvc4.github.io/
Standards-Version: 4.5.0
Vcs-Browser: https://salsa.debian.org/science-team/cvc4
Vcs-Git: https://salsa.debian.org/science-team/cvc4.git
Testsuite: autopkgtest
Testsuite-Triggers: build-essential
Build-Depends: debhelper-compat (= 13), libgmp-dev, libcln-dev, antlr3, libantlr3c-dev, libboost-thread-dev, libreadline-dev, pkg-config, cxxtest, python3, python3-toml, cmake
Package-List:
 cvc4 deb math optional arch=any
 libcvc4-7 deb libs optional arch=any
 libcvc4-dev deb libdevel optional arch=any
 libcvc4parser7 deb libs optional arch=any
Checksums-Sha1:
 4d8a91a2c666728199d2fc20772c919edbd448d0 7547187 cvc4_1.8.orig.tar.gz
 a6e9c63759daf27e9b2db03ba681ff0f334bb245 16808 cvc4_1.8-3build1.debian.tar.xz
Checksums-Sha256:
 27de80c14e1c5f9e2aa4ea75566fd0b7ff2093247516d725fa22c599a6b9bf37 7547187 cvc4_1.8.orig.tar.gz
 11d16af82bcadaf3c6573d0c408bbcabe6779962926e01c1153441274165076b 16808 cvc4_1.8-3build1.debian.tar.xz
Files:
 9f7657e21fec3c4042225b0b8f513c34 7547187 cvc4_1.8.orig.tar.gz
 d4b45a5297da88b734d1a66a35a34c68 16808 cvc4_1.8-3build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmXyXO4ACgkQLIPbyOm9
Djc9+Q//Vg/ILx7K8iMxm7XsQ7CAHExDMgFoJM+2Ml3sh5CLAR5x3093I6PGDQhd
kBlre/qsGePm6pR2VgQ1St9bAzkWETq/ro5ow9QZ1DsbpKl/EhE8eI/y0KOUiJmz
b5oZPks8zYiQtjXQ573OHv/rJqR6lR434XrjNQokJL3PhZT2hPbCLIoMLZbIlhGP
yYq4uvNMzsROrgLLrZ5ALXf5n6zfMzMphiM4QvqTUthXEDUr5Ixp2Mc8Z3Xjv9Fh
K6YdX9DtqY0WqSqGaZ2yH3Egcj8Aa5P60auECQim9VWQlIbZVxDNMT9QgDNX/r6l
A52Jt/bBccrh6Q3zo/V4UoMNcdc9/8fo+opFCGtfaj/jDvfNq0tb5QfTIGWiumLz
VNfIt8JamK0w3Po6/T9YTkLGYqrrAOHGfJ2Q5DWZ8CV62F6GnIoT68IGYLABXoZ3
Cce+ILpVo93PnjuR4WGWnRGf/lYwhwaY+pY1hTIaq2nVpGfGXIXfdCqdL2z/1I28
beZhvMWVnKRWNK9cfQjybp+BCczIEHIHT3bDFD4dijVCYhrY607Av6wVIGPcLlbC
5qtXbQGV4JGXBOe2MImfmgx9JAJ1vnKcKrnpL6iylzBKVw6rJf5HY4e4cwjKcvzC
dPCBLA0AbfhZyg4IHz4OxV/NoUAYGvAyp26GkI7++9H66tvokvg=
=khtl
-----END PGP SIGNATURE-----