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

Format: 3.0 (quilt)
Source: cvc5
Binary: cvc5, libcvc5-dev, libcvc5-1, libcvc5parser1
Architecture: any
Version: 1.0.3-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.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:
 8353c57af7cfb72056dae18e3b3284b2d88fc550 8335175 cvc5_1.0.3.orig.tar.gz
 80029ea8d57f216b7b5dfe63c0df899e5a89d416 5964 cvc5_1.0.3-1.debian.tar.xz
Checksums-Sha256:
 bf787b74c35ef61958865902e21dcb8f98f79d910b00a9e762a00ff8fcd2c462 8335175 cvc5_1.0.3.orig.tar.gz
 cb2e46cad33dbe2c5c39d9806b667e1d81f5ba49388b818968b46d49d33cf319 5964 cvc5_1.0.3-1.debian.tar.xz
Files:
 a5109967596dc8a8e0ac3a052535dd93 8335175 cvc5_1.0.3.orig.tar.gz
 a24d0c2c511eb308cd17a1cc62f9561b 5964 cvc5_1.0.3-1.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmOhKQ4PHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3ii7nQP/jpnUKZoMFuAPzdiRjD1AP/2oZfjZHLk3OiQ
Ouyt4B7/+jDP/b8bd+ScZrddHjW2dDzlQroSScxi+efTgrZQoM+1kN3UAWXZhK4M
7vBajcuX2FCyD82VDHZgpe+RMJgA7c+aBw/n1fQtfUUUPH28gJzkwa4pBnZhaxDi
z6NwTStzRMSnmd4beEr+jwpfW8xAlPWmOOnawntZXBdXVjaXEox2/AyOorYXxl3B
lgMOSMT1heWt+pBZ1bpoEBVCAqS2IOleeF5WqSOQZDzS0E5D2mvdwyZT1jU3JAyr
6RQX4+AJaPk7SVaPbGT7v5OM5olYLBd5ku4joAW8hJhzmSRrIZbp4qnGfGj+pVsK
FNyeQLGpyY6QkW4aDvXo4IjkJ0RMU5k2od3HUEddQih4M2asfUpIIAQFQOtvDp0l
Vg4pgdEnGxY4klVMx2LBXX/agqklijZcgT9sncfC14zL3bZ45MIR3LYTb9pJxi8P
LZfRbydUeEPMZSTB7ja740fRKbnrz87edXFuk4Xhp1Xhl5SqnmTafOYNjsltNh5o
VXZs9LQxbiw/oNu1GBbDiejoCr/tp8lAQxaThxIIdCX1vl5LC+d55gZTLCMv2PTm
yp0q+758CoF/x2jcboa+fGb/K8kZrHo8j1MQyZc2NicAZaC9BjO0dDf55JAE9zJL
/dT/zG/P
=G9fM
-----END PGP SIGNATURE-----