-----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.0.8-1
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
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, libboost-thread-dev, libcadical-dev, libcln-dev, libcryptominisat5-dev, libfl-dev, libgmp-dev, libreadline-dev, libsymfpu-dev, pkg-config, python3, python3-dev, python3-pyparsing, python3-pytest, python3-setuptools, python3-skbuild, python3-toml
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:
 fcd4546b558244e50ae7ac54b73f67c08eb319a0 8393754 cvc5_1.0.8.orig.tar.gz
 a5a5a512f93a67234c96555c0e63bf88e3af9615 6364 cvc5_1.0.8-1.debian.tar.xz
Checksums-Sha256:
 9b61c6e27609db154657f105d7271a03b7798047b3aab1ca2ab58910fac788ba 8393754 cvc5_1.0.8.orig.tar.gz
 83aff240721ed6dfe2fc08592f9c0ec18be8c07c92f03f018f3cdab3c65c7600 6364 cvc5_1.0.8-1.debian.tar.xz
Files:
 39803f43a769b2aed6adf12ab6373563 8393754 cvc5_1.0.8.orig.tar.gz
 72aceda61f5eb3d11686d84063c365ef 6364 cvc5_1.0.8-1.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmWsg0QPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3ii2b4QAK7lIHYnG3lsi6JT4/3B3TRLu2xnUVemxusA
NPYwwCoVU6OooYBkHeyiUd9K8JAz+BnL/BBUvNEK+42bnGAMu0J4GhxriZEeBJcq
4pFoTOA9UW/mZgtNVv8NrdL1TQoncoBqz79Lqq00eDyWnN5fli6IOBEoNTXIU7BG
IKw91dr2IVUs6ES3PvEuVdAoS679ZKAq2XMNZNJt2YViSMMSIAhdgLVVzeQX4+qV
rX14xyiT3CQDb/dbpQ2soEitsB5+ulEERjYOOnFnaol6yAr6fVjWlGvUqd9wxz4Y
vCLubT16OMbGSEGsSEXX0jnJyez57Jij0E3dfspqG+QGWHZ9m6DqzxhcvS2rUcPD
il06BgYSZ75W0GRFgP9MKdpHMcg2EYS0gk94v6WEyPhaSlTYH7aUFS5Ex4XWcSxW
punJcIPtCBjLcWZqO5JhuNyQ4Xtk00Xi8hz5QFSKOsVdaV+rr/6fGLtUH3XCKbDp
C/vNaOw5HRY0qOlJt1Q7aZxjOrFCc2Q8U9MK/snsAlB7pPOvZ8vPe0/T3qqEz1oT
fCTHBdyeR8r0NSj2DlKNXQwgmSxKl0MmtW1XNfIvKe9QyG9rhPmSN3LAuZlpD/Jk
iyUmp+53bToim74X8O/UpjJRVfPJ/h0oM3S3khUHqcSWPzQ6IXoq+jqLFRUMOV3A
4KdQgaqh
=H8/T
-----END PGP SIGNATURE-----