-----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-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:
 1c1aaa03d79184eaf05becdccc3a25c769e021ba 8259299 cvc5_1.0.2.orig.tar.gz
 b244aa7c16bc0d19b923d1b9875883317d0c167e 6324 cvc5_1.0.2-1.debian.tar.xz
Checksums-Sha256:
 cde2bcacf90cd70dfd9cb2e8aea542188864841c6e652b7bae9dfb39adc04cf8 8259299 cvc5_1.0.2.orig.tar.gz
 1106a633f0257d1dcb60cad957afc1d3b8e4b83a8019ef12e1b06fe5650abb65 6324 cvc5_1.0.2-1.debian.tar.xz
Files:
 10ae2c7b00fe733f8a367fa6f5dfb614 8259299 cvc5_1.0.2.orig.tar.gz
 b7864c54cec0a76a8a5379db6ca76c3c 6324 cvc5_1.0.2-1.debian.tar.xz

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

iQJDBAEBCgAtFiEEbnQ09Yl9Q7F/zVe3U9W8ZLUjeKIFAmOJUZcPHHN3dEB0ZWNo
aWUubmV0AAoJEFPVvGS1I3iiWFEQALY5S1+ks1QOHyngVdgNRvKpv6rYbe0zFVfO
WP2Lq5UeACWNc+b5ueuj6Ya83FNIHan88CZep//DLi5YBTvg4g5W9k3cOdjGj3L1
LRcvBP6Tdkmrs0PzO5pc5tohZl0BnypN+QBRqE1pDAdVOh1tOeORDbfqnRQkKreI
U9yHDO54DGhDMWPVwLh703FaBUlc0LuCJwviJLDJvpOAaC/hGokJ+sVmLbqOJrtJ
nFrlExTzkS09gtwj8GFLFOLRigCW2bSdzNgkzHkJSaJIFmdB4j6fh6iM0+4BzvP7
7adcIpgMWdihH7bX7hLPPc/Y5s9plp17Jwg+eSAPt0G02gyy2tYTXO9Xn5CMZxNv
fZcH4S948ifvV/D9F2SUhIGrmAYODUzhwsaclaUP0Mdf6ywITQghhzgpYOf7q5bt
tbWPOdd+iR000ie9ksa/aRvJau7MbKijolQNClgKx3oANep4STEhjO0FqPE5o5OZ
p46hXr/LXQVIWHKlGGT2FokT+iAiHm1TdiK1HM9sHXTpZKY24VGBvSVseheoqDVp
BE1SACCtebxCH9AyMvvqcheWLUaD2GnmgR/Q0bsVsLX6aMt0Ajr9x6wJtJ5Nxnxi
85FZMdzv1JysYhVWhsNvPgi2aR/TN20pK5DED2IUm1sdCsEVPKW0S81we/JOfaIW
le8xHDQW
=5Nps
-----END PGP SIGNATURE-----