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

Format: 3.0 (quilt)
Source: cvc4
Binary: cvc4, libcvc4-dev, libcvc4-7, libcvc4parser7
Architecture: any
Version: 1.8-2
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, libcryptominisat5-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
 72a3d5679f49fc36496352c6bcd1545be5319a60 16456 cvc4_1.8-2.debian.tar.xz
Checksums-Sha256:
 27de80c14e1c5f9e2aa4ea75566fd0b7ff2093247516d725fa22c599a6b9bf37 7547187 cvc4_1.8.orig.tar.gz
 330e282f0938dd468ec327791366019da29a77bbaf91db553de06ab32d8a8aaa 16456 cvc4_1.8-2.debian.tar.xz
Files:
 9f7657e21fec3c4042225b0b8f513c34 7547187 cvc4_1.8.orig.tar.gz
 723fdc5b2e1998123905f4e27ae12d56 16456 cvc4_1.8-2.debian.tar.xz

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

iQJIBAEBCgAyFiEEI3pUsQKHKL8A7zH00Ot2KGX8XjYFAl9kCcgUHHNlcmdpb2Rq
QGRlYmlhbi5vcmcACgkQ0Ot2KGX8XjZoHBAAkMHz/gVAnNGLfTUn+fy755K7svn/
d5DFhiZ507hDTM1t/Dritbvf5RpdFun7K1ytsRcFcJc7bZpYMgAvaP7Bw3nKfSgF
gfPUR/0Kc0af8dCoSbXh1T2ZC8f3ZftuIXf6e7X0XprBbbzi3eOpfVJoZt8C3jfy
PjE/AsAw5eAnBf6FHBVXUutUSJMGXwpJPkTcxGXcEjckItg1mUOI1UjSVkm1WR/N
WYIx81UQ+qUIJ3Q58w7oNlX1QjWa7md2D0+3G6Jr1NDwpFiERVGN/hJzVRw5vRn+
bC5qqcjCWpnB0+wcihyb4IiUHdH2hcpFNHi/iaq+WLC4wiNRAACd1YK5AkOoAHLs
TdHD4nnbYZ/FQufuCa+fPCGBmnB3j1pcKogNRReGYjhIEcXg9ORYoz2YFjEJFhrj
bsoWFjqPvnQ21EnQQZw4RFIxm2kXtZJqRin3JIo7+vpbAjarl0Q+7miMLRfQ0YLw
acq7B3Lecjs4wp1fIDVPZwd2k5hV68h4N2t/1OYvpfSTfcxylXQRZTKAUWxgOAV7
LQW+z79nTA7gCAQEOveAER1RDJcxxaQQAHidOsCXsUKms8TV+8ax68+cjzTOf2yt
DA8ZH4T7CjgXCRtqqRGXJaSFbQtmOwJGOGg+VeGDbmotLddwpiM/xcbjrXGQS+Uo
13Ok0JZ2CzxWn9k=
=1MgQ
-----END PGP SIGNATURE-----