-----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-2build1
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
 28e436d3736ccb6ee7e8b6c6166fc8b1f97302a6 7476 cvc5_1.1.2-2build1.debian.tar.xz
Checksums-Sha256:
 f2eba3f957f5e064e6a87f0dce88fd647932d02014061c8f6a79bf188203993a 8581968 cvc5_1.1.2.orig.tar.gz
 cff91585173c797797de357b752f8ac87deb51b711128e7355195d77a9f97a5a 7476 cvc5_1.1.2-2build1.debian.tar.xz
Files:
 5ba472c11efbbe067a2b2209c2e59aed 8581968 cvc5_1.1.2.orig.tar.gz
 a9f6dd219c1ab4fbdcce723692b5bc62 7476 cvc5_1.1.2-2build1.debian.tar.xz

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

iQIzBAEBCgAdFiEEVovyKmYzfL/Jprm3LIPbyOm9DjcFAmd36hEACgkQLIPbyOm9
Djcnyg//RbYfFKSZU8ITYf/mMHxjEpdX282MyrQVYvj4cMv9gocRM911LIDn9IhF
1xPNDVE3x1ieUG39NDPLTCPBHy/eGt63gIucMY5Q8JpFLL1Fvwp1DcgjzXSUDSas
xdRbPmY69ujK/hBJygO8s6/R72T37bCIuTF4Y07I1rYWm79D/Bh6VsRCu1hkwrTL
g22VPizrSmuPBfNxbNRE6tyeSsdy3nYhEcvzx4iGjsdTcvPAIZrJw/j5F8rB6opj
uUvEz6gseTp/x6YMpklWCsFqkwhEXBzR0TkDfrZEnfBK53fNHyRNp1wWSE8yW1C6
Fk2B9JgNGJm3o2zM1Lh1d9Y8N4xiCt4j120yFNpuQyF4x2ztTdsU3dpRupj5awRC
VvVrYfeynhmNqQCa/UXYs6zHNY1+UjFIULf5oHFCFpG94W3BoMRTd3rTq82TziGN
0vJzX+6zKCg4vyXDimg12/bECDjeSp07DX3l4Du//4Hn5qyOiHVigu8VPlHVUsnO
mpuX8R9ybpY16Xy5ZGVL1pT1BYRHaBzQUMXRZNlujD0K+XfdcU/2rSZiqaxVOK8Z
w2lLirmJXTbmFSphfKoPri03B5Bj+vwls00ANIJzO00WsZj9Cyye7UaKVeO5mjdb
pNp4jyEwjaA2dCazHJ87skcSnu6tmYLU1VyWbrpG0MZGtLAGFbc=
=yAgx
-----END PGP SIGNATURE-----