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

Format: 1.0
Source: cvc4 (1.6-2)
Binary: cvc4 libcvc4-dev libcvc4-5 libcvc4parser5
Architecture: hurd-i386
Version: 1.6-2+b4
Binary-Only-Changes:
 cvc4 (1.6-2+b4) sid; urgency=low, binary-only=yes
 .
   * Binary-only non-maintainer upload for hurd-i386; no source changes.
   * Rebuild against boost 1.71
 .
  -- Debian GNU/Hurd Build Daemon <buildd_hurd-i386-ironforge@buildd.debian.org>  Wed, 03 Jun 2020 18:18:28 +0000
Checksums-Md5:
 d69ed8f2852dddaa31b191770fa172fa 3728420 cvc4-dbgsym_1.6-2+b4_hurd-i386.deb
 e54c534b74becdcddb0e7f63d2b84b0e 141336 cvc4_1.6-2+b4_hurd-i386.deb
 8c66d0ca53a8d70585a8cf17cd2a4379 157754908 libcvc4-5-dbgsym_1.6-2+b4_hurd-i386.deb
 e6a4ac83a02031ae4936eedbdbd85c7c 4847984 libcvc4-5_1.6-2+b4_hurd-i386.deb
 159ab3f94564241d41c55b3e26876eef 7664744 libcvc4-dev_1.6-2+b4_hurd-i386.deb
 c12259c90ee0208e7b6c5c3ca4bee237 6333620 libcvc4parser5-dbgsym_1.6-2+b4_hurd-i386.deb
 947c6ff5a6810eef05f7281e23dd0dcb 389932 libcvc4parser5_1.6-2+b4_hurd-i386.deb
Checksums-Sha1:
 79dad6712cdf244f3e260f20b33286b8ca06f8d0 3728420 cvc4-dbgsym_1.6-2+b4_hurd-i386.deb
 7a01e40eb294a27147b3cba2fe8961f52dca8f8b 141336 cvc4_1.6-2+b4_hurd-i386.deb
 6e341d419205baad544dc4c6a4ef0b5c87c85b1d 157754908 libcvc4-5-dbgsym_1.6-2+b4_hurd-i386.deb
 07fb01eebda2345a821f75c884b6d422881222c5 4847984 libcvc4-5_1.6-2+b4_hurd-i386.deb
 6facb90085c5032d5ef34f0151e76a49a4726e78 7664744 libcvc4-dev_1.6-2+b4_hurd-i386.deb
 41c6a3ef3d314264113a9a3e12e28ba1db676049 6333620 libcvc4parser5-dbgsym_1.6-2+b4_hurd-i386.deb
 be6571407d13ca56e24c924535f9304614084a95 389932 libcvc4parser5_1.6-2+b4_hurd-i386.deb
Checksums-Sha256:
 467b83dbb1afc7550f6df2d8ee9b2f36d27f8d9b5b44d3875379a03ca2daaee9 3728420 cvc4-dbgsym_1.6-2+b4_hurd-i386.deb
 bdeaf80becd2d3f3a869540371314cb97e23fe46b63006f44f48c513af0fd15c 141336 cvc4_1.6-2+b4_hurd-i386.deb
 91e2a842f8953ce94e6019adfced8e2d698d29e21851c8d79425c3db0a9ad533 157754908 libcvc4-5-dbgsym_1.6-2+b4_hurd-i386.deb
 3f7bfec7243102fc99615dabf828590e0ccd1ec86d0ffb461e3b1fd43941469a 4847984 libcvc4-5_1.6-2+b4_hurd-i386.deb
 94316680860b2266986e8b77da84af47434aed6b83e28cf4f86415a9c2a15481 7664744 libcvc4-dev_1.6-2+b4_hurd-i386.deb
 2551ca2f438985c69435c736ce9d72785f55bc907039152aac29fc27e0b3393a 6333620 libcvc4parser5-dbgsym_1.6-2+b4_hurd-i386.deb
 408e3c34a6a961ca8890085507c6e27086e6e7f700218b8a9d33ad2de1a5c3e9 389932 libcvc4parser5_1.6-2+b4_hurd-i386.deb
