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

Format: 3.0 (quilt)
Source: cvc5
Binary: cvc5, libcvc5-dev, libcvc5-1, libcvc5parser1
Architecture: any
Version: 1.0.2-2
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.1
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, libgmp-dev, libreadline-dev, libsymfpu-dev, pkg-config, python3, 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:
 1c1aaa03d79184eaf05becdccc3a25c769e021ba 8259299 cvc5_1.0.2.orig.tar.gz
 9eb9b8d0121d79cea69eb47e3272e4d584ee572a 6340 cvc5_1.0.2-2.debian.tar.xz
Checksums-Sha256:
 cde2bcacf90cd70dfd9cb2e8aea542188864841c6e652b7bae9dfb39adc04cf8 8259299 cvc5_1.0.2.orig.tar.gz
 c922bb7763e66a4fc03b4f23b67828f394949613c3d3f7a0ad148b0bce997b67 6340 cvc5_1.0.2-2.debian.tar.xz
Files:
 10ae2c7b00fe733f8a367fa6f5dfb614 8259299 cvc5_1.0.2.orig.tar.gz
 94bb5503edb203d4ba13c65fc246a025 6340 cvc5_1.0.2-2.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmOeO4sPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3ii8gsP/0sy87UJksTmPNGA3Yr4tjweJMaJgGAD/pD6
IsrPA3U7ErGvcESEVxJxrvpdCRATNAxC0MlrkPNEHGdfvI5CI+3JQUENUPG0awmt
HXplsbfW4jGS/noXzK5Hajmet0SsacU+PfWu6WwyyyEdmYknEtVs6WFfZVy+WDip
OmjJWxkjF1wz87lkRr1xEtePXsuhzlpTx72QwKg+iFPX5cWAn4r/0iGC2PCHeEGz
3VuIEX8KBxX8nd/da32WBQ9Q60WeDPYkZA4xmQGg9xlQoo/eZDMvtHDXbqJ5ENYW
CFAJOW/eRuydpGCrJGaesaUf89ewpd9R5veFMC/cnvKATkbniwplq/7DPzmC2LrK
eBCfd27VHW9IdcUSMBty+QVvrOKWhJKAqwppc1WgZnEeyEm815RSa1Viomkeb/XF
XHRRMRFYwh5qADKUUk+YwU/It93haXCZPPhY/uW0Imc6OEUcV2FwCONX6USy5THf
i0lD5dETdOIysQ+KVbyWH9fsdZg7n80UbZG584roJ9wxZpHZ5+I0FwzEyblSoFvf
FAVGWJ0KZb4f9rq5zWvVrnIwqAYUgJtE1Hc2euIBdY7FA6t62wVaZ+r3fuF7SUPJ
g52sJx/A2xxIuA4c4EvNdduYrTIT1S0Bok1YiJS5H7zCejUl/Bj32Yotwrouetnc
YPawCe8M
=4hf8
-----END PGP SIGNATURE-----