I: pbuilder: network access will be disabled during build I: Current time: Sat Aug 8 19:54:17 -12 2020 I: pbuilder-time-stamp: 1596959657 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/buster-reproducible-base.tgz] I: copying local configuration I: mounting /proc filesystem I: mounting /sys filesystem I: creating /{dev,run}/shm I: mounting /dev/pts filesystem I: redirecting /dev/ptmx to /dev/pts/ptmx I: policy-rc.d already exists I: Copying source file I: copying [prover9-manual_0.0.200902a-2.dsc] I: copying [./prover9-manual_0.0.200902a.orig.tar.gz] I: copying [./prover9-manual_0.0.200902a-2.debian.tar.gz] I: Extracting source gpgv: unknown type of key resource 'trustedkeys.kbx' gpgv: keyblock resource '/root/.gnupg/trustedkeys.kbx': General error gpgv: Signature made Fri May 3 17:17:55 2013 -12 gpgv: using RSA key 21D20589974B3E96 gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./prover9-manual_0.0.200902a-2.dsc dpkg-source: info: extracting prover9-manual in prover9-manual-0.0.200902a dpkg-source: info: unpacking prover9-manual_0.0.200902a.orig.tar.gz dpkg-source: info: unpacking prover9-manual_0.0.200902a-2.debian.tar.gz dpkg-source: info: using patch list from debian/patches/series dpkg-source: info: applying 01-entities.patch I: using fakeroot in build. I: Installing the build-deps I: user script /srv/workspace/pbuilder/31737/tmp/hooks/D02_print_environment starting I: set BUILDDIR='/build' BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' BUILDUSERNAME='pbuilder1' BUILD_ARCH='armhf' DEBIAN_FRONTEND='noninteractive' DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=3' DISTRIBUTION='' HOME='/root' HOST_ARCH='armhf' IFS=' ' INVOCATION_ID='23b1c7690d2044b3a50e76cc94c8468d' LANG='C' LANGUAGE='en_US:en' LC_ALL='C' MAIL='/var/mail/root' OPTIND='1' PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games' PBCURRENTCOMMANDLINEOPERATION='build' PBUILDER_OPERATION='build' PBUILDER_PKGDATADIR='/usr/share/pbuilder' PBUILDER_PKGLIBDIR='/usr/lib/pbuilder' PBUILDER_SYSCONFDIR='/etc' PPID='31737' PS1='# ' PS2='> ' PS4='+ ' PWD='/' SHELL='/bin/bash' SHLVL='2' SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/tmp.GcQBUwlfBT/pbuilderrc_TFXq --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/buster-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/tmp.GcQBUwlfBT/b1 --logfile b1/build.log prover9-manual_0.0.200902a-2.dsc' SUDO_GID='116' SUDO_UID='112' SUDO_USER='jenkins' TERM='unknown' TZ='/usr/share/zoneinfo/Etc/GMT+12' USER='root' _='/usr/bin/systemd-run' http_proxy='http://10.0.0.15:8000/' I: uname -a Linux cbxi4b 4.19.0-10-armmp #1 SMP Debian 4.19.132-1 (2020-07-24) armv7l GNU/Linux I: ls -l /bin total 3328 -rwxr-xr-x 1 root root 767656 Apr 17 2019 bash -rwxr-xr-x 3 root root 26052 Jul 10 2019 bunzip2 -rwxr-xr-x 3 root root 26052 Jul 10 2019 bzcat lrwxrwxrwx 1 root root 6 Jul 10 2019 bzcmp -> bzdiff -rwxr-xr-x 1 root root 2227 Jul 10 2019 bzdiff lrwxrwxrwx 1 root root 6 Jul 10 2019 bzegrep -> bzgrep -rwxr-xr-x 1 root root 4877 Jun 24 2019 bzexe lrwxrwxrwx 1 root root 6 Jul 10 2019 bzfgrep -> bzgrep -rwxr-xr-x 1 root root 3641 Jul 10 2019 bzgrep -rwxr-xr-x 3 root root 26052 Jul 10 2019 bzip2 -rwxr-xr-x 1 root root 9636 Jul 10 2019 bzip2recover lrwxrwxrwx 1 root root 6 Jul 10 2019 bzless -> bzmore -rwxr-xr-x 1 root root 1297 Jul 10 2019 bzmore -rwxr-xr-x 1 root root 22432 Feb 28 2019 cat -rwxr-xr-x 1 root root 38868 Feb 28 2019 chgrp -rwxr-xr-x 1 root root 38836 Feb 28 2019 chmod -rwxr-xr-x 1 root root 42972 Feb 28 2019 chown -rwxr-xr-x 1 root root 88376 Feb 28 2019 cp -rwxr-xr-x 1 root root 75516 Jan 17 2019 dash -rwxr-xr-x 1 root root 71648 Feb 28 2019 date -rwxr-xr-x 1 root root 51212 Feb 28 2019 dd -rwxr-xr-x 1 root root 55672 Feb 28 2019 df -rwxr-xr-x 1 root root 88444 Feb 28 2019 dir -rwxr-xr-x 1 root root 54872 Jan 9 2019 dmesg lrwxrwxrwx 1 root root 8 Sep 26 2018 dnsdomainname -> hostname lrwxrwxrwx 1 root root 8 Sep 26 2018 domainname -> hostname -rwxr-xr-x 1 root root 22364 Feb 28 2019 echo -rwxr-xr-x 1 root root 28 Jan 7 2019 egrep -rwxr-xr-x 1 root root 18260 Feb 28 2019 false -rwxr-xr-x 1 root root 28 Jan 7 2019 fgrep -rwxr-xr-x 1 root root 47356 Jan 9 2019 findmnt -rwsr-xr-x 1 root root 21980 Apr 22 07:38 fusermount -rwxr-xr-x 1 root root 124508 Jan 7 2019 grep -rwxr-xr-x 2 root root 2345 Jan 5 2019 gunzip -rwxr-xr-x 1 root root 6375 Jan 5 2019 gzexe -rwxr-xr-x 1 root root 64232 Jan 5 2019 gzip -rwxr-xr-x 1 root root 13784 Sep 26 2018 hostname -rwxr-xr-x 1 root root 43044 Feb 28 2019 ln -rwxr-xr-x 1 root root 34932 Jul 26 2018 login -rwxr-xr-x 1 root root 88444 Feb 28 2019 ls -rwxr-xr-x 1 root root 67036 Jan 9 2019 lsblk -rwxr-xr-x 1 root root 47168 Feb 28 2019 mkdir -rwxr-xr-x 1 root root 43040 Feb 28 2019 mknod -rwxr-xr-x 1 root root 26552 Feb 28 2019 mktemp -rwxr-xr-x 1 root root 26024 Jan 9 2019 more -rwsr-xr-x 1 root root 34268 Jan 9 2019 mount -rwxr-xr-x 1 root root 9688 Jan 9 2019 mountpoint -rwxr-xr-x 1 root root 84284 Feb 28 2019 mv lrwxrwxrwx 1 root root 8 Sep 26 2018 nisdomainname -> hostname lrwxrwxrwx 1 root root 14 Feb 14 2019 pidof -> /sbin/killall5 -rwxr-xr-x 1 root root 22416 Feb 28 2019 pwd lrwxrwxrwx 1 root root 4 Apr 17 2019 rbash -> bash -rwxr-xr-x 1 root root 26504 Feb 28 2019 readlink -rwxr-xr-x 1 root root 42968 Feb 28 2019 rm -rwxr-xr-x 1 root root 26496 Feb 28 2019 rmdir -rwxr-xr-x 1 root root 14136 Jan 21 2019 run-parts -rwxr-xr-x 1 root root 76012 Dec 22 2018 sed lrwxrwxrwx 1 root root 4 Aug 5 20:27 sh -> dash -rwxr-xr-x 1 root root 22384 Feb 28 2019 sleep -rwxr-xr-x 1 root root 51124 Feb 28 2019 stty -rwsr-xr-x 1 root root 42472 Jan 9 2019 su -rwxr-xr-x 1 root root 22392 Feb 28 2019 sync -rwxr-xr-x 1 root root 283324 Apr 23 2019 tar -rwxr-xr-x 1 root root 9808 Jan 21 2019 tempfile -rwxr-xr-x 1 root root 63464 Feb 28 2019 touch -rwxr-xr-x 1 root root 18260 Feb 28 2019 true -rwxr-xr-x 1 root root 9636 Apr 22 07:38 ulockmgr_server -rwsr-xr-x 1 root root 21976 Jan 9 2019 umount -rwxr-xr-x 1 root root 22380 Feb 28 2019 uname -rwxr-xr-x 2 root root 2345 Jan 5 2019 uncompress -rwxr-xr-x 1 root root 88444 Feb 28 2019 vdir -rwxr-xr-x 1 root root 21980 Jan 9 2019 wdctl -rwxr-xr-x 1 root root 946 Jan 21 2019 which lrwxrwxrwx 1 root root 8 Sep 26 2018 ypdomainname -> hostname -rwxr-xr-x 1 root root 1983 Jan 5 2019 zcat -rwxr-xr-x 1 root root 1677 Jan 5 2019 zcmp -rwxr-xr-x 1 root root 5879 Jan 5 2019 zdiff -rwxr-xr-x 1 root root 29 Jan 5 2019 zegrep -rwxr-xr-x 1 root root 29 Jan 5 2019 zfgrep -rwxr-xr-x 1 root root 2080 Jan 5 2019 zforce -rwxr-xr-x 1 root root 7584 Jan 5 2019 zgrep -rwxr-xr-x 1 root root 2205 Jan 5 2019 zless -rwxr-xr-x 1 root root 1841 Jan 5 2019 zmore -rwxr-xr-x 1 root root 4552 Jan 5 2019 znew I: user script /srv/workspace/pbuilder/31737/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy Version: 0.invalid.0 Architecture: armhf Maintainer: Debian Pbuilder Team Description: Dummy package to satisfy dependencies with aptitude - created by pbuilder This package was created automatically by pbuilder to satisfy the build-dependencies of the package being currently built. Depends: debhelper (>= 9), htmldoc dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. (Reading database ... 18932 files and directories currently installed.) Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ... Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ... dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested: pbuilder-satisfydepends-dummy depends on debhelper (>= 9); however: Package debhelper is not installed. pbuilder-satisfydepends-dummy depends on htmldoc; however: Package htmldoc is not installed. Setting up pbuilder-satisfydepends-dummy (0.invalid.0) ... Reading package lists... Building dependency tree... Reading state information... Initializing package states... Writing extended state information... Building tag database... pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) pbuilder-satisfydepends-dummy is already installed at the requested version (0.invalid.0) The following NEW packages will be installed: autoconf{a} automake{a} autopoint{a} autotools-dev{a} bsdmainutils{a} debhelper{a} dh-autoreconf{a} dh-strip-nondeterminism{a} dwz{a} file{a} fontconfig-config{a} fonts-dejavu-core{a} gettext{a} gettext-base{a} groff-base{a} htmldoc{a} htmldoc-common{a} intltool-debian{a} libarchive-zip-perl{a} libbsd0{a} libcroco3{a} libdrm-amdgpu1{a} libdrm-common{a} libdrm-etnaviv1{a} libdrm-nouveau2{a} libdrm-radeon1{a} libdrm2{a} libedit2{a} libelf1{a} libexpat1{a} libfile-stripnondeterminism-perl{a} libfltk1.1{a} libfontconfig1{a} libfreetype6{a} libgl1{a} libgl1-mesa-dri{a} libglapi-mesa{a} libglib2.0-0{a} libglvnd0{a} libglx-mesa0{a} libglx0{a} libicu63{a} libjpeg62-turbo{a} libllvm7{a} libmagic-mgc{a} libmagic1{a} libncurses6{a} libpipeline1{a} libpng16-16{a} libsensors-config{a} libsensors5{a} libsigsegv2{a} libtool{a} libuchardet0{a} libx11-6{a} libx11-data{a} libx11-xcb1{a} libxau6{a} libxcb-dri2-0{a} libxcb-dri3-0{a} libxcb-glx0{a} libxcb-present0{a} libxcb-sync1{a} libxcb1{a} libxdamage1{a} libxdmcp6{a} libxext6{a} libxfixes3{a} libxft2{a} libxinerama1{a} libxml2{a} libxpm4{a} libxrender1{a} libxshmfence1{a} libxxf86vm1{a} m4{a} man-db{a} po-debconf{a} sensible-utils{a} ucf{a} The following packages are RECOMMENDED but will NOT be installed: curl libarchive-cpio-perl libglib2.0-data libgpm2 libltdl-dev libmail-sendmail-perl lynx shared-mime-info wget xdg-user-dirs 0 packages upgraded, 80 newly installed, 0 to remove and 0 not upgraded. Need to get 41.6 MB of archives. After unpacking 265 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian buster/main armhf libbsd0 armhf 0.9.1-2 [103 kB] Get: 2 http://deb.debian.org/debian buster/main armhf bsdmainutils armhf 11.1.2+b1 [186 kB] Get: 3 http://deb.debian.org/debian buster/main armhf libuchardet0 armhf 0.0.6-3 [62.2 kB] Get: 4 http://deb.debian.org/debian buster/main armhf groff-base armhf 1.22.4-3 [828 kB] Get: 5 http://deb.debian.org/debian buster/main armhf libpipeline1 armhf 1.5.1-2 [26.8 kB] Get: 6 http://deb.debian.org/debian buster/main armhf man-db armhf 2.8.5-2 [1240 kB] Get: 7 http://deb.debian.org/debian buster/main armhf sensible-utils all 0.0.12 [15.8 kB] Get: 8 http://deb.debian.org/debian buster/main armhf libmagic-mgc armhf 1:5.35-4+deb10u1 [242 kB] Get: 9 http://deb.debian.org/debian buster/main armhf libmagic1 armhf 1:5.35-4+deb10u1 [110 kB] Get: 10 http://deb.debian.org/debian buster/main armhf file armhf 1:5.35-4+deb10u1 [65.5 kB] Get: 11 http://deb.debian.org/debian buster/main armhf gettext-base armhf 0.19.8.1-9 [118 kB] Get: 12 http://deb.debian.org/debian buster/main armhf ucf all 3.0038+nmu1 [69.0 kB] Get: 13 http://deb.debian.org/debian buster/main armhf libsigsegv2 armhf 2.12-2 [32.1 kB] Get: 14 http://deb.debian.org/debian buster/main armhf m4 armhf 1.4.18-2 [190 kB] Get: 15 http://deb.debian.org/debian buster/main armhf autoconf all 2.69-11 [341 kB] Get: 16 http://deb.debian.org/debian buster/main armhf autotools-dev all 20180224.1 [77.0 kB] Get: 17 http://deb.debian.org/debian buster/main armhf automake all 1:1.16.1-4 [771 kB] Get: 18 http://deb.debian.org/debian buster/main armhf autopoint all 0.19.8.1-9 [434 kB] Get: 19 http://deb.debian.org/debian buster/main armhf libtool all 2.4.6-9 [547 kB] Get: 20 http://deb.debian.org/debian buster/main armhf dh-autoreconf all 19 [16.9 kB] Get: 21 http://deb.debian.org/debian buster/main armhf libarchive-zip-perl all 1.64-1 [96.8 kB] Get: 22 http://deb.debian.org/debian buster/main armhf libfile-stripnondeterminism-perl all 1.1.2-1 [19.8 kB] Get: 23 http://deb.debian.org/debian buster/main armhf dh-strip-nondeterminism all 1.1.2-1 [13.0 kB] Get: 24 http://deb.debian.org/debian buster/main armhf libelf1 armhf 0.176-1.1 [158 kB] Get: 25 http://deb.debian.org/debian buster/main armhf dwz armhf 0.12-3 [72.0 kB] Get: 26 http://deb.debian.org/debian buster/main armhf libglib2.0-0 armhf 2.58.3-2+deb10u2 [1101 kB] Get: 27 http://deb.debian.org/debian buster/main armhf libicu63 armhf 63.1-6+deb10u1 [8005 kB] Get: 28 http://deb.debian.org/debian buster/main armhf libxml2 armhf 2.9.4+dfsg1-7+b3 [595 kB] Get: 29 http://deb.debian.org/debian buster/main armhf libcroco3 armhf 0.6.12-3 [133 kB] Get: 30 http://deb.debian.org/debian buster/main armhf libncurses6 armhf 6.1+20181013-2+deb10u2 [79.8 kB] Get: 31 http://deb.debian.org/debian buster/main armhf gettext armhf 0.19.8.1-9 [1242 kB] Get: 32 http://deb.debian.org/debian buster/main armhf intltool-debian all 0.35.0+20060710.5 [26.8 kB] Get: 33 http://deb.debian.org/debian buster/main armhf po-debconf all 1.0.21 [248 kB] Get: 34 http://deb.debian.org/debian buster/main armhf debhelper all 12.1.1 [1016 kB] Get: 35 http://deb.debian.org/debian buster/main armhf fonts-dejavu-core all 2.37-1 [1068 kB] Get: 36 http://deb.debian.org/debian buster/main armhf fontconfig-config all 2.13.1-2 [280 kB] Get: 37 http://deb.debian.org/debian buster/main armhf htmldoc-common all 1.9.3-1 [2125 kB] Get: 38 http://deb.debian.org/debian buster/main armhf libexpat1 armhf 2.2.6-2+deb10u1 [78.0 kB] Get: 39 http://deb.debian.org/debian buster/main armhf libpng16-16 armhf 1.6.36-6 [275 kB] Get: 40 http://deb.debian.org/debian buster/main armhf libfreetype6 armhf 2.9.1-3+deb10u1 [322 kB] Get: 41 http://deb.debian.org/debian buster/main armhf libfontconfig1 armhf 2.13.1-2 [328 kB] Get: 42 http://deb.debian.org/debian buster/main armhf libglvnd0 armhf 1.1.0-1 [49.1 kB] Get: 43 http://deb.debian.org/debian buster/main armhf libxau6 armhf 1:1.0.8-1+b2 [19.1 kB] Get: 44 http://deb.debian.org/debian buster/main armhf libxdmcp6 armhf 1:1.1.2-3 [24.9 kB] Get: 45 http://deb.debian.org/debian buster/main armhf libxcb1 armhf 1.13.1-2 [132 kB] Get: 46 http://deb.debian.org/debian buster/main armhf libx11-data all 2:1.6.7-1 [298 kB] Get: 47 http://deb.debian.org/debian buster/main armhf libx11-6 armhf 2:1.6.7-1 [698 kB] Get: 48 http://deb.debian.org/debian buster/main armhf libxext6 armhf 2:1.3.3-1+b2 [48.1 kB] Get: 49 http://deb.debian.org/debian buster/main armhf libdrm-common all 2.4.97-1 [13.8 kB] Get: 50 http://deb.debian.org/debian buster/main armhf libdrm2 armhf 2.4.97-1 [35.7 kB] Get: 51 http://deb.debian.org/debian buster/main armhf libglapi-mesa armhf 18.3.6-2+deb10u1 [71.7 kB] Get: 52 http://deb.debian.org/debian buster/main armhf libx11-xcb1 armhf 2:1.6.7-1 [190 kB] Get: 53 http://deb.debian.org/debian buster/main armhf libxcb-dri2-0 armhf 1.13.1-2 [100 kB] Get: 54 http://deb.debian.org/debian buster/main armhf libxcb-dri3-0 armhf 1.13.1-2 [100.0 kB] Get: 55 http://deb.debian.org/debian buster/main armhf libxcb-glx0 armhf 1.13.1-2 [114 kB] Get: 56 http://deb.debian.org/debian buster/main armhf libxcb-present0 armhf 1.13.1-2 [99.0 kB] Get: 57 http://deb.debian.org/debian buster/main armhf libxcb-sync1 armhf 1.13.1-2 [102 kB] Get: 58 http://deb.debian.org/debian buster/main armhf libxfixes3 armhf 1:5.0.3-1 [20.6 kB] Get: 59 http://deb.debian.org/debian buster/main armhf libxdamage1 armhf 1:1.1.4-3+b3 [14.2 kB] Get: 60 http://deb.debian.org/debian buster/main armhf libxshmfence1 armhf 1.3-1 [8592 B] Get: 61 http://deb.debian.org/debian buster/main armhf libxxf86vm1 armhf 1:1.1.4-1+b2 [20.2 kB] Get: 62 http://deb.debian.org/debian buster/main armhf libdrm-amdgpu1 armhf 2.4.97-1 [25.8 kB] Get: 63 http://deb.debian.org/debian buster/main armhf libdrm-etnaviv1 armhf 2.4.97-1 [19.7 kB] Get: 64 http://deb.debian.org/debian buster/main armhf libdrm-nouveau2 armhf 2.4.97-1 [24.2 kB] Get: 65 http://deb.debian.org/debian buster/main armhf libdrm-radeon1 armhf 2.4.97-1 [28.7 kB] Get: 66 http://deb.debian.org/debian buster/main armhf libedit2 armhf 3.1-20181209-1 [79.5 kB] Get: 67 http://deb.debian.org/debian buster/main armhf libllvm7 armhf 1:7.0.1-8 [11.3 MB] Get: 68 http://deb.debian.org/debian buster/main armhf libsensors-config all 1:3.5.0-3 [31.6 kB] Get: 69 http://deb.debian.org/debian buster/main armhf libsensors5 armhf 1:3.5.0-3 [49.7 kB] Get: 70 http://deb.debian.org/debian buster/main armhf libgl1-mesa-dri armhf 18.3.6-2+deb10u1 [4103 kB] Get: 71 http://deb.debian.org/debian buster/main armhf libglx-mesa0 armhf 18.3.6-2+deb10u1 [162 kB] Get: 72 http://deb.debian.org/debian buster/main armhf libglx0 armhf 1.1.0-1 [25.5 kB] Get: 73 http://deb.debian.org/debian buster/main armhf libgl1 armhf 1.1.0-1 [105 kB] Get: 74 http://deb.debian.org/debian buster/main armhf libjpeg62-turbo armhf 1:1.5.2-2+b1 [112 kB] Get: 75 http://deb.debian.org/debian buster/main armhf libxrender1 armhf 1:0.9.10-1 [29.9 kB] Get: 76 http://deb.debian.org/debian buster/main armhf libxft2 armhf 2.3.2-2 [50.1 kB] Get: 77 http://deb.debian.org/debian buster/main armhf libxinerama1 armhf 2:1.1.4-2 [17.3 kB] Get: 78 http://deb.debian.org/debian buster/main armhf libfltk1.1 armhf 1.1.10-26 [337 kB] Get: 79 http://deb.debian.org/debian buster/main armhf libxpm4 armhf 1:3.5.12-1 [44.0 kB] Get: 80 http://deb.debian.org/debian buster/main armhf htmldoc armhf 1.9.3-1 [163 kB] Fetched 41.6 MB in 6s (7404 kB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libbsd0:armhf. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 18932 files and directories currently installed.) Preparing to unpack .../00-libbsd0_0.9.1-2_armhf.deb ... Unpacking libbsd0:armhf (0.9.1-2) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../01-bsdmainutils_11.1.2+b1_armhf.deb ... Unpacking bsdmainutils (11.1.2+b1) ... Selecting previously unselected package libuchardet0:armhf. Preparing to unpack .../02-libuchardet0_0.0.6-3_armhf.deb ... Unpacking libuchardet0:armhf (0.0.6-3) ... Selecting previously unselected package groff-base. Preparing to unpack .../03-groff-base_1.22.4-3_armhf.deb ... Unpacking groff-base (1.22.4-3) ... Selecting previously unselected package libpipeline1:armhf. Preparing to unpack .../04-libpipeline1_1.5.1-2_armhf.deb ... Unpacking libpipeline1:armhf (1.5.1-2) ... Selecting previously unselected package man-db. Preparing to unpack .../05-man-db_2.8.5-2_armhf.deb ... Unpacking man-db (2.8.5-2) ... Selecting previously unselected package sensible-utils. Preparing to unpack .../06-sensible-utils_0.0.12_all.deb ... Unpacking sensible-utils (0.0.12) ... Selecting previously unselected package libmagic-mgc. Preparing to unpack .../07-libmagic-mgc_1%3a5.35-4+deb10u1_armhf.deb ... Unpacking libmagic-mgc (1:5.35-4+deb10u1) ... Selecting previously unselected package libmagic1:armhf. Preparing to unpack .../08-libmagic1_1%3a5.35-4+deb10u1_armhf.deb ... Unpacking libmagic1:armhf (1:5.35-4+deb10u1) ... Selecting previously unselected package file. Preparing to unpack .../09-file_1%3a5.35-4+deb10u1_armhf.deb ... Unpacking file (1:5.35-4+deb10u1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../10-gettext-base_0.19.8.1-9_armhf.deb ... Unpacking gettext-base (0.19.8.1-9) ... Selecting previously unselected package ucf. Preparing to unpack .../11-ucf_3.0038+nmu1_all.deb ... Moving old data out of the way Unpacking ucf (3.0038+nmu1) ... Selecting previously unselected package libsigsegv2:armhf. Preparing to unpack .../12-libsigsegv2_2.12-2_armhf.deb ... Unpacking libsigsegv2:armhf (2.12-2) ... Selecting previously unselected package m4. Preparing to unpack .../13-m4_1.4.18-2_armhf.deb ... Unpacking m4 (1.4.18-2) ... Selecting previously unselected package autoconf. Preparing to unpack .../14-autoconf_2.69-11_all.deb ... Unpacking autoconf (2.69-11) ... Selecting previously unselected package autotools-dev. Preparing to unpack .../15-autotools-dev_20180224.1_all.deb ... Unpacking autotools-dev (20180224.1) ... Selecting previously unselected package automake. Preparing to unpack .../16-automake_1%3a1.16.1-4_all.deb ... Unpacking automake (1:1.16.1-4) ... Selecting previously unselected package autopoint. Preparing to unpack .../17-autopoint_0.19.8.1-9_all.deb ... Unpacking autopoint (0.19.8.1-9) ... Selecting previously unselected package libtool. Preparing to unpack .../18-libtool_2.4.6-9_all.deb ... Unpacking libtool (2.4.6-9) ... Selecting previously unselected package dh-autoreconf. Preparing to unpack .../19-dh-autoreconf_19_all.deb ... Unpacking dh-autoreconf (19) ... Selecting previously unselected package libarchive-zip-perl. Preparing to unpack .../20-libarchive-zip-perl_1.64-1_all.deb ... Unpacking libarchive-zip-perl (1.64-1) ... Selecting previously unselected package libfile-stripnondeterminism-perl. Preparing to unpack .../21-libfile-stripnondeterminism-perl_1.1.2-1_all.deb ... Unpacking libfile-stripnondeterminism-perl (1.1.2-1) ... Selecting previously unselected package dh-strip-nondeterminism. Preparing to unpack .../22-dh-strip-nondeterminism_1.1.2-1_all.deb ... Unpacking dh-strip-nondeterminism (1.1.2-1) ... Selecting previously unselected package libelf1:armhf. Preparing to unpack .../23-libelf1_0.176-1.1_armhf.deb ... Unpacking libelf1:armhf (0.176-1.1) ... Selecting previously unselected package dwz. Preparing to unpack .../24-dwz_0.12-3_armhf.deb ... Unpacking dwz (0.12-3) ... Selecting previously unselected package libglib2.0-0:armhf. Preparing to unpack .../25-libglib2.0-0_2.58.3-2+deb10u2_armhf.deb ... Unpacking libglib2.0-0:armhf (2.58.3-2+deb10u2) ... Selecting previously unselected package libicu63:armhf. Preparing to unpack .../26-libicu63_63.1-6+deb10u1_armhf.deb ... Unpacking libicu63:armhf (63.1-6+deb10u1) ... Selecting previously unselected package libxml2:armhf. Preparing to unpack .../27-libxml2_2.9.4+dfsg1-7+b3_armhf.deb ... Unpacking libxml2:armhf (2.9.4+dfsg1-7+b3) ... Selecting previously unselected package libcroco3:armhf. Preparing to unpack .../28-libcroco3_0.6.12-3_armhf.deb ... Unpacking libcroco3:armhf (0.6.12-3) ... Selecting previously unselected package libncurses6:armhf. Preparing to unpack .../29-libncurses6_6.1+20181013-2+deb10u2_armhf.deb ... Unpacking libncurses6:armhf (6.1+20181013-2+deb10u2) ... Selecting previously unselected package gettext. Preparing to unpack .../30-gettext_0.19.8.1-9_armhf.deb ... Unpacking gettext (0.19.8.1-9) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../31-intltool-debian_0.35.0+20060710.5_all.deb ... Unpacking intltool-debian (0.35.0+20060710.5) ... Selecting previously unselected package po-debconf. Preparing to unpack .../32-po-debconf_1.0.21_all.deb ... Unpacking po-debconf (1.0.21) ... Selecting previously unselected package debhelper. Preparing to unpack .../33-debhelper_12.1.1_all.deb ... Unpacking debhelper (12.1.1) ... Selecting previously unselected package fonts-dejavu-core. Preparing to unpack .../34-fonts-dejavu-core_2.37-1_all.deb ... Unpacking fonts-dejavu-core (2.37-1) ... Selecting previously unselected package fontconfig-config. Preparing to unpack .../35-fontconfig-config_2.13.1-2_all.deb ... Unpacking fontconfig-config (2.13.1-2) ... Selecting previously unselected package htmldoc-common. Preparing to unpack .../36-htmldoc-common_1.9.3-1_all.deb ... Unpacking htmldoc-common (1.9.3-1) ... Selecting previously unselected package libexpat1:armhf. Preparing to unpack .../37-libexpat1_2.2.6-2+deb10u1_armhf.deb ... Unpacking libexpat1:armhf (2.2.6-2+deb10u1) ... Selecting previously unselected package libpng16-16:armhf. Preparing to unpack .../38-libpng16-16_1.6.36-6_armhf.deb ... Unpacking libpng16-16:armhf (1.6.36-6) ... Selecting previously unselected package libfreetype6:armhf. Preparing to unpack .../39-libfreetype6_2.9.1-3+deb10u1_armhf.deb ... Unpacking libfreetype6:armhf (2.9.1-3+deb10u1) ... Selecting previously unselected package libfontconfig1:armhf. Preparing to unpack .../40-libfontconfig1_2.13.1-2_armhf.deb ... Unpacking libfontconfig1:armhf (2.13.1-2) ... Selecting previously unselected package libglvnd0:armhf. Preparing to unpack .../41-libglvnd0_1.1.0-1_armhf.deb ... Unpacking libglvnd0:armhf (1.1.0-1) ... Selecting previously unselected package libxau6:armhf. Preparing to unpack .../42-libxau6_1%3a1.0.8-1+b2_armhf.deb ... Unpacking libxau6:armhf (1:1.0.8-1+b2) ... Selecting previously unselected package libxdmcp6:armhf. Preparing to unpack .../43-libxdmcp6_1%3a1.1.2-3_armhf.deb ... Unpacking libxdmcp6:armhf (1:1.1.2-3) ... Selecting previously unselected package libxcb1:armhf. Preparing to unpack .../44-libxcb1_1.13.1-2_armhf.deb ... Unpacking libxcb1:armhf (1.13.1-2) ... Selecting previously unselected package libx11-data. Preparing to unpack .../45-libx11-data_2%3a1.6.7-1_all.deb ... Unpacking libx11-data (2:1.6.7-1) ... Selecting previously unselected package libx11-6:armhf. Preparing to unpack .../46-libx11-6_2%3a1.6.7-1_armhf.deb ... Unpacking libx11-6:armhf (2:1.6.7-1) ... Selecting previously unselected package libxext6:armhf. Preparing to unpack .../47-libxext6_2%3a1.3.3-1+b2_armhf.deb ... Unpacking libxext6:armhf (2:1.3.3-1+b2) ... Selecting previously unselected package libdrm-common. Preparing to unpack .../48-libdrm-common_2.4.97-1_all.deb ... Unpacking libdrm-common (2.4.97-1) ... Selecting previously unselected package libdrm2:armhf. Preparing to unpack .../49-libdrm2_2.4.97-1_armhf.deb ... Unpacking libdrm2:armhf (2.4.97-1) ... Selecting previously unselected package libglapi-mesa:armhf. Preparing to unpack .../50-libglapi-mesa_18.3.6-2+deb10u1_armhf.deb ... Unpacking libglapi-mesa:armhf (18.3.6-2+deb10u1) ... Selecting previously unselected package libx11-xcb1:armhf. Preparing to unpack .../51-libx11-xcb1_2%3a1.6.7-1_armhf.deb ... Unpacking libx11-xcb1:armhf (2:1.6.7-1) ... Selecting previously unselected package libxcb-dri2-0:armhf. Preparing to unpack .../52-libxcb-dri2-0_1.13.1-2_armhf.deb ... Unpacking libxcb-dri2-0:armhf (1.13.1-2) ... Selecting previously unselected package libxcb-dri3-0:armhf. Preparing to unpack .../53-libxcb-dri3-0_1.13.1-2_armhf.deb ... Unpacking libxcb-dri3-0:armhf (1.13.1-2) ... Selecting previously unselected package libxcb-glx0:armhf. Preparing to unpack .../54-libxcb-glx0_1.13.1-2_armhf.deb ... Unpacking libxcb-glx0:armhf (1.13.1-2) ... Selecting previously unselected package libxcb-present0:armhf. Preparing to unpack .../55-libxcb-present0_1.13.1-2_armhf.deb ... Unpacking libxcb-present0:armhf (1.13.1-2) ... Selecting previously unselected package libxcb-sync1:armhf. Preparing to unpack .../56-libxcb-sync1_1.13.1-2_armhf.deb ... Unpacking libxcb-sync1:armhf (1.13.1-2) ... Selecting previously unselected package libxfixes3:armhf. Preparing to unpack .../57-libxfixes3_1%3a5.0.3-1_armhf.deb ... Unpacking libxfixes3:armhf (1:5.0.3-1) ... Selecting previously unselected package libxdamage1:armhf. Preparing to unpack .../58-libxdamage1_1%3a1.1.4-3+b3_armhf.deb ... Unpacking libxdamage1:armhf (1:1.1.4-3+b3) ... Selecting previously unselected package libxshmfence1:armhf. Preparing to unpack .../59-libxshmfence1_1.3-1_armhf.deb ... Unpacking libxshmfence1:armhf (1.3-1) ... Selecting previously unselected package libxxf86vm1:armhf. Preparing to unpack .../60-libxxf86vm1_1%3a1.1.4-1+b2_armhf.deb ... Unpacking libxxf86vm1:armhf (1:1.1.4-1+b2) ... Selecting previously unselected package libdrm-amdgpu1:armhf. Preparing to unpack .../61-libdrm-amdgpu1_2.4.97-1_armhf.deb ... Unpacking libdrm-amdgpu1:armhf (2.4.97-1) ... Selecting previously unselected package libdrm-etnaviv1:armhf. Preparing to unpack .../62-libdrm-etnaviv1_2.4.97-1_armhf.deb ... Unpacking libdrm-etnaviv1:armhf (2.4.97-1) ... Selecting previously unselected package libdrm-nouveau2:armhf. Preparing to unpack .../63-libdrm-nouveau2_2.4.97-1_armhf.deb ... Unpacking libdrm-nouveau2:armhf (2.4.97-1) ... Selecting previously unselected package libdrm-radeon1:armhf. Preparing to unpack .../64-libdrm-radeon1_2.4.97-1_armhf.deb ... Unpacking libdrm-radeon1:armhf (2.4.97-1) ... Selecting previously unselected package libedit2:armhf. Preparing to unpack .../65-libedit2_3.1-20181209-1_armhf.deb ... Unpacking libedit2:armhf (3.1-20181209-1) ... Selecting previously unselected package libllvm7:armhf. Preparing to unpack .../66-libllvm7_1%3a7.0.1-8_armhf.deb ... Unpacking libllvm7:armhf (1:7.0.1-8) ... Selecting previously unselected package libsensors-config. Preparing to unpack .../67-libsensors-config_1%3a3.5.0-3_all.deb ... Unpacking libsensors-config (1:3.5.0-3) ... Selecting previously unselected package libsensors5:armhf. Preparing to unpack .../68-libsensors5_1%3a3.5.0-3_armhf.deb ... Unpacking libsensors5:armhf (1:3.5.0-3) ... Selecting previously unselected package libgl1-mesa-dri:armhf. Preparing to unpack .../69-libgl1-mesa-dri_18.3.6-2+deb10u1_armhf.deb ... Unpacking libgl1-mesa-dri:armhf (18.3.6-2+deb10u1) ... Selecting previously unselected package libglx-mesa0:armhf. Preparing to unpack .../70-libglx-mesa0_18.3.6-2+deb10u1_armhf.deb ... Unpacking libglx-mesa0:armhf (18.3.6-2+deb10u1) ... Selecting previously unselected package libglx0:armhf. Preparing to unpack .../71-libglx0_1.1.0-1_armhf.deb ... Unpacking libglx0:armhf (1.1.0-1) ... Selecting previously unselected package libgl1:armhf. Preparing to unpack .../72-libgl1_1.1.0-1_armhf.deb ... Unpacking libgl1:armhf (1.1.0-1) ... Selecting previously unselected package libjpeg62-turbo:armhf. Preparing to unpack .../73-libjpeg62-turbo_1%3a1.5.2-2+b1_armhf.deb ... Unpacking libjpeg62-turbo:armhf (1:1.5.2-2+b1) ... Selecting previously unselected package libxrender1:armhf. Preparing to unpack .../74-libxrender1_1%3a0.9.10-1_armhf.deb ... Unpacking libxrender1:armhf (1:0.9.10-1) ... Selecting previously unselected package libxft2:armhf. Preparing to unpack .../75-libxft2_2.3.2-2_armhf.deb ... Unpacking libxft2:armhf (2.3.2-2) ... Selecting previously unselected package libxinerama1:armhf. Preparing to unpack .../76-libxinerama1_2%3a1.1.4-2_armhf.deb ... Unpacking libxinerama1:armhf (2:1.1.4-2) ... Selecting previously unselected package libfltk1.1:armhf. Preparing to unpack .../77-libfltk1.1_1.1.10-26_armhf.deb ... Unpacking libfltk1.1:armhf (1.1.10-26) ... Selecting previously unselected package libxpm4:armhf. Preparing to unpack .../78-libxpm4_1%3a3.5.12-1_armhf.deb ... Unpacking libxpm4:armhf (1:3.5.12-1) ... Selecting previously unselected package htmldoc. Preparing to unpack .../79-htmldoc_1.9.3-1_armhf.deb ... Unpacking htmldoc (1.9.3-1) ... Setting up libexpat1:armhf (2.2.6-2+deb10u1) ... Setting up libpipeline1:armhf (1.5.1-2) ... Setting up libx11-xcb1:armhf (2:1.6.7-1) ... Setting up libxau6:armhf (1:1.0.8-1+b2) ... Setting up libmagic-mgc (1:5.35-4+deb10u1) ... Setting up libarchive-zip-perl (1.64-1) ... Setting up libglib2.0-0:armhf (2.58.3-2+deb10u2) ... No schema files found: doing nothing. Setting up libglvnd0:armhf (1.1.0-1) ... Setting up libsensors-config (1:3.5.0-3) ... Setting up libmagic1:armhf (1:5.35-4+deb10u1) ... Setting up gettext-base (0.19.8.1-9) ... Setting up file (1:5.35-4+deb10u1) ... Setting up libicu63:armhf (63.1-6+deb10u1) ... Setting up autotools-dev (20180224.1) ... Setting up libjpeg62-turbo:armhf (1:1.5.2-2+b1) ... Setting up libx11-data (2:1.6.7-1) ... Setting up htmldoc-common (1.9.3-1) ... Setting up libncurses6:armhf (6.1+20181013-2+deb10u2) ... Setting up libsigsegv2:armhf (2.12-2) ... Setting up libpng16-16:armhf (1.6.36-6) ... Setting up autopoint (0.19.8.1-9) ... Setting up fonts-dejavu-core (2.37-1) ... Setting up libsensors5:armhf (1:3.5.0-3) ... Setting up libglapi-mesa:armhf (18.3.6-2+deb10u1) ... Setting up sensible-utils (0.0.12) ... Setting up libxshmfence1:armhf (1.3-1) ... Setting up libuchardet0:armhf (0.0.6-3) ... Setting up libbsd0:armhf (0.9.1-2) ... Setting up libdrm-common (2.4.97-1) ... Setting up libelf1:armhf (0.176-1.1) ... Setting up libxml2:armhf (2.9.4+dfsg1-7+b3) ... Setting up libfile-stripnondeterminism-perl (1.1.2-1) ... Setting up libxdmcp6:armhf (1:1.1.2-3) ... Setting up libxcb1:armhf (1.13.1-2) ... Setting up libtool (2.4.6-9) ... Setting up libxcb-glx0:armhf (1.13.1-2) ... Setting up libedit2:armhf (3.1-20181209-1) ... Setting up m4 (1.4.18-2) ... Setting up libxcb-present0:armhf (1.13.1-2) ... Setting up libfreetype6:armhf (2.9.1-3+deb10u1) ... Setting up libxcb-sync1:armhf (1.13.1-2) ... Setting up bsdmainutils (11.1.2+b1) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode Setting up libcroco3:armhf (0.6.12-3) ... Setting up ucf (3.0038+nmu1) ... Setting up autoconf (2.69-11) ... Setting up libxcb-dri2-0:armhf (1.13.1-2) ... Setting up libdrm2:armhf (2.4.97-1) ... Setting up dwz (0.12-3) ... Setting up groff-base (1.22.4-3) ... Setting up libllvm7:armhf (1:7.0.1-8) ... Setting up libx11-6:armhf (2:1.6.7-1) ... Setting up libdrm-amdgpu1:armhf (2.4.97-1) ... Setting up automake (1:1.16.1-4) ... update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode Setting up libxcb-dri3-0:armhf (1.13.1-2) ... Setting up libdrm-nouveau2:armhf (2.4.97-1) ... Setting up gettext (0.19.8.1-9) ... Setting up libdrm-etnaviv1:armhf (2.4.97-1) ... Setting up libxpm4:armhf (1:3.5.12-1) ... Setting up libxrender1:armhf (1:0.9.10-1) ... Setting up libdrm-radeon1:armhf (2.4.97-1) ... Setting up fontconfig-config (2.13.1-2) ... Setting up libgl1-mesa-dri:armhf (18.3.6-2+deb10u1) ... Setting up libxext6:armhf (2:1.3.3-1+b2) ... Setting up man-db (2.8.5-2) ... Not building database; man-db/auto-update is not 'true'. Setting up libxxf86vm1:armhf (1:1.1.4-1+b2) ... Setting up intltool-debian (0.35.0+20060710.5) ... Setting up libxfixes3:armhf (1:5.0.3-1) ... Setting up libxinerama1:armhf (2:1.1.4-2) ... Setting up libfontconfig1:armhf (2.13.1-2) ... Setting up libxft2:armhf (2.3.2-2) ... Setting up libxdamage1:armhf (1:1.1.4-3+b3) ... Setting up po-debconf (1.0.21) ... Setting up libglx-mesa0:armhf (18.3.6-2+deb10u1) ... Setting up libglx0:armhf (1.1.0-1) ... Setting up libgl1:armhf (1.1.0-1) ... Setting up libfltk1.1:armhf (1.1.10-26) ... Setting up htmldoc (1.9.3-1) ... Setting up debhelper (12.1.1) ... Setting up dh-autoreconf (19) ... Setting up dh-strip-nondeterminism (1.1.2-1) ... Processing triggers for libc-bin (2.28-10) ... Reading package lists... Building dependency tree... Reading state information... Reading extended state information... Initializing package states... Writing extended state information... Building tag database... -> Finished parsing the build-deps Reading package lists... Building dependency tree... Reading state information... fakeroot is already the newest version (1.23-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: Building the package I: Running cd /build/prover9-manual-0.0.200902a/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b dpkg-buildpackage: info: source package prover9-manual dpkg-buildpackage: info: source version 0.0.200902a-2 dpkg-buildpackage: info: source distribution unstable dpkg-buildpackage: info: source changed by tony mancill dpkg-source --before-build . dpkg-buildpackage: info: host architecture armhf fakeroot debian/rules clean dh_testdir dh_testroot rm -f build-stamp rm -rf finalbook dh_clean debian/rules build dh_testdir # Rebuild the pdf to update it and point it to the correct example directory mkdir -p finalbook cp *.html *.css *.gif finalbook/ sed -i 's#href="\(2inverter\.in\|2inverter\.out\|andrews\.in\|andrews\.out\|andrews\.out2\|assoc-comm\.clauses\|BA2\.in\|BA2\.interps\|BA2\.interps2\|BA2\.interps3\|BA2\.interps4\|BA2\.interps5\|BA4\.in\|BA4\.out\|BA-Sheffer\.demods\|bool-ring\.demods\|bool-ring\.in\|bool-ring\.out\|cabbages\.in\|cabbages\.out\|easy\.hints\|easy\.in\|easy\.out\|group\.demods\|group-terms\.in\|group-terms\.out\|hard-hints\.out\|hard\.in\|hard\.out\|interp3\.dtd\|interp3\.xsl\|jugs\.in\|jugs\.out\|kenken6\.in\|kenken6\.out\|list\.in\|list\.out\|LT-82-2\.in\|LT-82-2-interp\.in\|LT-82-2-interp\.out\|LT-82-2\.out\|LT-port\.in\|LT-port\.out\|LT-port\.out2\|MOL-cand\.238\|MOL-cand\.296\|MOL\.in\|MOL\.interps\|MOL\.interps2\|non-MOL-OML\.interps\|olsax\.in\|olsax\.out\|port\.py\|proof3\.dtd\|PUZ031-1\.in\|PUZ031-1\.out\|PUZ031-1\.out2\|PUZ031-1\.tptp\|qg4-ac\.interps\|qg4\.interps\|queens1\.in\|queens1\.out\|queens2\.in\|queens2\.out\|queens3\.in\|queens3\.out\|RBA-2\.in\|RBA-2q\.tptp\|RBA-2\.tptp\|redeclare\.in\|redeclare\.out\|ring41\.in\|ring41\.out\|send-money\.in\|send-money\.out\|subset\.in\|subset_trans_expand\.in\|subset_trans_expand\.out\|subset_trans\.in\|subset_trans\.out\|subset_trans\.out2\|subset_trans\.out3\|subset_trans\.out4\|subset_trans\.proof1\|subset_trans\.proof2\|subset_trans\.proof3\|subset_trans\.proof4\|subset_trans\.proof5\.xml\|subset_trans\.proof6\|subset_trans\.proof7\|subset_trans\.proof8\|trans\.in\|uc-18\.interps\|uc-hunt\.clauses\|uc-hunt\.out\|weight_test\.in\|weight_test\.out\|x2\.cooked\|x2\.in\|x2\.mace4\.out\|x2\.portable\|x2\.prover9\.out\|x2\.raw\|x2\.standard\|x2\.standard2\|x2\.tabular\|x2\.tex\|x2\.xml\|zebra2\.in\|zebra2\.out\)"#href="examples/\1"#g' finalbook/*.html ./setup_book < finalbook/nav.html > finalbook/make_book chmod +x finalbook/make_book cd finalbook && ./make_book PAGES: 119 BYTES: 781401 touch build-stamp fakeroot debian/rules binary dh_testdir dh_testroot dh_prep dh_installdirs dh_testdir dh_testroot dh_install sed -i 's#href="\(2inverter\.in\|2inverter\.out\|andrews\.in\|andrews\.out\|andrews\.out2\|assoc-comm\.clauses\|BA2\.in\|BA2\.interps\|BA2\.interps2\|BA2\.interps3\|BA2\.interps4\|BA2\.interps5\|BA4\.in\|BA4\.out\|BA-Sheffer\.demods\|bool-ring\.demods\|bool-ring\.in\|bool-ring\.out\|cabbages\.in\|cabbages\.out\|easy\.hints\|easy\.in\|easy\.out\|group\.demods\|group-terms\.in\|group-terms\.out\|hard-hints\.out\|hard\.in\|hard\.out\|interp3\.dtd\|interp3\.xsl\|jugs\.in\|jugs\.out\|kenken6\.in\|kenken6\.out\|list\.in\|list\.out\|LT-82-2\.in\|LT-82-2-interp\.in\|LT-82-2-interp\.out\|LT-82-2\.out\|LT-port\.in\|LT-port\.out\|LT-port\.out2\|MOL-cand\.238\|MOL-cand\.296\|MOL\.in\|MOL\.interps\|MOL\.interps2\|non-MOL-OML\.interps\|olsax\.in\|olsax\.out\|port\.py\|proof3\.dtd\|PUZ031-1\.in\|PUZ031-1\.out\|PUZ031-1\.out2\|PUZ031-1\.tptp\|qg4-ac\.interps\|qg4\.interps\|queens1\.in\|queens1\.out\|queens2\.in\|queens2\.out\|queens3\.in\|queens3\.out\|RBA-2\.in\|RBA-2q\.tptp\|RBA-2\.tptp\|redeclare\.in\|redeclare\.out\|ring41\.in\|ring41\.out\|send-money\.in\|send-money\.out\|subset\.in\|subset_trans_expand\.in\|subset_trans_expand\.out\|subset_trans\.in\|subset_trans\.out\|subset_trans\.out2\|subset_trans\.out3\|subset_trans\.out4\|subset_trans\.proof1\|subset_trans\.proof2\|subset_trans\.proof3\|subset_trans\.proof4\|subset_trans\.proof5\.xml\|subset_trans\.proof6\|subset_trans\.proof7\|subset_trans\.proof8\|trans\.in\|uc-18\.interps\|uc-hunt\.clauses\|uc-hunt\.out\|weight_test\.in\|weight_test\.out\|x2\.cooked\|x2\.in\|x2\.mace4\.out\|x2\.portable\|x2\.prover9\.out\|x2\.raw\|x2\.standard\|x2\.standard2\|x2\.tabular\|x2\.tex\|x2\.xml\|zebra2\.in\|zebra2\.out\)"#href="../examples/\1"#g' debian/prover9-doc/usr/share/doc/prover9-doc/html/*.html dh_installchangelogs dh_installdocs dh_compress dh_installexamples dh_fixperms dh_installdeb dh_gencontrol dh_md5sums dh_builddeb dpkg-deb: building package 'prover9-doc' in '../prover9-doc_0.0.200902a-2_all.deb'. dpkg-genbuildinfo --build=binary dpkg-genchanges --build=binary >../prover9-manual_0.0.200902a-2_armhf.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: copying local configuration I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env I: removing directory /srv/workspace/pbuilder/31737 and its subdirectories I: Current time: Sat Aug 8 19:59:13 -12 2020 I: pbuilder-time-stamp: 1596959953