Build-Origin: Debian
Build-Architecture: hurd-i386
Build-Date: Wed, 03 Jun 2020 20:51:13 +0000
Build-Path: /build/cvc4-BS5wDH/cvc4-1.6
Installed-Build-Depends:
 autoconf (= 2.69-11.1),
 automake (= 1:1.16.2-1),
 autopoint (= 0.19.8.1-10),
 autotools-dev (= 20180224.1),
 base-files (= 11),
 base-passwd (= 3.5.47),
 bash (= 5.0-6+b1),
 binutils (= 2.34-8+b1),
 binutils-common (= 2.34-8+b1),
 binutils-i686-gnu (= 2.34-8+b1),
 bsdmainutils (= 9.0.14),
 bsdutils (= 1:2.34-0.1),
 build-essential (= 12.8),
 bzip2 (= 1.0.8-3),
 chrpath (= 0.16-2),
 coreutils (= 8.30-3+b1),
 cpp (= 4:9.2.1-3.1),
 cpp-9 (= 9.3.0-13),
 cxxtest (= 4.4+git171022-1),
 dash (= 0.5.10.2-6+hurd.1),
 debconf (= 1.5.74),
 debhelper (= 13.1),
 debianutils (= 4.11),
 dh-autoreconf (= 19),
 dh-strip-nondeterminism (= 1.8.1-1),
 diffutils (= 1:3.7-3+b1),
 dpkg (= 1.19.7+b2),
 dpkg-dev (= 1.19.7),
 dwz (= 0.13-5+b1),
 fdisk (= 2.34-0.1),
 file (= 1:5.38-5),
 findutils (= 4.7.0-1+b1),
 g++ (= 4:9.2.1-3.1),
 g++-9 (= 9.3.0-13),
 gamin (= 0.1.10-6),
 gcc (= 4:9.2.1-3.1),
 gcc-10-base (= 10.1.0-3),
 gcc-9 (= 9.3.0-13),
 gcc-9-base (= 9.3.0-13),
 gettext (= 0.19.8.1-6),
 gettext-base (= 0.19.8.1-6),
 gnumach-dev (= 2:1.8+git20200601-1),
 grep (= 3.4-1+b1),
 groff-base (= 1.22.4-5),
 gzip (= 1.10-2+b1),
 hostname (= 3.23),
 hurd (= 1:0.9.git20200416-4),
 hurd-dev (= 1:0.9.git20200416-4),
 hurd-libs0.3 (= 1:0.9.git20200416-4),
 init-system-helpers (= 1.57),
 insserv (= 1.21.0-1),
 intltool-debian (= 0.35.0+20060710.5),
 libacl1 (= 2.2.53-8),
 libantlr3c-3.4-0 (= 3.4+dfsg-3),
 libantlr3c-dev (= 3.4+dfsg-3),
 libarchive-zip-perl (= 1.68-1),
 libatomic1 (= 10.1.0-3),
 libbinutils (= 2.34-8+b1),
 libblkid1 (= 2.34-0.1),
 libboost-atomic1.71-dev (= 1.71.0-6+hurd.1),
 libboost-atomic1.71.0 (= 1.71.0-6+hurd.1),
 libboost-chrono1.71-dev (= 1.71.0-6+hurd.1),
 libboost-chrono1.71.0 (= 1.71.0-6+hurd.1),
 libboost-date-time1.71-dev (= 1.71.0-6+hurd.1),
 libboost-date-time1.71.0 (= 1.71.0-6+hurd.1),
 libboost-serialization1.71-dev (= 1.71.0-6+hurd.1),
 libboost-serialization1.71.0 (= 1.71.0-6+hurd.1),
 libboost-system1.71-dev (= 1.71.0-6+hurd.1),
 libboost-system1.71.0 (= 1.71.0-6+hurd.1),
 libboost-thread-dev (= 1.71.0.3),
 libboost-thread1.71-dev (= 1.71.0-6+hurd.1),
 libboost-thread1.71.0 (= 1.71.0-6+hurd.1),
 libboost1.71-dev (= 1.71.0-6+hurd.1),
 libbsd0 (= 0.10.0-1),
 libbz2-1.0 (= 1.0.8-3),
 libc-bin (= 2.30-8+b1),
 libc-dev-bin (= 2.30-8+b1),
 libc0.3 (= 2.30-8+b1),
 libc0.3-dev (= 2.30-8+b1),
 libcc1-0 (= 10.1.0-3),
 libcroco3 (= 0.6.13-1),
 libcrypt-dev (= 1:4.4.16-1),
 libcrypt1 (= 1:4.4.16-1),
 libctf-nobfd0 (= 2.34-8+b1),
 libctf0 (= 2.34-8+b1),
 libdaemon0 (= 0.14-7),
 libdb5.3 (= 5.3.28-13.1),
 libdebconfclient0 (= 0.252),
 libdebhelper-perl (= 13.1),
 libdpkg-perl (= 1.19.7),
 libelf1 (= 0.170-0.5),
 libexpat1 (= 2.2.9-1),
 libfdisk1 (= 2.34-0.1),
 libffi7 (= 3.3-4+b1),
 libfile-stripnondeterminism-perl (= 1.8.1-1),
 libgamin0 (= 0.1.10-6),
 libgcc-9-dev (= 9.3.0-13),
 libgcc-s1 (= 10.1.0-3),
 libgcrypt20 (= 1.8.5-5+b1),
 libgdbm-compat4 (= 1.18.1-5),
 libgdbm6 (= 1.18.1-5),
 libglib2.0-0 (= 2.64.3-1),
 libgmp-dev (= 2:6.2.0+dfsg-4+b1),
 libgmp10 (= 2:6.2.0+dfsg-4+b1),
 libgmpxx4ldbl (= 2:6.2.0+dfsg-4+b1),
 libgomp1 (= 10.1.0-3),
 libgpg-error0 (= 1.37-1),
 libicu67 (= 67.1-2),
 libisl22 (= 0.22.1-1),
 liblwip0 (= 2.1.2+dfsg1-6+b1),
 liblzma5 (= 5.2.4-1+b2),
 libmagic-mgc (= 1:5.38-5),
 libmagic1 (= 1:5.38-5),
 libmount1 (= 2.34-0.1),
 libmpc3 (= 1.1.0-1+b1),
 libmpdec2 (= 2.4.2-3),
 libmpfr6 (= 4.0.2-1+b1),
 libncurses-dev (= 6.2-1),
 libncurses5 (= 6.2-1),
 libncurses6 (= 6.2-1),
 libncursesw6 (= 6.2-1),
 libpam-modules (= 1.3.1-5),
 libpam-modules-bin (= 1.3.1-5),
 libpam-runtime (= 1.3.1-5),
 libpam0g (= 1.3.1-5),
 libparted2 (= 3.3-4),
 libpciaccess0 (= 0.16-1+hurd.2),
 libpcre3 (= 2:8.39-12+b2),
 libperl5.30 (= 5.30.3-1),
 libpipeline1 (= 1.5.2-2),
 libpython-stdlib (= 2.7.17-2),
 libpython2-stdlib (= 2.7.17-2),
 libpython2.7-minimal (= 2.7.18-1),
 libpython2.7-stdlib (= 2.7.18-1),
 libpython3-stdlib (= 3.8.2-3),
 libpython3.8-minimal (= 3.8.3-1+b1),
 libpython3.8-stdlib (= 3.8.3-1+b1),
 libquadmath0 (= 10.1.0-3),
 libreadline-dev (= 8.0-4),
 libreadline8 (= 8.0-4),
 libsmartcols1 (= 2.34-0.1),
 libsqlite3-0 (= 3.32.1-2),
 libssl1.1 (= 1.1.1g-1+b1),
 libstdc++-9-dev (= 9.3.0-13),
 libstdc++6 (= 10.1.0-3),
 libsub-override-perl (= 0.09-2),
 libtinfo5 (= 6.2-1),
 libtinfo6 (= 6.2-1),
 libtool (= 2.4.6-14),
 libuchardet0 (= 0.0.7-1),
 libunistring2 (= 0.9.10-4),
 libuuid1 (= 2.34-0.1),
 libx11-6 (= 2:1.6.9-2+b1),
 libx11-data (= 2:1.6.9-2),
 libxau6 (= 1:1.0.8-1+b2),
 libxcb1 (= 1.14-2),
 libxdmcp6 (= 1:1.1.2-3),
 libxml2 (= 2.9.10+dfsg-5+b2),
 login (= 1:4.5-1.1),
 lsb-base (= 11.1.0),
 m4 (= 1.4.18-4),
 make (= 4.1-9.1),
 man-db (= 2.9.2-1),
 mawk (= 1.3.4.20200120-2+b1),
 mime-support (= 3.64),
 ncurses-base (= 6.2-1),
 ncurses-bin (= 6.2-1),
 patch (= 2.7.6-6),
 perl (= 5.30.3-1),
 perl-base (= 5.30.3-1),
 perl-modules-5.30 (= 5.30.3-1),
 pkg-config (= 0.29.2-1),
 po-debconf (= 1.0.21),
 python (= 2.7.17-2),
 python-minimal (= 2.7.17-2),
 python-ply (= 3.11-3),
 python2 (= 2.7.17-2),
 python2-minimal (= 2.7.17-2),
 python2.7 (= 2.7.18-1),
 python2.7-minimal (= 2.7.18-1),
 python3 (= 3.8.2-3),
 python3-minimal (= 3.8.2-3),
 python3.8 (= 3.8.3-1+b1),
 python3.8-minimal (= 3.8.3-1+b1),
 readline-common (= 8.0-4),
 sed (= 4.7-1+b1),
 sensible-utils (= 0.0.12+nmu1),
 startpar (= 0.64-3),
 sysv-rc (= 2.96-4~0),
 sysvinit-utils (= 2.96-4~0),
 tar (= 1.30+dfsg-7+b1),
 util-linux (= 2.34-0.1),
 xkb-data (= 2.29-2),
 xz-utils (= 5.2.4-1+b2),
 zlib1g (= 1:1.2.11.dfsg-2+b1)
