-----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-2build2
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
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
 8459f61ecdd7ffa46daff01a479a9250aa9474f2 8392 cvc4_1.6-2build2.debian.tar.xz
Checksums-Sha256:
 5c18bd5ea893fba9723a4d35c889d412ec6d29a21db9db69481891a8ff4887c7 7815893 cvc4_1.6.orig.tar.gz
 c365ed4dc43453c9d147672862cedc44192a7b7570f442c68217f449c405518f 8392 cvc4_1.6-2build2.debian.tar.xz
Files:
 aac9f3725d2247bcf5dcb87bbbbdf5bb 7815893 cvc4_1.6.orig.tar.gz
 a3d0a760116c27c6c67a9425beb466ea 8392 cvc4_1.6-2build2.debian.tar.xz
Original-Maintainer: Debian Science Maintainers <debian-science-maintainers@alioth-lists.debian.net>

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

iQIzBAEBCgAdFiEE7iQKBSojGtiSWEHXm47ISdXvcO0FAl44fscACgkQm47ISdXv
cO1hshAAi2+XFWG8MYDjRf6li1mTgEwWDlVkcvCREpaogZD0D0GIAbKjWX6C8ZMX
Z/xiUGZiZVeRzZn0I1aKtCfkV2BduGCgXORjvbcuhxyCXzL7qMAnyxb20QqXQjLF
hxRRvHybxfokAnf+2pq9ji5Byzw0QvSbJGXX1VTMEgWlvMfQ12kWVsln9/Et+2qB
BGOqnwjMsoSZnMJtTaT+Frn5CsrdAu8dysuxspQ6XZo58mg2ZxKRljd81WEybDY1
TVy0MMwb0euTtGzBxCdGwvDmO9dq/oLLqDCx/xGa9iYOJWqCvLjnHxUytLja+KOu
CU9G2DleQcS8tkrFPjEnPmIaXS3662451N9MJfh+K263wOMfrOfBHb4+SmEKZfsH
Zh5XXilblXylGIhayFJE2g5wVgmWGDHc7Ca3jVqe5XubE7TLVagL3g5f0dKYczHw
bmttuQqlz2CrMFA07lDmQsNJmxwMMASRHd+zr2v9zmeMALM80R+I9AUiZIbZBb5B
Nf+52LGyEkJQkvwNOpnP70am5zeVH3/LwTpmZFmk9GUAfXm8Fc+HbPxQqOpJF0J+
bylVXi93PAu5U1vKd5kPWa/eFfzjnVtHhEyvlgs+dITvgteTOKiCg8RNXiov5F/2
iVwR0OJ7RP1zfnsguwDBg1ODwgJutPDwG337ckEZPiTsVemC+cI=
=h93N
-----END PGP SIGNATURE-----