-----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-3
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, 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
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
 cf66beaa8343e76b19eceb0a6e54e15645a9a292 7392 cvc5_1.1.2-3.debian.tar.xz
Checksums-Sha256:
 f2eba3f957f5e064e6a87f0dce88fd647932d02014061c8f6a79bf188203993a 8581968 cvc5_1.1.2.orig.tar.gz
 50ecc68f94688b620ba5e1c45caf446e11fa91876db8d70a7dbdb7d94538ddc2 7392 cvc5_1.1.2-3.debian.tar.xz
Files:
 5ba472c11efbbe067a2b2209c2e59aed 8581968 cvc5_1.1.2.orig.tar.gz
 dcfd2db73d4e000959678c61786b9afb 7392 cvc5_1.1.2-3.debian.tar.xz

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

iQJFBAEBCgAvFiEEj23hBDd/OxHnQXSHMfMURUShdBoFAmiGFWIRHHRjaGV0QGRl
Ymlhbi5vcmcACgkQMfMURUShdBr3IA//UPb9nwIXxLdrSpfvmSMhXzA45uGQrXOd
k2V8Kw/xGFDO/E9d/jxdDBesk3123pDNhcglIjKpiLOnz2/3tMAaRk8+5Rvy6oIe
mTsy5bLDUHhHTQBVPulFnLtGN5zWyarMFCtCPVB2A6kPT/siXtlaXwuSA6tQxc69
PxASOEVOqngLSxI29NfmV94ToM/HP/XutQtVj/1P5vYmlqcXjAU6MJ5boVViEaN2
8WgZzjqv9q8Cq0i1MMr65L3mywyjp15gkGu+4vLEIFx1U0jIKx0spxrBtfq7OodP
xvzH7QOk+t/aAgxtAH8u7O/XNzTAlIyCu3Ll0n6923pLAhvwvHGUtTpnbXB/PC2j
Wz1ud1tNMp1WfYSM84B6cZFJOU6fMzw9C0RNWdSburuWUjjDFSGyAb3P2btWj2S0
aCULUb0j1Sr7J/g/Kw1O2hR0eeeHWeA1zfap0cy+S1nmFmu6zq5XzkeptxBgBKNI
gyp2yDU+qSISKXKU7irWeOlgPR1ueGNn4lqzp+XUAf76XpBf+kEDvOqsiXwkor+5
UBFIKAXDPoL/4iGp2QynvcaPokggOpIjWGDhhNBnHPkjjAIHowe4gH/PdAl+27VK
5ZXD13cQUCFxERFKz1gUrc9KojKCj0nyy7JZJPHhvl8mMxMXyLn2205nDA7VMDi6
6IDuQ3qcYeQ=
=t++u
-----END PGP SIGNATURE-----