-----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-1build1
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 ed713eafc93536f4a445d3302650298816605a51 6576 cvc5_1.1.2-1build1.debian.tar.xz
Checksums-Sha256:
 f2eba3f957f5e064e6a87f0dce88fd647932d02014061c8f6a79bf188203993a 8581968 cvc5_1.1.2.orig.tar.gz
 cce05bc60806c1602dbb7d84cddab07e9119a919ddbcaec0f0ff1790401e893c 6576 cvc5_1.1.2-1build1.debian.tar.xz
Files:
 5ba472c11efbbe067a2b2209c2e59aed 8581968 cvc5_1.1.2.orig.tar.gz
 a92ec4abdb08d5aa8819782e4d76cf9d 6576 cvc5_1.1.2-1build1.debian.tar.xz
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>

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

iQJOBAEBCgA4FiEErEg/aN5yj0PyIC/KVo0w8yGyEz0FAmYJpFIaHHN0ZXZlLmxh
bmdhc2VrQHVidW50dS5jb20ACgkQVo0w8yGyEz1EBxAAya5JbZjzA938GQR4t52S
0Z+fFnLD1X0Q3y456pqFdA+Vg9sp8FTZoyZg+NetwsQj33gWJa4ObcFigj4XCyF6
uikqL1PVEuXmDzD5ciICKfmYIfJb0fsjpdk1MJeG9lUfOeDZFkauC7gYtR4dJMbe
beUhTcxpWlUmju9kudmynoY/HH3YlIgPY+F+O24I6d5yCoBYzNONE/WW2dgw6/2o
Pk/9g5k9oHKxAD6Rg6G1R9zzYbhFJ3XWFGl4A03fnbA3TxcIF47fjBrFeYfr9wj6
BsVHpdbn9BRKxfVIdZ3hnRvUzB5wIJ4HvvVyIOy8i+krljYwWQZOsbVyV5x/HW8m
7PMdgsewbRM/99tVbfe+OEc7uzt06jT/QjBUDw9Gj+Jm3DO37PL12kF9uT6UGsu6
53tpqx1PTdRZO/AUnZ+MMHS/Qk8L5lZxRhDiEpzXRN1/U5p1oZ9lPlW2lyc5W/Bh
TLnRoMAc6wpzNZNrpc4bZ6avS7fBq4sdfbMAHHe1Bibo6iS+wHAwcJjBM5twwhx1
diKzywGiwyNpR9R4wb0+ESHc3i/NXb9utY6yR0/2b0vN6y35AKnse2b69hE/XZJZ
hwpsMIAP4r5t9kje4XvzQnlAxQZ7zdmGBbDDWxgqonEt16g1GJUic2tR2eGiQI+u
0GvkZoSVw1JcUe9nuBRVmD8=
=RLNL
-----END PGP SIGNATURE-----