-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 3.0 (quilt)
Source: cvc4
Binary: cvc4, libcvc4-dev, libcvc4-5, libcvc4parser5
Architecture: amd64 i386 mips mips64el mipsel hurd-i386 ia64 kfreebsd-amd64 kfreebsd-i386 m68k powerpcspe x32
Version: 1.6-2build1
Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>
Uploaders: Fabian Wolff <fabi.wolff@arcor.de>
Homepage: http://cvc4.cs.stanford.edu/web/
Standards-Version: 4.2.0
Vcs-Browser: https://salsa.debian.org/science-team/cvc4
Vcs-Git: https://salsa.debian.org/science-team/cvc4.git/
Testsuite: autopkgtest
Testsuite-Triggers: build-essential
Build-Depends: debhelper (>= 11), libgmp-dev, libantlr3c-dev, libboost-thread-dev, libreadline-dev, pkg-config, cxxtest, chrpath, python3
Package-List:
 cvc4 deb math optional arch=amd64,i386,mips,mips64el,mipsel,hurd-i386,ia64,kfreebsd-amd64,kfreebsd-i386,m68k,powerpcspe,x32
 libcvc4-5 deb libs optional arch=amd64,i386,mips,mips64el,mipsel,hurd-i386,ia64,kfreebsd-amd64,kfreebsd-i386,m68k,powerpcspe,x32
 libcvc4-dev deb libdevel optional arch=amd64,i386,mips,mips64el,mipsel,hurd-i386,ia64,kfreebsd-amd64,kfreebsd-i386,m68k,powerpcspe,x32
 libcvc4parser5 deb libs optional arch=amd64,i386,mips,mips64el,mipsel,hurd-i386,ia64,kfreebsd-amd64,kfreebsd-i386,m68k,powerpcspe,x32
Checksums-Sha1:
 b180389c2df64c16b52eee70de57bf4893fd1b8c 7815893 cvc4_1.6.orig.tar.gz
 07e05384e4c83d5808748d5aac07b948e35de811 8312 cvc4_1.6-2build1.debian.tar.xz
Checksums-Sha256:
 5c18bd5ea893fba9723a4d35c889d412ec6d29a21db9db69481891a8ff4887c7 7815893 cvc4_1.6.orig.tar.gz
 9fbd897b205a1755d7a9dccf8234b836cc217c8d34d6cdee5aab2adf1f942476 8312 cvc4_1.6-2build1.debian.tar.xz
Files:
 aac9f3725d2247bcf5dcb87bbbbdf5bb 7815893 cvc4_1.6.orig.tar.gz
 7b8a0cf6a1a47da499044f4190829778 8312 cvc4_1.6-2build1.debian.tar.xz

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

iQJEBAEBCAAuFiEE1WVxuIqLuvFAv2PWvX6qYHePpvUFAlw87ZgQHGRva29AdWJ1
bnR1LmNvbQAKCRC9fqpgd4+m9ZmPD/9R4tidcU9UjN60X5D3vsRNu69miltCTbBv
rhctJYjyVZAtqoBvCMmPdq/hcxuyIxqoQSEyXAIVUafx9Yu1JIg8vL4XDh2tGqbE
pLtXDE0k7T8aBC6q21q/aWttsURiX+U9AIfnVECQ9jt35bLCJtrtyzTlkNQGwx46
BSWcMLz8CDe/9UnUdSagoJ37rboMgz60FNMuuPqu2pPWK3i/Ytu4PSLAlrYJkWop
50JGejDtmyY7QdOfqmJZVoYW9p0P0XUWarhzWO4vFtok+lzaK0ACh10sAg8E6ULJ
R12Hl9VHOZ3IdgIAiyx4v0KHpfp6yUU6VpBifrGN2oZv4HXc6L9MCzxp6PQcNDW7
BMH/ng/ikqbYM04rZOBba7boRICL5wY6HPbyAb9uAb+MfBwFjLq7cuoOUaLTwbRl
ycy5SKVTuQcELVsdGffgE3pzz2+zcQC9UQpAMsrzu88V4m9Wi2YlvX+DKnSB2r2z
TY5f9FhRSVVJfVp6ET4PvhXhysuPOfCQ9DM4uVeOwasTenaodOylr2AJdmAEcMy/
bJhrcBv4YouYrfmKgTCsKTq1SjR2CYc2GAeQiLeg6GLv1OReg6LccdobYcrP9qFb
wGdAesDwug6VZMssnV7WCON1ir1/2O59yyFT232i77s/Ur+KwxybsH2/WxvZm4K5
QEq/MnY2Xw==
=5Ps2
-----END PGP SIGNATURE-----