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

Format: 3.0 (quilt)
Source: cvc4
Binary: cvc4, libcvc4-dev, libcvc4-7, libcvc4parser7
Architecture: any
Version: 1.8-4
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.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, 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
 6c9035d2fab82a14928f7fd7469c55b15e902029 17264 cvc4_1.8-4.debian.tar.xz
Checksums-Sha256:
 27de80c14e1c5f9e2aa4ea75566fd0b7ff2093247516d725fa22c599a6b9bf37 7547187 cvc4_1.8.orig.tar.gz
 331a3a0995a679105135b38d89f80603609c8bfd80d590d1fd549a3c0077e691 17264 cvc4_1.8-4.debian.tar.xz
Files:
 9f7657e21fec3c4042225b0b8f513c34 7547187 cvc4_1.8.orig.tar.gz
 9851ea44e085f5f35cdebfa197070c26 17264 cvc4_1.8-4.debian.tar.xz

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

iQJFBAEBCgAvFiEEj23hBDd/OxHnQXSHMfMURUShdBoFAmiGMooRHHRjaGV0QGRl
Ymlhbi5vcmcACgkQMfMURUShdBpE1Q/9He9ULy2GNgg5R/iU+tecjNwlBwNo33ow
6uy2yg+MxCu5tkfR2sP4Zc1Fr/5r1sLdBrvFtNq6RwKz9ORN2q0d/4rhstxiL9dl
0Q9Gvs5DoP6YsEFKPyJiS4dSVgdjznCZvaMbjkUIQf1GKEfHgBTOmvADTRIeSepj
lxnG5glAtQxsd8Xt4g3XxBIl8VBIs3A3cyOpLS4pxo1qEXl6A4bQ7QXVCy8rr+1I
Xh7r4VD72llc3SjM27uuc2Cx3wjvA1PLJlYzT8PyktbwzlQOHDuYIWVodYVKzKRR
kgxyIsAwPocRzfA/ebHm+I4HVn8VEgPM1czTSpZTthCtuHvPHKXWFVrX0MMxYdgH
UenMMc3xaG/ikEyK4QdkbvfJvlay1fUV1ZhIML1zaq7vruKM5ALF2DDkuoho8x01
XOLaisaG3hoKtR6WUciO7468Xvbc5YDwBVqbcezMBQF8ZRFlEpXpRWbhKTp7NvWj
/ptNOuNrdDpgPTvVx5awGyDl7g36iKkj08n2F9bGYouDxAflii/tbXZOlyjzt1LK
k8xSA0CLOGlXaienXn00ymWTj+EXPjjwYjtE2PxY/LWSER2m0TFldImZOyDxpkOG
8DQDV9UiBCmPi4oVfx2YzFp0i2QUNFR3waNxypyIi67ARVoZAxpgngsw7d0nQJcb
NuOh0kzj7a8=
=x68W
-----END PGP SIGNATURE-----