-----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.1.2-2
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, pkgconf, 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:
 3bf478e692f6d1861c9d99a81967c89857e71df2 8581968 cvc5_1.1.2.orig.tar.gz
 3cd5c3e0f9d3440e035804f1df474209df788451 7396 cvc5_1.1.2-2.debian.tar.xz
Checksums-Sha256:
 f2eba3f957f5e064e6a87f0dce88fd647932d02014061c8f6a79bf188203993a 8581968 cvc5_1.1.2.orig.tar.gz
 d222819780d8afd7146a533316277f2e0c92b618de69114b9498584b36af838f 7396 cvc5_1.1.2-2.debian.tar.xz
Files:
 5ba472c11efbbe067a2b2209c2e59aed 8581968 cvc5_1.1.2.orig.tar.gz
 1283632c1cc35bd3910e8424012429a6 7396 cvc5_1.1.2-2.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmX6Dd8PHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiwX0P/i1iM7ozIumYN8ow5AkI82eMUvGywkhwPD1h
HNxn5x87N78VNX2m4wV2/jIlt+rVcbac7N1UXd6qqi8wE91sFe5Sqajqty5rJX5Y
fveJaooL1ZiCTqiSbXTpPeDHWW99RkLoWUGO+/S+lmtkBXY2FKi9nGuedlxkSGHg
pFreoSrjxLLj2vpKwjcbUd00dzTGBa5/VLPAdHy5KLVJJ/u45TqVF67eh0SWd0se
25I8CkH51XDV2K32FVh1BFheVTT/1GdqahvpQUsbaAN3GCgyqFWBvSuxnTxd/8Yg
1VL+iDXcwU2nWunxfay+yq6Pp/GPa4vv3uz0Qe7jV/gH1Ddu7mpYhU8nSNJGubPG
NkX8dFTsuRYqgQiGUmxavJHbixjMlctLtqcP3uOFxNkQvUvs0/CJnOZoRNJro5pv
RfrpJ6R2N+AsJllXzFksbyQSl5Gw4H84LsC+wDDGjeHDAxVX8hFo+D+EnE1CGodt
kbFOTgpDjSxH7IheQWxZ2JPyOHI+unYw9nzNZQs0/0N7swYsiqUDEhiz/9bHyZAQ
24m7tX1Rj8zCeHQoVhf4kH7o7mZAvPDd+ngX5uqlGiudk+sD5paxvF5E++hfYBni
m2ee7AbxNvq5vaVbNl6Yl5Ys0MSXZfOpKtr/VpLEn3M6RI04ecnWrTjhBzeD/nwm
TXPhPrsx
=rZ0q
-----END PGP SIGNATURE-----