-----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.3.2-1
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, help2man, libboost-thread-dev, libcadical-dev (>= 2.1), libcln-dev, libcryptominisat5-dev, libfl-dev, libgmp-dev, libreadline-dev, libsymfpu-dev, pkgconf, python3, python3-dev, python3-pip, python3-pyparsing, python3-pytest, 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:
 f1db0a050c9cbb6f69de0d900c9c14e7fecca0b9 9250970 cvc5_1.3.2.orig.tar.gz
 de1ee3403b5ab06197bfe4690734c610bb529fde 8532 cvc5_1.3.2-1.debian.tar.xz
Checksums-Sha256:
 85a9cc4e1f80efcdb235e89c9f361c74b1089023ceb43f38c2d5e73a4e2db47e 9250970 cvc5_1.3.2.orig.tar.gz
 ee2b9fd74ca40fd3c16d4ab019b4c07a5ef125b62b3e40ff7a2ceb42d91d5195 8532 cvc5_1.3.2-1.debian.tar.xz
Files:
 8dd6d26279a3708de662279cd0efeeb7 9250970 cvc5_1.3.2.orig.tar.gz
 5623a158479115de06ad2d2a6494cd3c 8532 cvc5_1.3.2-1.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmlLO6MPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiaXMP/2/NTl8OaZOYHdoFTgNIjFDkZLoQm0Cg6YIn
ZTDpJvkJBEgMoc98ILTReqVrWBBSQtCaC7FWMhbOqel15m/o9tw9G10UTYc0IGFv
V/jkoKtM1A7sTWxToOYXCcCkuti6uVT1IaMVp0FYHquCRCBtcgWOWfj1zfwj/rEJ
bRqGb55ZpwCX553D/axQsQ2pHaLBlwP5lvuSR1PfGK+bpyINCXihL1PJWYucsF6X
Mt6NTo1zOXI31EVh1AtHpLGeXGXJwLOZ+ES+og4EEHHqtBjd1p/iDYp4CtSM3AyZ
ItaFRm8HT48S5XAtlM9/aOt1md0/5qg21xODSr/NjCYFo7jnQMLNypZk92acqQ/0
5IsgHUStf+6LIqC1imJK8BCiHnvV28WRbJ1VhXBbwEyiG1zNE9nln8fOQYu1bgxY
453EYllAyvVn/9SmnMqk76ZAZUnVbpIuB/RskFOhzFpdrmjbi5C2CjPQyS/91/o3
0Eo5Q4O49/qdkTKaoHJ07NMkLmi4U/f+N1Ka/TN8obXutEEyS3wXOCwXSabWPGwX
34YDDq/WvjqFkOgRsbk0Y+QXdMxX/HAuLnwiC6OwDMv7+hsz/7vH4ZQNvm49jPX1
NcpKJzS2uOqIYpK5T5h5JBFyK8Nrzk0X25eINZV9Dj91slp5D58TOQK+IxpT+djj
dfCD/sha
=Txsg
-----END PGP SIGNATURE-----