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

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-2
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
 da1bfdda85c94e47b065f68c5b3984c21da13489 8232 cvc4_1.6-2.debian.tar.xz
Checksums-Sha256:
 5c18bd5ea893fba9723a4d35c889d412ec6d29a21db9db69481891a8ff4887c7 7815893 cvc4_1.6.orig.tar.gz
 256cb4f2824a296cb5f01b72f9e762502a0e15dda19472a0038460a461c0b077 8232 cvc4_1.6-2.debian.tar.xz
Files:
 aac9f3725d2247bcf5dcb87bbbbdf5bb 7815893 cvc4_1.6.orig.tar.gz
 5879972c7bc864c809f0539aca156890 8232 cvc4_1.6-2.debian.tar.xz

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

iQIzBAEBCgAdFiEEI3pUsQKHKL8A7zH00Ot2KGX8XjYFAltx3MEACgkQ0Ot2KGX8
XjabXw/8DOeulHRqQixQ2s9uNtX2dwH4h+mYZx+D5eKrEFkKpggY9aL1/ORKApzb
akTrvL4x4d6RhG0rppkGWblByz6uPodxWhc3FKDfoobRXFmvBziaDVXF+j3UxDsQ
Cmn2NoNFwfn7jzEQ+Tv7OUDu/eaGfNjVzSpAECMrav1N4+yj8Q8NAAbzBQS/dRM9
Uly1bDr6fpb/sG8WGvRosaNEQhmkHTuHPs5l6HVmPA6EVpHRzcxpVuYrg0We5Q++
m5+zCHczhiTYFipHMxfHJhDUp1AYY/rgHtpMZ+SHm3VNy4F6IBy50ps/xULI1NG8
RZEsjlkls+M+4koF9e5mLov/qWpWvLujSu8S8BxarOcNWwdwEo6L4gVJtfgNv35c
VS27lhW2LoNnURhuEPo0lCEqNTWf1+C3YqnORZ7fzptedYCYaj/AQOMazqJ2x0Gp
odgo9zfxxSHMgX2dSOjrtCJk8zNlzbxHPc2rmeMqZLJFiubNlsQ/wZWSXDH6R9sD
IQUGIpNEMhVknpM2wwqUBQEVBjiRZRJVBqp4aZvdpsQQhV4jpbh/ChcBPwlM4DwX
c4P9tPMC0fFPh4Xvwy+xhC4/KDNQIa++LQgmZ6eGnLm4bleVLuXRoFOlknehNGN9
e7dWY4v4a161CjswlyIq6Pm1uuXz8YoV+hqXoqOz8TUrRDJ8yHg=
=tapx
-----END PGP SIGNATURE-----