I: pbuilder: network access will be disabled during build I: Current time: Fri Jul 24 15:13:37 +14 2020 I: pbuilder-time-stamp: 1595553217 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 '/var/lib/jenkins/.gnupg/trustedkeys.kbx': General error gpgv: Signature made Sat May 4 19:17:55 2013 +14 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/28649/tmp/hooks/D01_modify_environment starting debug: Running on codethink-sled10-arm64. I: Changing host+domainname to test build reproducibility I: Adding a custom variable just for the fun of it... I: Changing /bin/sh to bash Removing 'diversion of /bin/sh to /bin/sh.distrib by dash' Adding 'diversion of /bin/sh to /bin/sh.distrib by bash' Removing 'diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash' Adding 'diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by bash' I: Setting pbuilder2's login shell to /bin/bash I: Setting pbuilder2's GECOS to second user,second room,second work-phone,second home-phone,second other I: user script /srv/workspace/pbuilder/28649/tmp/hooks/D01_modify_environment finished I: user script /srv/workspace/pbuilder/28649/tmp/hooks/D02_print_environment starting I: set BASH=/bin/sh BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:hostcomplete:interactive_comments:progcomp:promptvars:sourcepath BASH_ALIASES=() BASH_ARGC=() BASH_ARGV=() BASH_CMDS=() BASH_LINENO=([0]="12" [1]="0") BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment") BASH_VERSINFO=([0]="5" [1]="0" [2]="3" [3]="1" [4]="release" [5]="aarch64-unknown-linux-gnu") BASH_VERSION='5.0.3(1)-release' BUILDDIR=/build BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other' BUILDUSERNAME=pbuilder2 BUILD_ARCH=arm64 DEBIAN_FRONTEND=noninteractive DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=8' DIRSTACK=() DISTRIBUTION= EUID=0 FUNCNAME=([0]="Echo" [1]="main") GROUPS=() HOME=/var/lib/jenkins HOSTNAME=i-capture-the-hostname HOSTTYPE=aarch64 HOST_ARCH=arm64 IFS=' ' LANG=C LANGUAGE=nl_BE:nl LC_ALL=C MACHTYPE=aarch64-unknown-linux-gnu MAIL=/var/mail/root OPTERR=1 OPTIND=1 OSTYPE=linux-gnu PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path PBCURRENTCOMMANDLINEOPERATION=build PBUILDER_OPERATION=build PBUILDER_PKGDATADIR=/usr/share/pbuilder PBUILDER_PKGLIBDIR=/usr/lib/pbuilder PBUILDER_SYSCONFDIR=/etc PIPESTATUS=([0]="0") POSIXLY_CORRECT=y PPID=28649 PS4='+ ' PWD=/ SHELL=/bin/bash SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix SHLVL=3 SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/tmp.e76F9cwSVx/pbuilderrc_eFRl --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/buster-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/tmp.e76F9cwSVx/b2 --logfile b2/build.log prover9-manual_0.0.200902a-2.dsc' SUDO_GID=117 SUDO_UID=110 SUDO_USER=jenkins TERM=unknown TZ=/usr/share/zoneinfo/Etc/GMT-14 UID=0 USER=root USERNAME=root _='I: set' http_proxy=http://192.168.101.16:3128 I: uname -a Linux i-capture-the-hostname 4.4.0-186-generic #216-Ubuntu SMP Wed Jul 1 05:35:21 UTC 2020 aarch64 GNU/Linux I: ls -l /bin total 4928 -rwxr-xr-x 1 root root 1216928 Apr 18 2019 bash -rwxr-xr-x 3 root root 34808 Jul 11 2019 bunzip2 -rwxr-xr-x 3 root root 34808 Jul 11 2019 bzcat lrwxrwxrwx 1 root root 6 Jul 11 2019 bzcmp -> bzdiff -rwxr-xr-x 1 root root 2227 Jul 11 2019 bzdiff lrwxrwxrwx 1 root root 6 Jul 11 2019 bzegrep -> bzgrep -rwxr-xr-x 1 root root 4877 Jun 25 2019 bzexe lrwxrwxrwx 1 root root 6 Jul 11 2019 bzfgrep -> bzgrep -rwxr-xr-x 1 root root 3641 Jul 11 2019 bzgrep -rwxr-xr-x 3 root root 34808 Jul 11 2019 bzip2 -rwxr-xr-x 1 root root 14264 Jul 11 2019 bzip2recover lrwxrwxrwx 1 root root 6 Jul 11 2019 bzless -> bzmore -rwxr-xr-x 1 root root 1297 Jul 11 2019 bzmore -rwxr-xr-x 1 root root 35576 Mar 1 2019 cat -rwxr-xr-x 1 root root 60256 Mar 1 2019 chgrp -rwxr-xr-x 1 root root 56096 Mar 1 2019 chmod -rwxr-xr-x 1 root root 64368 Mar 1 2019 chown -rwxr-xr-x 1 root root 134632 Mar 1 2019 cp -rwxr-xr-x 1 root root 129536 Jan 18 2019 dash -rwxr-xr-x 1 root root 97136 Mar 1 2019 date -rwxr-xr-x 1 root root 76736 Mar 1 2019 dd -rwxr-xr-x 1 root root 93752 Mar 1 2019 df -rwxr-xr-x 1 root root 138848 Mar 1 2019 dir -rwxr-xr-x 1 root root 75984 Jan 10 2019 dmesg lrwxrwxrwx 1 root root 8 Sep 27 2018 dnsdomainname -> hostname lrwxrwxrwx 1 root root 8 Sep 27 2018 domainname -> hostname -rwxr-xr-x 1 root root 31368 Mar 1 2019 echo -rwxr-xr-x 1 root root 28 Jan 8 2019 egrep -rwxr-xr-x 1 root root 27256 Mar 1 2019 false -rwxr-xr-x 1 root root 28 Jan 8 2019 fgrep -rwxr-xr-x 1 root root 68792 Jan 10 2019 findmnt -rwsr-xr-x 1 root root 34824 Apr 23 09:38 fusermount -rwxr-xr-x 1 root root 174304 Jan 8 2019 grep -rwxr-xr-x 2 root root 2345 Jan 6 2019 gunzip -rwxr-xr-x 1 root root 6375 Jan 6 2019 gzexe -rwxr-xr-x 1 root root 89656 Jan 6 2019 gzip -rwxr-xr-x 1 root root 18440 Sep 27 2018 hostname -rwxr-xr-x 1 root root 64472 Mar 1 2019 ln -rwxr-xr-x 1 root root 52544 Jul 27 2018 login -rwxr-xr-x 1 root root 138848 Mar 1 2019 ls -rwxr-xr-x 1 root root 108552 Jan 10 2019 lsblk -rwxr-xr-x 1 root root 76840 Mar 1 2019 mkdir -rwxr-xr-x 1 root root 64480 Mar 1 2019 mknod -rwxr-xr-x 1 root root 39736 Mar 1 2019 mktemp -rwxr-xr-x 1 root root 38840 Jan 10 2019 more -rwsr-xr-x 1 root root 47112 Jan 10 2019 mount -rwxr-xr-x 1 root root 14344 Jan 10 2019 mountpoint -rwxr-xr-x 1 root root 138736 Mar 1 2019 mv lrwxrwxrwx 1 root root 8 Sep 27 2018 nisdomainname -> hostname lrwxrwxrwx 1 root root 14 Feb 15 2019 pidof -> /sbin/killall5 -rwxr-xr-x 1 root root 35560 Mar 1 2019 pwd lrwxrwxrwx 1 root root 4 Apr 18 2019 rbash -> bash -rwxr-xr-x 1 root root 43712 Mar 1 2019 readlink -rwxr-xr-x 1 root root 68440 Mar 1 2019 rm -rwxr-xr-x 1 root root 39624 Mar 1 2019 rmdir -rwxr-xr-x 1 root root 19144 Jan 22 2019 run-parts -rwxr-xr-x 1 root root 114016 Dec 23 2018 sed lrwxrwxrwx 1 root root 4 Jul 24 15:13 sh -> bash lrwxrwxrwx 1 root root 4 Jul 22 22:27 sh.distrib -> dash -rwxr-xr-x 1 root root 31384 Mar 1 2019 sleep -rwxr-xr-x 1 root root 72480 Mar 1 2019 stty -rwsr-xr-x 1 root root 59424 Jan 10 2019 su -rwxr-xr-x 1 root root 31416 Mar 1 2019 sync -rwxr-xr-x 1 root root 449416 Apr 24 2019 tar -rwxr-xr-x 1 root root 10560 Jan 22 2019 tempfile -rwxr-xr-x 1 root root 88968 Mar 1 2019 touch -rwxr-xr-x 1 root root 27256 Mar 1 2019 true -rwxr-xr-x 1 root root 14264 Apr 23 09:38 ulockmgr_server -rwsr-xr-x 1 root root 30728 Jan 10 2019 umount -rwxr-xr-x 1 root root 31384 Mar 1 2019 uname -rwxr-xr-x 2 root root 2345 Jan 6 2019 uncompress -rwxr-xr-x 1 root root 138848 Mar 1 2019 vdir -rwxr-xr-x 1 root root 34824 Jan 10 2019 wdctl -rwxr-xr-x 1 root root 946 Jan 22 2019 which lrwxrwxrwx 1 root root 8 Sep 27 2018 ypdomainname -> hostname -rwxr-xr-x 1 root root 1983 Jan 6 2019 zcat -rwxr-xr-x 1 root root 1677 Jan 6 2019 zcmp -rwxr-xr-x 1 root root 5879 Jan 6 2019 zdiff -rwxr-xr-x 1 root root 29 Jan 6 2019 zegrep -rwxr-xr-x 1 root root 29 Jan 6 2019 zfgrep -rwxr-xr-x 1 root root 2080 Jan 6 2019 zforce -rwxr-xr-x 1 root root 7584 Jan 6 2019 zgrep -rwxr-xr-x 1 root root 2205 Jan 6 2019 zless -rwxr-xr-x 1 root root 1841 Jan 6 2019 zmore -rwxr-xr-x 1 root root 4552 Jan 6 2019 znew I: user script /srv/workspace/pbuilder/28649/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: arm64 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 ... 19168 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 42.5 MB of archives. After unpacking 337 MB will be used. Writing extended state information... Get: 1 http://deb.debian.org/debian buster/main arm64 libbsd0 arm64 0.9.1-2 [97.4 kB] Get: 2 http://deb.debian.org/debian buster/main arm64 bsdmainutils arm64 11.1.2+b1 [185 kB] Get: 3 http://deb.debian.org/debian buster/main arm64 libuchardet0 arm64 0.0.6-3 [65.0 kB] Get: 4 http://deb.debian.org/debian buster/main arm64 groff-base arm64 1.22.4-3 [869 kB] Get: 5 http://deb.debian.org/debian buster/main arm64 libpipeline1 arm64 1.5.1-2 [29.8 kB] Get: 6 http://deb.debian.org/debian buster/main arm64 man-db arm64 2.8.5-2 [1258 kB] Get: 7 http://deb.debian.org/debian buster/main arm64 sensible-utils all 0.0.12 [15.8 kB] Get: 8 http://deb.debian.org/debian buster/main arm64 libmagic-mgc arm64 1:5.35-4+deb10u1 [242 kB] Get: 9 http://deb.debian.org/debian buster/main arm64 libmagic1 arm64 1:5.35-4+deb10u1 [115 kB] Get: 10 http://deb.debian.org/debian buster/main arm64 file arm64 1:5.35-4+deb10u1 [66.4 kB] Get: 11 http://deb.debian.org/debian buster/main arm64 gettext-base arm64 0.19.8.1-9 [120 kB] Get: 12 http://deb.debian.org/debian buster/main arm64 ucf all 3.0038+nmu1 [69.0 kB] Get: 13 http://deb.debian.org/debian buster/main arm64 libsigsegv2 arm64 2.12-2 [32.3 kB] Get: 14 http://deb.debian.org/debian buster/main arm64 m4 arm64 1.4.18-2 [198 kB] Get: 15 http://deb.debian.org/debian buster/main arm64 autoconf all 2.69-11 [341 kB] Get: 16 http://deb.debian.org/debian buster/main arm64 autotools-dev all 20180224.1 [77.0 kB] Get: 17 http://deb.debian.org/debian buster/main arm64 automake all 1:1.16.1-4 [771 kB] Get: 18 http://deb.debian.org/debian buster/main arm64 autopoint all 0.19.8.1-9 [434 kB] Get: 19 http://deb.debian.org/debian buster/main arm64 libtool all 2.4.6-9 [547 kB] Get: 20 http://deb.debian.org/debian buster/main arm64 dh-autoreconf all 19 [16.9 kB] Get: 21 http://deb.debian.org/debian buster/main arm64 libarchive-zip-perl all 1.64-1 [96.8 kB] Get: 22 http://deb.debian.org/debian buster/main arm64 libfile-stripnondeterminism-perl all 1.1.2-1 [19.8 kB] Get: 23 http://deb.debian.org/debian buster/main arm64 dh-strip-nondeterminism all 1.1.2-1 [13.0 kB] Get: 24 http://deb.debian.org/debian buster/main arm64 libelf1 arm64 0.176-1.1 [160 kB] Get: 25 http://deb.debian.org/debian buster/main arm64 dwz arm64 0.12-3 [71.7 kB] Get: 26 http://deb.debian.org/debian buster/main arm64 libglib2.0-0 arm64 2.58.3-2+deb10u2 [1185 kB] Get: 27 http://deb.debian.org/debian buster/main arm64 libicu63 arm64 63.1-6+deb10u1 [8151 kB] Get: 28 http://deb.debian.org/debian buster/main arm64 libxml2 arm64 2.9.4+dfsg1-7+b3 [623 kB] Get: 29 http://deb.debian.org/debian buster/main arm64 libcroco3 arm64 0.6.12-3 [140 kB] Get: 30 http://deb.debian.org/debian buster/main arm64 libncurses6 arm64 6.1+20181013-2+deb10u2 [92.6 kB] Get: 31 http://deb.debian.org/debian buster/main arm64 gettext arm64 0.19.8.1-9 [1261 kB] Get: 32 http://deb.debian.org/debian buster/main arm64 intltool-debian all 0.35.0+20060710.5 [26.8 kB] Get: 33 http://deb.debian.org/debian buster/main arm64 po-debconf all 1.0.21 [248 kB] Get: 34 http://deb.debian.org/debian buster/main arm64 debhelper all 12.1.1 [1016 kB] Get: 35 http://deb.debian.org/debian buster/main arm64 fonts-dejavu-core all 2.37-1 [1068 kB] Get: 36 http://deb.debian.org/debian buster/main arm64 fontconfig-config all 2.13.1-2 [280 kB] Get: 37 http://deb.debian.org/debian buster/main arm64 htmldoc-common all 1.9.3-1 [2125 kB] Get: 38 http://deb.debian.org/debian buster/main arm64 libexpat1 arm64 2.2.6-2+deb10u1 [85.4 kB] Get: 39 http://deb.debian.org/debian buster/main arm64 libpng16-16 arm64 1.6.36-6 [287 kB] Get: 40 http://deb.debian.org/debian buster/main arm64 libfreetype6 arm64 2.9.1-3+deb10u1 [355 kB] Get: 41 http://deb.debian.org/debian buster/main arm64 libfontconfig1 arm64 2.13.1-2 [343 kB] Get: 42 http://deb.debian.org/debian buster/main arm64 libglvnd0 arm64 1.1.0-1 [42.4 kB] Get: 43 http://deb.debian.org/debian buster/main arm64 libxau6 arm64 1:1.0.8-1+b2 [19.3 kB] Get: 44 http://deb.debian.org/debian buster/main arm64 libxdmcp6 arm64 1:1.1.2-3 [25.4 kB] Get: 45 http://deb.debian.org/debian buster/main arm64 libxcb1 arm64 1.13.1-2 [135 kB] Get: 46 http://deb.debian.org/debian buster/main arm64 libx11-data all 2:1.6.7-1 [298 kB] Get: 47 http://deb.debian.org/debian buster/main arm64 libx11-6 arm64 2:1.6.7-1 [735 kB] Get: 48 http://deb.debian.org/debian buster/main arm64 libxext6 arm64 2:1.3.3-1+b2 [48.6 kB] Get: 49 http://deb.debian.org/debian buster/main arm64 libdrm-common all 2.4.97-1 [13.8 kB] Get: 50 http://deb.debian.org/debian buster/main arm64 libdrm2 arm64 2.4.97-1 [39.5 kB] Get: 51 http://deb.debian.org/debian buster/main arm64 libglapi-mesa arm64 18.3.6-2+deb10u1 [74.8 kB] Get: 52 http://deb.debian.org/debian buster/main arm64 libx11-xcb1 arm64 2:1.6.7-1 [190 kB] Get: 53 http://deb.debian.org/debian buster/main arm64 libxcb-dri2-0 arm64 1.13.1-2 [101 kB] Get: 54 http://deb.debian.org/debian buster/main arm64 libxcb-dri3-0 arm64 1.13.1-2 [100 kB] Get: 55 http://deb.debian.org/debian buster/main arm64 libxcb-glx0 arm64 1.13.1-2 [116 kB] Get: 56 http://deb.debian.org/debian buster/main arm64 libxcb-present0 arm64 1.13.1-2 [99.1 kB] Get: 57 http://deb.debian.org/debian buster/main arm64 libxcb-sync1 arm64 1.13.1-2 [102 kB] Get: 58 http://deb.debian.org/debian buster/main arm64 libxfixes3 arm64 1:5.0.3-1 [21.0 kB] Get: 59 http://deb.debian.org/debian buster/main arm64 libxdamage1 arm64 1:1.1.4-3+b3 [14.8 kB] Get: 60 http://deb.debian.org/debian buster/main arm64 libxshmfence1 arm64 1.3-1 [8712 B] Get: 61 http://deb.debian.org/debian buster/main arm64 libxxf86vm1 arm64 1:1.1.4-1+b2 [20.1 kB] Get: 62 http://deb.debian.org/debian buster/main arm64 libdrm-amdgpu1 arm64 2.4.97-1 [26.6 kB] Get: 63 http://deb.debian.org/debian buster/main arm64 libdrm-etnaviv1 arm64 2.4.97-1 [21.0 kB] Get: 64 http://deb.debian.org/debian buster/main arm64 libdrm-nouveau2 arm64 2.4.97-1 [25.5 kB] Get: 65 http://deb.debian.org/debian buster/main arm64 libdrm-radeon1 arm64 2.4.97-1 [30.0 kB] Get: 66 http://deb.debian.org/debian buster/main arm64 libedit2 arm64 3.1-20181209-1 [91.2 kB] Get: 67 http://deb.debian.org/debian buster/main arm64 libllvm7 arm64 1:7.0.1-8 [10.8 MB] Get: 68 http://deb.debian.org/debian buster/main arm64 libsensors-config all 1:3.5.0-3 [31.6 kB] Get: 69 http://deb.debian.org/debian buster/main arm64 libsensors5 arm64 1:3.5.0-3 [51.8 kB] Get: 70 http://deb.debian.org/debian buster/main arm64 libgl1-mesa-dri arm64 18.3.6-2+deb10u1 [4910 kB] Get: 71 http://deb.debian.org/debian buster/main arm64 libglx-mesa0 arm64 18.3.6-2+deb10u1 [180 kB] Get: 72 http://deb.debian.org/debian buster/main arm64 libglx0 arm64 1.1.0-1 [29.0 kB] Get: 73 http://deb.debian.org/debian buster/main arm64 libgl1 arm64 1.1.0-1 [92.5 kB] Get: 74 http://deb.debian.org/debian buster/main arm64 libjpeg62-turbo arm64 1:1.5.2-2+b1 [115 kB] Get: 75 http://deb.debian.org/debian buster/main arm64 libxrender1 arm64 1:0.9.10-1 [30.4 kB] Get: 76 http://deb.debian.org/debian buster/main arm64 libxft2 arm64 2.3.2-2 [51.3 kB] Get: 77 http://deb.debian.org/debian buster/main arm64 libxinerama1 arm64 2:1.1.4-2 [17.7 kB] Get: 78 http://deb.debian.org/debian buster/main arm64 libfltk1.1 arm64 1.1.10-26 [361 kB] Get: 79 http://deb.debian.org/debian buster/main arm64 libxpm4 arm64 1:3.5.12-1 [43.9 kB] Get: 80 http://deb.debian.org/debian buster/main arm64 htmldoc arm64 1.9.3-1 [154 kB] Fetched 42.5 MB in 2s (20.7 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libbsd0:arm64. (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 ... 19168 files and directories currently installed.) Preparing to unpack .../00-libbsd0_0.9.1-2_arm64.deb ... Unpacking libbsd0:arm64 (0.9.1-2) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../01-bsdmainutils_11.1.2+b1_arm64.deb ... Unpacking bsdmainutils (11.1.2+b1) ... Selecting previously unselected package libuchardet0:arm64. Preparing to unpack .../02-libuchardet0_0.0.6-3_arm64.deb ... Unpacking libuchardet0:arm64 (0.0.6-3) ... Selecting previously unselected package groff-base. Preparing to unpack .../03-groff-base_1.22.4-3_arm64.deb ... Unpacking groff-base (1.22.4-3) ... Selecting previously unselected package libpipeline1:arm64. Preparing to unpack .../04-libpipeline1_1.5.1-2_arm64.deb ... Unpacking libpipeline1:arm64 (1.5.1-2) ... Selecting previously unselected package man-db. Preparing to unpack .../05-man-db_2.8.5-2_arm64.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_arm64.deb ... Unpacking libmagic-mgc (1:5.35-4+deb10u1) ... Selecting previously unselected package libmagic1:arm64. Preparing to unpack .../08-libmagic1_1%3a5.35-4+deb10u1_arm64.deb ... Unpacking libmagic1:arm64 (1:5.35-4+deb10u1) ... Selecting previously unselected package file. Preparing to unpack .../09-file_1%3a5.35-4+deb10u1_arm64.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_arm64.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:arm64. Preparing to unpack .../12-libsigsegv2_2.12-2_arm64.deb ... Unpacking libsigsegv2:arm64 (2.12-2) ... Selecting previously unselected package m4. Preparing to unpack .../13-m4_1.4.18-2_arm64.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:arm64. Preparing to unpack .../23-libelf1_0.176-1.1_arm64.deb ... Unpacking libelf1:arm64 (0.176-1.1) ... Selecting previously unselected package dwz. Preparing to unpack .../24-dwz_0.12-3_arm64.deb ... Unpacking dwz (0.12-3) ... Selecting previously unselected package libglib2.0-0:arm64. Preparing to unpack .../25-libglib2.0-0_2.58.3-2+deb10u2_arm64.deb ... Unpacking libglib2.0-0:arm64 (2.58.3-2+deb10u2) ... Selecting previously unselected package libicu63:arm64. Preparing to unpack .../26-libicu63_63.1-6+deb10u1_arm64.deb ... Unpacking libicu63:arm64 (63.1-6+deb10u1) ... Selecting previously unselected package libxml2:arm64. Preparing to unpack .../27-libxml2_2.9.4+dfsg1-7+b3_arm64.deb ... Unpacking libxml2:arm64 (2.9.4+dfsg1-7+b3) ... Selecting previously unselected package libcroco3:arm64. Preparing to unpack .../28-libcroco3_0.6.12-3_arm64.deb ... Unpacking libcroco3:arm64 (0.6.12-3) ... Selecting previously unselected package libncurses6:arm64. Preparing to unpack .../29-libncurses6_6.1+20181013-2+deb10u2_arm64.deb ... Unpacking libncurses6:arm64 (6.1+20181013-2+deb10u2) ... Selecting previously unselected package gettext. Preparing to unpack .../30-gettext_0.19.8.1-9_arm64.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:arm64. Preparing to unpack .../37-libexpat1_2.2.6-2+deb10u1_arm64.deb ... Unpacking libexpat1:arm64 (2.2.6-2+deb10u1) ... Selecting previously unselected package libpng16-16:arm64. Preparing to unpack .../38-libpng16-16_1.6.36-6_arm64.deb ... Unpacking libpng16-16:arm64 (1.6.36-6) ... Selecting previously unselected package libfreetype6:arm64. Preparing to unpack .../39-libfreetype6_2.9.1-3+deb10u1_arm64.deb ... Unpacking libfreetype6:arm64 (2.9.1-3+deb10u1) ... Selecting previously unselected package libfontconfig1:arm64. Preparing to unpack .../40-libfontconfig1_2.13.1-2_arm64.deb ... Unpacking libfontconfig1:arm64 (2.13.1-2) ... Selecting previously unselected package libglvnd0:arm64. Preparing to unpack .../41-libglvnd0_1.1.0-1_arm64.deb ... Unpacking libglvnd0:arm64 (1.1.0-1) ... Selecting previously unselected package libxau6:arm64. Preparing to unpack .../42-libxau6_1%3a1.0.8-1+b2_arm64.deb ... Unpacking libxau6:arm64 (1:1.0.8-1+b2) ... Selecting previously unselected package libxdmcp6:arm64. Preparing to unpack .../43-libxdmcp6_1%3a1.1.2-3_arm64.deb ... Unpacking libxdmcp6:arm64 (1:1.1.2-3) ... Selecting previously unselected package libxcb1:arm64. Preparing to unpack .../44-libxcb1_1.13.1-2_arm64.deb ... Unpacking libxcb1:arm64 (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:arm64. Preparing to unpack .../46-libx11-6_2%3a1.6.7-1_arm64.deb ... Unpacking libx11-6:arm64 (2:1.6.7-1) ... Selecting previously unselected package libxext6:arm64. Preparing to unpack .../47-libxext6_2%3a1.3.3-1+b2_arm64.deb ... Unpacking libxext6:arm64 (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:arm64. Preparing to unpack .../49-libdrm2_2.4.97-1_arm64.deb ... Unpacking libdrm2:arm64 (2.4.97-1) ... Selecting previously unselected package libglapi-mesa:arm64. Preparing to unpack .../50-libglapi-mesa_18.3.6-2+deb10u1_arm64.deb ... Unpacking libglapi-mesa:arm64 (18.3.6-2+deb10u1) ... Selecting previously unselected package libx11-xcb1:arm64. Preparing to unpack .../51-libx11-xcb1_2%3a1.6.7-1_arm64.deb ... Unpacking libx11-xcb1:arm64 (2:1.6.7-1) ... Selecting previously unselected package libxcb-dri2-0:arm64. Preparing to unpack .../52-libxcb-dri2-0_1.13.1-2_arm64.deb ... Unpacking libxcb-dri2-0:arm64 (1.13.1-2) ... Selecting previously unselected package libxcb-dri3-0:arm64. Preparing to unpack .../53-libxcb-dri3-0_1.13.1-2_arm64.deb ... Unpacking libxcb-dri3-0:arm64 (1.13.1-2) ... Selecting previously unselected package libxcb-glx0:arm64. Preparing to unpack .../54-libxcb-glx0_1.13.1-2_arm64.deb ... Unpacking libxcb-glx0:arm64 (1.13.1-2) ... Selecting previously unselected package libxcb-present0:arm64. Preparing to unpack .../55-libxcb-present0_1.13.1-2_arm64.deb ... Unpacking libxcb-present0:arm64 (1.13.1-2) ... Selecting previously unselected package libxcb-sync1:arm64. Preparing to unpack .../56-libxcb-sync1_1.13.1-2_arm64.deb ... Unpacking libxcb-sync1:arm64 (1.13.1-2) ... Selecting previously unselected package libxfixes3:arm64. Preparing to unpack .../57-libxfixes3_1%3a5.0.3-1_arm64.deb ... Unpacking libxfixes3:arm64 (1:5.0.3-1) ... Selecting previously unselected package libxdamage1:arm64. Preparing to unpack .../58-libxdamage1_1%3a1.1.4-3+b3_arm64.deb ... Unpacking libxdamage1:arm64 (1:1.1.4-3+b3) ... Selecting previously unselected package libxshmfence1:arm64. Preparing to unpack .../59-libxshmfence1_1.3-1_arm64.deb ... Unpacking libxshmfence1:arm64 (1.3-1) ... Selecting previously unselected package libxxf86vm1:arm64. Preparing to unpack .../60-libxxf86vm1_1%3a1.1.4-1+b2_arm64.deb ... Unpacking libxxf86vm1:arm64 (1:1.1.4-1+b2) ... Selecting previously unselected package libdrm-amdgpu1:arm64. Preparing to unpack .../61-libdrm-amdgpu1_2.4.97-1_arm64.deb ... Unpacking libdrm-amdgpu1:arm64 (2.4.97-1) ... Selecting previously unselected package libdrm-etnaviv1:arm64. Preparing to unpack .../62-libdrm-etnaviv1_2.4.97-1_arm64.deb ... Unpacking libdrm-etnaviv1:arm64 (2.4.97-1) ... Selecting previously unselected package libdrm-nouveau2:arm64. Preparing to unpack .../63-libdrm-nouveau2_2.4.97-1_arm64.deb ... Unpacking libdrm-nouveau2:arm64 (2.4.97-1) ... Selecting previously unselected package libdrm-radeon1:arm64. Preparing to unpack .../64-libdrm-radeon1_2.4.97-1_arm64.deb ... Unpacking libdrm-radeon1:arm64 (2.4.97-1) ... Selecting previously unselected package libedit2:arm64. Preparing to unpack .../65-libedit2_3.1-20181209-1_arm64.deb ... Unpacking libedit2:arm64 (3.1-20181209-1) ... Selecting previously unselected package libllvm7:arm64. Preparing to unpack .../66-libllvm7_1%3a7.0.1-8_arm64.deb ... Unpacking libllvm7:arm64 (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:arm64. Preparing to unpack .../68-libsensors5_1%3a3.5.0-3_arm64.deb ... Unpacking libsensors5:arm64 (1:3.5.0-3) ... Selecting previously unselected package libgl1-mesa-dri:arm64. Preparing to unpack .../69-libgl1-mesa-dri_18.3.6-2+deb10u1_arm64.deb ... Unpacking libgl1-mesa-dri:arm64 (18.3.6-2+deb10u1) ... Selecting previously unselected package libglx-mesa0:arm64. Preparing to unpack .../70-libglx-mesa0_18.3.6-2+deb10u1_arm64.deb ... Unpacking libglx-mesa0:arm64 (18.3.6-2+deb10u1) ... Selecting previously unselected package libglx0:arm64. Preparing to unpack .../71-libglx0_1.1.0-1_arm64.deb ... Unpacking libglx0:arm64 (1.1.0-1) ... Selecting previously unselected package libgl1:arm64. Preparing to unpack .../72-libgl1_1.1.0-1_arm64.deb ... Unpacking libgl1:arm64 (1.1.0-1) ... Selecting previously unselected package libjpeg62-turbo:arm64. Preparing to unpack .../73-libjpeg62-turbo_1%3a1.5.2-2+b1_arm64.deb ... Unpacking libjpeg62-turbo:arm64 (1:1.5.2-2+b1) ... Selecting previously unselected package libxrender1:arm64. Preparing to unpack .../74-libxrender1_1%3a0.9.10-1_arm64.deb ... Unpacking libxrender1:arm64 (1:0.9.10-1) ... Selecting previously unselected package libxft2:arm64. Preparing to unpack .../75-libxft2_2.3.2-2_arm64.deb ... Unpacking libxft2:arm64 (2.3.2-2) ... Selecting previously unselected package libxinerama1:arm64. Preparing to unpack .../76-libxinerama1_2%3a1.1.4-2_arm64.deb ... Unpacking libxinerama1:arm64 (2:1.1.4-2) ... Selecting previously unselected package libfltk1.1:arm64. Preparing to unpack .../77-libfltk1.1_1.1.10-26_arm64.deb ... Unpacking libfltk1.1:arm64 (1.1.10-26) ... Selecting previously unselected package libxpm4:arm64. Preparing to unpack .../78-libxpm4_1%3a3.5.12-1_arm64.deb ... Unpacking libxpm4:arm64 (1:3.5.12-1) ... Selecting previously unselected package htmldoc. Preparing to unpack .../79-htmldoc_1.9.3-1_arm64.deb ... Unpacking htmldoc (1.9.3-1) ... Setting up libexpat1:arm64 (2.2.6-2+deb10u1) ... Setting up libpipeline1:arm64 (1.5.1-2) ... Setting up libx11-xcb1:arm64 (2:1.6.7-1) ... Setting up libxau6:arm64 (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:arm64 (2.58.3-2+deb10u2) ... No schema files found: doing nothing. Setting up libglvnd0:arm64 (1.1.0-1) ... Setting up libsensors-config (1:3.5.0-3) ... Setting up libmagic1:arm64 (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:arm64 (63.1-6+deb10u1) ... Setting up autotools-dev (20180224.1) ... Setting up libjpeg62-turbo:arm64 (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:arm64 (6.1+20181013-2+deb10u2) ... Setting up libsigsegv2:arm64 (2.12-2) ... Setting up libpng16-16:arm64 (1.6.36-6) ... Setting up autopoint (0.19.8.1-9) ... Setting up fonts-dejavu-core (2.37-1) ... Setting up libsensors5:arm64 (1:3.5.0-3) ... Setting up libglapi-mesa:arm64 (18.3.6-2+deb10u1) ... Setting up sensible-utils (0.0.12) ... Setting up libxshmfence1:arm64 (1.3-1) ... Setting up libuchardet0:arm64 (0.0.6-3) ... Setting up libbsd0:arm64 (0.9.1-2) ... Setting up libdrm-common (2.4.97-1) ... Setting up libelf1:arm64 (0.176-1.1) ... Setting up libxml2:arm64 (2.9.4+dfsg1-7+b3) ... Setting up libfile-stripnondeterminism-perl (1.1.2-1) ... Setting up libxdmcp6:arm64 (1:1.1.2-3) ... Setting up libxcb1:arm64 (1.13.1-2) ... Setting up libtool (2.4.6-9) ... Setting up libxcb-glx0:arm64 (1.13.1-2) ... Setting up libedit2:arm64 (3.1-20181209-1) ... Setting up m4 (1.4.18-2) ... Setting up libxcb-present0:arm64 (1.13.1-2) ... Setting up libfreetype6:arm64 (2.9.1-3+deb10u1) ... Setting up libxcb-sync1:arm64 (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:arm64 (0.6.12-3) ... Setting up ucf (3.0038+nmu1) ... Setting up autoconf (2.69-11) ... Setting up libxcb-dri2-0:arm64 (1.13.1-2) ... Setting up libdrm2:arm64 (2.4.97-1) ... Setting up dwz (0.12-3) ... Setting up groff-base (1.22.4-3) ... Setting up libllvm7:arm64 (1:7.0.1-8) ... Setting up libx11-6:arm64 (2:1.6.7-1) ... Setting up libdrm-amdgpu1:arm64 (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:arm64 (1.13.1-2) ... Setting up libdrm-nouveau2:arm64 (2.4.97-1) ... Setting up gettext (0.19.8.1-9) ... Setting up libdrm-etnaviv1:arm64 (2.4.97-1) ... Setting up libxpm4:arm64 (1:3.5.12-1) ... Setting up libxrender1:arm64 (1:0.9.10-1) ... Setting up libdrm-radeon1:arm64 (2.4.97-1) ... Setting up fontconfig-config (2.13.1-2) ... Setting up libgl1-mesa-dri:arm64 (18.3.6-2+deb10u1) ... Setting up libxext6:arm64 (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:arm64 (1:1.1.4-1+b2) ... Setting up intltool-debian (0.35.0+20060710.5) ... Setting up libxfixes3:arm64 (1:5.0.3-1) ... Setting up libxinerama1:arm64 (2:1.1.4-2) ... Setting up libfontconfig1:arm64 (2.13.1-2) ... Setting up libxft2:arm64 (2.3.2-2) ... Setting up libxdamage1:arm64 (1:1.1.4-3+b3) ... Setting up po-debconf (1.0.21) ... Setting up libglx-mesa0:arm64 (18.3.6-2+deb10u1) ... Setting up libglx0:arm64 (1.1.0-1) ... Setting up libgl1:arm64 (1.1.0-1) ... Setting up libfltk1.1:arm64 (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:/i/capture/the/path" HOME="/nonexistent/second-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 arm64 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_arm64.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: user script /srv/workspace/pbuilder/28649/tmp/hooks/B01_cleanup starting I: user script /srv/workspace/pbuilder/28649/tmp/hooks/B01_cleanup finished 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/28649 and its subdirectories I: Current time: Fri Jul 24 15:14:29 +14 2020 I: pbuilder-time-stamp: 1595553269