-----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-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, 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
 e0df5706673fd98cdc9d21d5614f7a076c0b39ba 6472 cvc5_1.1.2-1.debian.tar.xz
Checksums-Sha256:
 f2eba3f957f5e064e6a87f0dce88fd647932d02014061c8f6a79bf188203993a 8581968 cvc5_1.1.2.orig.tar.gz
 037f379f562840c913821d1dcec9caa67424e609dea8943f6d38cf8734759c57 6472 cvc5_1.1.2-1.debian.tar.xz
Files:
 5ba472c11efbbe067a2b2209c2e59aed 8581968 cvc5_1.1.2.orig.tar.gz
 89ed3dcd22aaa6b0a61c6169d9f8c9ad 6472 cvc5_1.1.2-1.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmXj47wPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiwrMP/R4JyUPqsT03zHHzqT66eC4ABcx7jCJUdGaL
bMruRvdSbzQezjnI5UXo4ClxhoUI5lNSx1sbLtjU+c90telYHDi7D/q3bz3yvi0g
RCsPhYI4kUivFd+dRSGnE1FBv706Iebt6NWoqzt4dg9GRy55s7MMfYhjBWttmPaP
xm78ob109PbTiJ6p6KbSnk2YtA4uOwkUQ1YryNZ6fq2KYKFrYs5E46hVLLoAibe+
P2TdsyPFCNOOBB3qyG/GIwK0jSJXol4XHMm/U1jxS9KY68Zzden3HkfOaotOF7iq
eHAcV4usxmS5zIvUI4mMiHy3GVS2Vq0dHIYfsleb/bsVF6DuGPEsgi2eJOb+n1oj
aplmL1DQKi+jRsJTG0KYdqVqsRBWfMLW+RX7j9nIM3iS2fXJ1ApwswVk0GV3PSyr
NY/e9Ik0YFZGClPJoTxq0CxTQVODJ5gM+ZJY9LOqS4mUtUSFeCXqcdGk+be6O/Ou
GZuAta1JAg7aY0LrlnxWjMuD0qZRlDOwXuGqYccbcA57POzBeVIPlYISRsTsDSih
Xd17v14Ib1xT4DZnuunifC5P3DYdyolgWORXoLpNtG3qF9YpZXSJbAkkv5pMCFrh
+QHv3usA9bn0l4GYFiIhliZ7+NhHaezIC1NGXmLFIxf5nn4p6HgU1G3FK1W+xEhm
+Q2Y3q7O
=DeDD
-----END PGP SIGNATURE-----