-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 3.0 (quilt)
Source: cvc5
Binary: cvc5, libcvc5-dev, libcvc5-1, libcvc5parser1
Architecture: any
Version: 1.0.5-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: antlr3, cmake, cxxtest, debhelper-compat (= 13), libantlr3c-dev, libboost-thread-dev, libcadical-dev, libcln-dev, libcryptominisat5-dev, libfl-dev, libgmp-dev, libreadline-dev, libsymfpu-dev, pkg-config, python3, python3-pyparsing, 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
Checksums-Sha1:
 62afe28182342c622cd938b68ec15f3ec8cbae12 8431503 cvc5_1.0.5.orig.tar.gz
 2f83c8d1747704a19ea5f702d881f9886d32b04a 5988 cvc5_1.0.5-1.debian.tar.xz
Checksums-Sha256:
 a9705569fe36c70291dd1eb6dc5f542d33da51f82da46558e3455ed6995b1b7a 8431503 cvc5_1.0.5.orig.tar.gz
 70463900ae6be8db0431bf8abe0e3be347454cfa621ef81c35d2da1e17d700ea 5988 cvc5_1.0.5-1.debian.tar.xz
Files:
 57717622ec2afbc8664b6865c4142833 8431503 cvc5_1.0.5.orig.tar.gz
 9a4a6318a0c1b5b3d11ca9ff5187d574 5988 cvc5_1.0.5-1.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmSR24kPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiVw0QAJraXztd2grSdBJBziHlCGwYa50O7e+Pwpm3
k86QChaOMcu5sLHPdkYnwJjuXZk2ZCjwUxZ6Q8U6EyjSNyafyT6yhG3ubAE1U+B2
ZbfRFhyErOY6Vz3tjZ3XoqE5wy8SG/oDLgmFzqDVQg4OvTlN3lm3KS9DxwtQd8PZ
OMHz130M99RSlc//rOTjNfdNVzWd4dc7IZlcrHGu0FV/I5rntCZe3tG3hxw+h94l
9v0lmQmDwnZ6ELIw8kwKfruxVl3ivzOxX4d6jKG1lFrsZPRcX/h97QjiCeXlvaNd
Zn1QwOG3VKFfErz5ho0yis9zWvjVaYfmJtlFZ0klCiNB6ggfAQWiFUTlg3HX85T6
MVrgHGaATyZEmI4za6gnXvRrBDFv/eL1MKkK2nYCZVP9bPCku6B4Mj880rs1zr89
2Ef8f5UTdsry8YdsU347cRcdpQGSxYEDpxQ1tBKnqonn4Ak65XQD3jAvuBPnNIG6
zwxrBqbe6LFLjAzL0z+Z0SoaFdRLxHJ17BJnp0Axw+nZBMrsCVjm4y1PQvVe9YhO
OlbB5NVR/4pYWmO+h4WKxm/uQDZ+m2ng8ixkxSuwbLBAuLREGgBUnxW6c3TYqG6B
aJ1ExbG2IvkczoWHk8Q/hs0QjWD6PICtF5Y1D3bOdxR26SWJRa1ZpucQZt0uZAf3
0Qlwgt+G
=rzyX
-----END PGP SIGNATURE-----