Environment:
 DEB_BUILD_OPTIONS="parallel=1"
 LC_ALL="C.UTF-8"
 SOURCE_DATE_EPOCH="1591208308"

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

iQIzBAEBCgAdFiEEMCB7GEiOnjYvCoeUcqGaQ/gkSSUFAl7YDY4ACgkQcqGaQ/gk
SSX/YhAAoRfFnXMSt8ZAOJN5AQaPujwN3Yy28i7Cbjzfi2sbcaBdiVcEvwOP3A/H
LyAWaUO9GCV11Pz/LUOzp2fF/w84wR2UuBknc2bu6PkLj8+p5dAPNdA/m+r619gJ
T3z388gW4rxm1u/5atFuTkB+L5YFPwUtCG2UDnhNS+xed09qUefC7k9nyk0gBEXv
B6rDZ78XsHXurov7I6D6UzxgUBVTfCeN4rJ2UW/iVh2V6AVdrbpc36Ng+GgoE0Ud
sF2vjlFLPpl15IoDpxembCwRIoGciwCtJ+0pIkuab8NXFXkqrXeLYrlSrnTFICJk
Rpux3OaPRupzqhfGwukGhO78hAjTtc+JURjB9ga9a6/BpfOn2DkgjvwUU97LueXJ
nokJrs4sfQA7mlNqgud/wQbeUXpB2tLgD5XcnTHwCgJ94IfnCoGOBjo6um21nwUB
7IDRd79mtpKOvH44dcQVGJ6ZcO3AWHHyCpF52/OI3rcC/sylo82kfM70ZVikkp0C
vUvTE217SuQft46kUJB7eI/4ZmkE8mWgin0jLAj6Cz2Cp4OKaFNI6ZGHLs5exbc5
6xc8tREkASRaYNa2SGabKKgBQZIe9+6xqwZ0n7qoAUlC39CXSvf+p27s3rmJpOSI
2fNOzVufmCiOdJo4YOE8Vnz0A1TEMRX4aucmMAMY8j+khTRyJsw=
=Ybp6
-----END PGP SIGNATURE-----