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

Format: 3.0 (quilt)
Source: cvc4
Binary: cvc4, libcvc4-dev, libcvc4-7, libcvc4parser7
Architecture: any
Version: 1.8-3
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
 65d5a6a58c48952a5ab85d237fd97f3668debe61 16728 cvc4_1.8-3.debian.tar.xz
Checksums-Sha256:
 27de80c14e1c5f9e2aa4ea75566fd0b7ff2093247516d725fa22c599a6b9bf37 7547187 cvc4_1.8.orig.tar.gz
 2352cb3bcf46a49d70fd3f5d46664a85810ed2f17fa12b6038e387ba34a426e2 16728 cvc4_1.8-3.debian.tar.xz
Files:
 9f7657e21fec3c4042225b0b8f513c34 7547187 cvc4_1.8.orig.tar.gz
 046098e2ea74c89f4bda2efad82b4af2 16728 cvc4_1.8-3.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmNdgvAPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iioGQP/iJ21YedadfuEWIN6fK71FLrdlGqQhcr9dcg
2mrBOMl2gSK+jXF3MFIvDlInLQjPVZrzHHBBji4+eeirk8QqYanKV+j2JZe+e0FH
SNeAejyHZd2ZINbtggNP446FHCaUNLEHSi19MMHq9x+5OsHLtEF90FeZZ29r2BsY
pBHHOOo4kr7WBK2BNpZEc9xTdvB4+/xz9gq8xxX59wZViPT2Pzn5TW9yf9M+yiqd
K3ovBzmRS42r4s2R+YaQPC4qniiikCH5AAfYfXcAYtoZOvDS0zEeC9KgZkjR0+CE
l0SQY83DGR0KAiZiwteNMsMpbSwWABDvQ4xJ+VWzpVzZvrFmm4P9UIlA/sCLbWWX
ADHfP7Lc9I1t65Nbwwi8z9LWtrdvWkzefPfNuPMBzMvpFF7zRBHaUnhzGXF5Fizx
ewkfSLsEqqPuhiek3V84k32lt+fIvmRCrd6i+cPDUpLRf7g4h4fjZra2pSaaAV0q
72euu7Tryz42VLu3t3iSzqzTp1aZ05d/7QM+19QDeT+mAJc7GOZSAh2wZBh6o1P0
dsh3TN9+Ad6oIzO2ziK4A02mhd+pAeteYOMSU64zgoyXNNUT6yGM/lZq5nY5yXNY
cYbbwWpq1wnukOsVeskRsgIApRExDUB1HvpYZKDsPPcWEUMIt+j+kwFnswqhj1l3
Y3HpOvtd
=V8b3
-----END PGP SIGNATURE-----