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

Format: 3.0 (quilt)
Source: cvc5
Binary: cvc5, libcvc5-dev, libcvc5-1, libcvc5parser1, python3-cvc5
Architecture: any
Version: 1.3.2-1build1
Maintainer: Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
Uploaders: Scott Talbert <swt@techie.net>
Homepage: https://cvc5.github.io/
Standards-Version: 4.6.2
Vcs-Browser: https://salsa.debian.org/science-team/cvc5
Vcs-Git: https://salsa.debian.org/science-team/cvc5.git
Testsuite: autopkgtest
Testsuite-Triggers: build-essential
Build-Depends: chrpath, cmake, cxxtest, cython3, debhelper-compat (= 13), dh-sequence-python3, help2man, libboost-thread-dev, libcadical-dev (>= 2.1), libcln-dev, libcryptominisat5-dev, libfl-dev, libgmp-dev, libreadline-dev, libsymfpu-dev, pkgconf, python3, python3-dev, python3-pip, python3-pyparsing, python3-pytest, python3-skbuild
Package-List:
 cvc5 deb math optional arch=any
 libcvc5-1 deb libs optional arch=any
 libcvc5-dev deb libdevel optional arch=any
 libcvc5parser1 deb libs optional arch=any
 python3-cvc5 deb python optional arch=any
Checksums-Sha1:
 f1db0a050c9cbb6f69de0d900c9c14e7fecca0b9 9250970 cvc5_1.3.2.orig.tar.gz
 acc7d747675af11d18731113e9812ece108e1b4d 8596 cvc5_1.3.2-1build1.debian.tar.xz
Checksums-Sha256:
 85a9cc4e1f80efcdb235e89c9f361c74b1089023ceb43f38c2d5e73a4e2db47e 9250970 cvc5_1.3.2.orig.tar.gz
 ecd0fbadf3273619a25bcac9672cb680b5b26d1786c8b683172b0b44775240ca 8596 cvc5_1.3.2-1build1.debian.tar.xz
Files:
 8dd6d26279a3708de662279cd0efeeb7 9250970 cvc5_1.3.2.orig.tar.gz
 e527f748548c39deac5c78ba54725346 8596 cvc5_1.3.2-1build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEJeP/LX9Gnb59DU5Qr8/sjmac4cIFAmlziYEACgkQr8/sjmac
4cKuHA/9ES5NuBrQqVhXMJ9/VO3qT7dtMLt9zpDAtxSLdggNkqEOHataPBxfHevb
vnNRBUZtJ5NlaMQtTmAvZSrQbDD7JipXtCZt9WbFEtF2/34VQUEqslvrZsP/SpcB
QiuOUr4dobPU/bjDFx/d7aoXcUrm+VKT9LyZD2rvfEfyRmzY/cxDGouPYH/kL99O
66Czbb9p24oC3G1megoWmZuAJLtkvJaxP+QDnJFC7IDimN+QcN2olFrmQGIUMxIi
s7XY2KeyqBVjihEfLGp471mqpCppYxqhbGy5F2eREhJ5Knnf5Ijkt4JkNhaJ4ANY
Td7Ach5otFsbjNrZ13lnHPl+tWPJWDP6B3HJt5sqvBh+DLqXG0C7+JJyZI+oIEkL
pY1Dtshyw8fwrylLxULZlHSZHGNO6z/+fLEX3nMiH4RhSU/qKGEFS17FGM8zmI5L
OawMAdIS9qqVJi/BbIs02ovA4qNIkUBTOfTqsebeftvfjp0p78ubOP22aVDEAZ4N
FdNxpuz1XvBE6STyhCl5vyM2fsVXoP2HjyN5cagyEYZvv1wP14hOgndFKibcrtum
4V1dLCWP+H9rGtgGVnX6fAF5HSuLUSpJxT8Q5qBelRgrwTYkLcCwWpW7DmmEmr8K
D3ghJXDGrouLt/HoyAhjhtgEzYDCVne/auCffsUzwMKl/oIQbNc=
=kTNQ
-----END PGP SIGNATURE-----