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

Format: 3.0 (quilt)
Source: cvc4
Binary: cvc4, libcvc4-dev, libcvc4-7, libcvc4parser7
Architecture: any
Version: 1.8-5
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Fabian Wolff <fabi.wolff@arcor.de>
Homepage: https://cvc4.github.io/
Standards-Version: 4.7.2
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, pkgconf, cxxtest, python3, 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
 d9bc1f89b54867fd89409a5cfee213656a35c24e 17608 cvc4_1.8-5.debian.tar.xz
Checksums-Sha256:
 27de80c14e1c5f9e2aa4ea75566fd0b7ff2093247516d725fa22c599a6b9bf37 7547187 cvc4_1.8.orig.tar.gz
 8e4d82bf9c25abac5943e7f80859159d39ad43128c4314b80357a01e466a0efc 17608 cvc4_1.8-5.debian.tar.xz
Files:
 9f7657e21fec3c4042225b0b8f513c34 7547187 cvc4_1.8.orig.tar.gz
 2f0452d02385454b1646beee02256bd5 17608 cvc4_1.8-5.debian.tar.xz

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

iQEzBAEBCgAdFiEE1Uw7+v+wQt44LaXXQc5/C58bizIFAmj/OBMACgkQQc5/C58b
izJeeAf/T/gH267Ubga+srlv8bw79NXrwGBUau8NF4ewDWBLh7K7HoxjMTc7Agd1
XFPTfexchyyGhzujVQKopkycTZr1Dm5MfZ2WWCDaiCxzSXID3rGFGUSkA3APqFfo
vnnirGd8SLmN9yLYJEm8kdkKd1Jk6zkql2KjcQv1XATx2CJsHjEql2/zNfXqSbPq
13u6pk2ebCzqXRs/xvLwi78uxddkf+0C3RPUAmAPCw6TawlFG70ni81uE5t4Ix3X
1PhRMTZ9cHscAi4lHNLi9iZ+ZpkJWZmokizoZ0xwWPrscLzXZNMTgrJJtZEktYcZ
5qNevtIsGA6L2u2MPLxNuUP80KBCUA==
=/S77
-----END PGP SIGNATURE-----