I: pbuilder: network access will be disabled during build
I: Current time: Sat Feb 8 10:13:08 -12 2025
I: pbuilder-time-stamp: 1739052788
I: Building the build Environment
I: extracting base tarball [/var/cache/pbuilder/bookworm-reproducible-base.tgz]
I: copying local configuration
W: --override-config is not set; not updating apt.conf Read the manpage for details.
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.1.dsc]
I: copying [./prover9-manual_0.0.200902a.orig.tar.gz]
I: copying [./prover9-manual_0.0.200902a-2.1.debian.tar.xz]
I: Extracting source
gpgv: Signature made Tue Jan 5 22:22:07 2021
gpgv: using RSA key B8BF54137B09D35CF026FE9D091AB856069AAA1C
gpgv: Can't check signature: No public key
dpkg-source: warning: cannot verify inline signature for ./prover9-manual_0.0.200902a-2.1.dsc: no acceptable signature found
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.1.debian.tar.xz
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/294898/tmp/hooks/D02_print_environment starting
I: set
BUILDDIR='/build/reproducible-path'
BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other'
BUILDUSERNAME='pbuilder1'
BUILD_ARCH='arm64'
DEBIAN_FRONTEND='noninteractive'
DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=12 '
DISTRIBUTION='bookworm'
HOME='/root'
HOST_ARCH='arm64'
IFS='
'
INVOCATION_ID='793092a0f65a4c9d89fa87f2f158d5c1'
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='294898'
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/r-b-build.E8AevDNi/pbuilderrc_aNON --distribution bookworm --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/bookworm-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.E8AevDNi/b1 --logfile b1/build.log prover9-manual_0.0.200902a-2.1.dsc'
SUDO_GID='109'
SUDO_UID='104'
SUDO_USER='jenkins'
TERM='unknown'
TZ='/usr/share/zoneinfo/Etc/GMT+12'
USER='root'
_='/usr/bin/systemd-run'
http_proxy='http://192.168.101.104:3128'
I: uname -a
Linux codethink01-arm64 6.1.0-17-cloud-arm64 #1 SMP Debian 6.1.69-1 (2023-12-30) aarch64 GNU/Linux
I: ls -l /bin
total 7104
-rwxr-xr-x 1 root root 1346480 Apr 23 2023 bash
-rwxr-xr-x 3 root root 67728 Sep 19 2022 bunzip2
-rwxr-xr-x 3 root root 67728 Sep 19 2022 bzcat
lrwxrwxrwx 1 root root 6 Sep 19 2022 bzcmp -> bzdiff
-rwxr-xr-x 1 root root 2225 Sep 19 2022 bzdiff
lrwxrwxrwx 1 root root 6 Sep 19 2022 bzegrep -> bzgrep
-rwxr-xr-x 1 root root 4893 Nov 27 2021 bzexe
lrwxrwxrwx 1 root root 6 Sep 19 2022 bzfgrep -> bzgrep
-rwxr-xr-x 1 root root 3775 Sep 19 2022 bzgrep
-rwxr-xr-x 3 root root 67728 Sep 19 2022 bzip2
-rwxr-xr-x 1 root root 67664 Sep 19 2022 bzip2recover
lrwxrwxrwx 1 root root 6 Sep 19 2022 bzless -> bzmore
-rwxr-xr-x 1 root root 1297 Sep 19 2022 bzmore
-rwxr-xr-x 1 root root 68536 Sep 20 2022 cat
-rwxr-xr-x 1 root root 68616 Sep 20 2022 chgrp
-rwxr-xr-x 1 root root 68552 Sep 20 2022 chmod
-rwxr-xr-x 1 root root 68632 Sep 20 2022 chown
-rwxr-xr-x 1 root root 200264 Sep 20 2022 cp
-rwxr-xr-x 1 root root 133640 Jan 5 2023 dash
-rwxr-xr-x 1 root root 134144 Sep 20 2022 date
-rwxr-xr-x 1 root root 134248 Sep 20 2022 dd
-rwxr-xr-x 1 root root 134888 Sep 20 2022 df
-rwxr-xr-x 1 root root 200440 Sep 20 2022 dir
-rwxr-xr-x 1 root root 141720 Mar 23 2023 dmesg
lrwxrwxrwx 1 root root 8 Dec 19 2022 dnsdomainname -> hostname
lrwxrwxrwx 1 root root 8 Dec 19 2022 domainname -> hostname
-rwxr-xr-x 1 root root 68408 Sep 20 2022 echo
-rwxr-xr-x 1 root root 41 Jan 24 2023 egrep
-rwxr-xr-x 1 root root 68384 Sep 20 2022 false
-rwxr-xr-x 1 root root 41 Jan 24 2023 fgrep
-rwxr-xr-x 1 root root 134584 Mar 23 2023 findmnt
-rwsr-xr-x 1 root root 67744 Mar 23 2023 fusermount
-rwxr-xr-x 1 root root 198880 Jan 24 2023 grep
-rwxr-xr-x 2 root root 2346 Apr 10 2022 gunzip
-rwxr-xr-x 1 root root 6447 Apr 10 2022 gzexe
-rwxr-xr-x 1 root root 93752 Apr 10 2022 gzip
-rwxr-xr-x 1 root root 67592 Dec 19 2022 hostname
-rwxr-xr-x 1 root root 68664 Sep 20 2022 ln
-rwxr-xr-x 1 root root 69208 Mar 23 2023 login
-rwxr-xr-x 1 root root 200440 Sep 20 2022 ls
-rwxr-xr-x 1 root root 264360 Mar 23 2023 lsblk
-rwxr-xr-x 1 root root 134384 Sep 20 2022 mkdir
-rwxr-xr-x 1 root root 68768 Sep 20 2022 mknod
-rwxr-xr-x 1 root root 68472 Sep 20 2022 mktemp
-rwxr-xr-x 1 root root 67752 Mar 23 2023 more
-rwsr-xr-x 1 root root 67744 Mar 23 2023 mount
-rwxr-xr-x 1 root root 67744 Mar 23 2023 mountpoint
-rwxr-xr-x 1 root root 134728 Sep 20 2022 mv
lrwxrwxrwx 1 root root 8 Dec 19 2022 nisdomainname -> hostname
lrwxrwxrwx 1 root root 14 Apr 3 2023 pidof -> /sbin/killall5
-rwxr-xr-x 1 root root 68496 Sep 20 2022 pwd
lrwxrwxrwx 1 root root 4 Apr 23 2023 rbash -> bash
-rwxr-xr-x 1 root root 68456 Sep 20 2022 readlink
-rwxr-xr-x 1 root root 68592 Sep 20 2022 rm
-rwxr-xr-x 1 root root 68480 Sep 20 2022 rmdir
-rwxr-xr-x 1 root root 68392 Jul 28 2023 run-parts
-rwxr-xr-x 1 root root 134536 Jan 5 2023 sed
lrwxrwxrwx 1 root root 4 Jan 5 2023 sh -> dash
-rwxr-xr-x 1 root root 68432 Sep 20 2022 sleep
-rwxr-xr-x 1 root root 134088 Sep 20 2022 stty
-rwsr-xr-x 1 root root 133312 Mar 23 2023 su
-rwxr-xr-x 1 root root 68448 Sep 20 2022 sync
-rwxr-xr-x 1 root root 539896 Apr 6 2023 tar
-rwxr-xr-x 1 root root 67904 Jul 28 2023 tempfile
-rwxr-xr-x 1 root root 134160 Sep 20 2022 touch
-rwxr-xr-x 1 root root 68384 Sep 20 2022 true
-rwxr-xr-x 1 root root 67664 Mar 23 2023 ulockmgr_server
-rwsr-xr-x 1 root root 67744 Mar 23 2023 umount
-rwxr-xr-x 1 root root 68416 Sep 20 2022 uname
-rwxr-xr-x 2 root root 2346 Apr 10 2022 uncompress
-rwxr-xr-x 1 root root 200440 Sep 20 2022 vdir
-rwxr-xr-x 1 root root 133312 Mar 23 2023 wdctl
lrwxrwxrwx 1 root root 8 Dec 19 2022 ypdomainname -> hostname
-rwxr-xr-x 1 root root 1984 Apr 10 2022 zcat
-rwxr-xr-x 1 root root 1678 Apr 10 2022 zcmp
-rwxr-xr-x 1 root root 6460 Apr 10 2022 zdiff
-rwxr-xr-x 1 root root 29 Apr 10 2022 zegrep
-rwxr-xr-x 1 root root 29 Apr 10 2022 zfgrep
-rwxr-xr-x 1 root root 2081 Apr 10 2022 zforce
-rwxr-xr-x 1 root root 8103 Apr 10 2022 zgrep
-rwxr-xr-x 1 root root 2206 Apr 10 2022 zless
-rwxr-xr-x 1 root root 1842 Apr 10 2022 zmore
-rwxr-xr-x 1 root root 4577 Apr 10 2022 znew
I: user script /srv/workspace/pbuilder/294898/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 <pbuilder-maint@lists.alioth.debian.org>
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 ... 18171 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} bsdextrautils{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} libbrotli1{a} libbsd0{a} libdebhelper-perl{a} libelf1{a} libexpat1{a} libfile-stripnondeterminism-perl{a} libfltk-images1.3{a} libfltk1.3{a} libfontconfig1{a} libfreetype6{a} libicu72{a} libjpeg62-turbo{a} libmagic-mgc{a} libmagic1{a} libpipeline1{a} libpng16-16{a} libsub-override-perl{a} libtool{a} libuchardet0{a} libx11-6{a} libx11-data{a} libxau6{a} libxcb1{a} libxcursor1{a} libxdmcp6{a} libxext6{a} libxfixes3{a} libxft2{a} libxinerama1{a} libxml2{a} libxpm4{a} libxrender1{a} m4{a} man-db{a} po-debconf{a} sensible-utils{a}
The following packages are RECOMMENDED but will NOT be installed:
curl libarchive-cpio-perl libltdl-dev libmail-sendmail-perl lynx wget
0 packages upgraded, 55 newly installed, 0 to remove and 0 not upgraded.
Need to get 25.6 MB of archives. After unpacking 93.3 MB will be used.
Writing extended state information...
Get: 1 http://deb.debian.org/debian bookworm/main arm64 sensible-utils all 0.0.17+nmu1 [19.0 kB]
Get: 2 http://deb.debian.org/debian bookworm/main arm64 libmagic-mgc arm64 1:5.44-3 [305 kB]
Get: 3 http://deb.debian.org/debian bookworm/main arm64 libmagic1 arm64 1:5.44-3 [98.5 kB]
Get: 4 http://deb.debian.org/debian bookworm/main arm64 file arm64 1:5.44-3 [42.5 kB]
Get: 5 http://deb.debian.org/debian bookworm/main arm64 gettext-base arm64 0.21-12 [159 kB]
Get: 6 http://deb.debian.org/debian bookworm/main arm64 libuchardet0 arm64 0.0.7-1 [67.9 kB]
Get: 7 http://deb.debian.org/debian bookworm/main arm64 groff-base arm64 1.22.4-10 [861 kB]
Get: 8 http://deb.debian.org/debian bookworm/main arm64 bsdextrautils arm64 2.38.1-5+b1 [86.9 kB]
Get: 9 http://deb.debian.org/debian bookworm/main arm64 libpipeline1 arm64 1.5.7-1 [36.4 kB]
Get: 10 http://deb.debian.org/debian bookworm/main arm64 man-db arm64 2.11.2-2 [1369 kB]
Get: 11 http://deb.debian.org/debian bookworm/main arm64 m4 arm64 1.4.19-3 [276 kB]
Get: 12 http://deb.debian.org/debian bookworm/main arm64 autoconf all 2.71-3 [332 kB]
Get: 13 http://deb.debian.org/debian bookworm/main arm64 autotools-dev all 20220109.1 [51.6 kB]
Get: 14 http://deb.debian.org/debian bookworm/main arm64 automake all 1:1.16.5-1.3 [823 kB]
Get: 15 http://deb.debian.org/debian bookworm/main arm64 autopoint all 0.21-12 [495 kB]
Get: 16 http://deb.debian.org/debian bookworm/main arm64 libdebhelper-perl all 13.11.4 [81.2 kB]
Get: 17 http://deb.debian.org/debian bookworm/main arm64 libtool all 2.4.7-5 [517 kB]
Get: 18 http://deb.debian.org/debian bookworm/main arm64 dh-autoreconf all 20 [17.1 kB]
Get: 19 http://deb.debian.org/debian bookworm/main arm64 libarchive-zip-perl all 1.68-1 [104 kB]
Get: 20 http://deb.debian.org/debian bookworm/main arm64 libsub-override-perl all 0.09-4 [9304 B]
Get: 21 http://deb.debian.org/debian bookworm/main arm64 libfile-stripnondeterminism-perl all 1.13.1-1 [19.4 kB]
Get: 22 http://deb.debian.org/debian bookworm/main arm64 dh-strip-nondeterminism all 1.13.1-1 [8620 B]
Get: 23 http://deb.debian.org/debian bookworm/main arm64 libelf1 arm64 0.188-2.1 [173 kB]
Get: 24 http://deb.debian.org/debian bookworm/main arm64 dwz arm64 0.15-1 [101 kB]
Get: 25 http://deb.debian.org/debian bookworm/main arm64 libicu72 arm64 72.1-3 [9204 kB]
Get: 26 http://deb.debian.org/debian bookworm/main arm64 libxml2 arm64 2.9.14+dfsg-1.3~deb12u1 [619 kB]
Get: 27 http://deb.debian.org/debian bookworm/main arm64 gettext arm64 0.21-12 [1248 kB]
Get: 28 http://deb.debian.org/debian bookworm/main arm64 intltool-debian all 0.35.0+20060710.6 [22.9 kB]
Get: 29 http://deb.debian.org/debian bookworm/main arm64 po-debconf all 1.0.21+nmu1 [248 kB]
Get: 30 http://deb.debian.org/debian bookworm/main arm64 debhelper all 13.11.4 [942 kB]
Get: 31 http://deb.debian.org/debian bookworm/main arm64 fonts-dejavu-core all 2.37-6 [1068 kB]
Get: 32 http://deb.debian.org/debian bookworm/main arm64 fontconfig-config arm64 2.14.1-4 [315 kB]
Get: 33 http://deb.debian.org/debian bookworm/main arm64 htmldoc-common all 1.9.16-1 [1995 kB]
Get: 34 http://deb.debian.org/debian bookworm/main arm64 libexpat1 arm64 2.5.0-1 [84.8 kB]
Get: 35 http://deb.debian.org/debian bookworm/main arm64 libbrotli1 arm64 1.0.9-2+b6 [269 kB]
Get: 36 http://deb.debian.org/debian bookworm/main arm64 libpng16-16 arm64 1.6.39-2 [269 kB]
Get: 37 http://deb.debian.org/debian bookworm/main arm64 libfreetype6 arm64 2.12.1+dfsg-5 [369 kB]
Get: 38 http://deb.debian.org/debian bookworm/main arm64 libfontconfig1 arm64 2.14.1-4 [381 kB]
Get: 39 http://deb.debian.org/debian bookworm/main arm64 libxau6 arm64 1:1.0.9-1 [19.7 kB]
Get: 40 http://deb.debian.org/debian bookworm/main arm64 libbsd0 arm64 0.11.7-2 [115 kB]
Get: 41 http://deb.debian.org/debian bookworm/main arm64 libxdmcp6 arm64 1:1.1.2-3 [25.4 kB]
Get: 42 http://deb.debian.org/debian bookworm/main arm64 libxcb1 arm64 1.15-1 [143 kB]
Get: 43 http://deb.debian.org/debian bookworm/main arm64 libx11-data all 2:1.8.4-2+deb12u2 [292 kB]
Get: 44 http://deb.debian.org/debian bookworm/main arm64 libx11-6 arm64 2:1.8.4-2+deb12u2 [735 kB]
Get: 45 http://deb.debian.org/debian bookworm/main arm64 libxfixes3 arm64 1:6.0.0-2 [22.9 kB]
Get: 46 http://deb.debian.org/debian bookworm/main arm64 libxrender1 arm64 1:0.9.10-1.1 [32.0 kB]
Get: 47 http://deb.debian.org/debian bookworm/main arm64 libxcursor1 arm64 1:1.2.1-1 [40.2 kB]
Get: 48 http://deb.debian.org/debian bookworm/main arm64 libxext6 arm64 2:1.3.4-1+b1 [51.7 kB]
Get: 49 http://deb.debian.org/debian bookworm/main arm64 libxft2 arm64 2.3.6-1 [58.7 kB]
Get: 50 http://deb.debian.org/debian bookworm/main arm64 libxinerama1 arm64 2:1.1.4-3 [17.8 kB]
Get: 51 http://deb.debian.org/debian bookworm/main arm64 libfltk1.3 arm64 1.3.8-5 [533 kB]
Get: 52 http://deb.debian.org/debian bookworm/main arm64 libjpeg62-turbo arm64 1:2.1.5-2 [171 kB]
Get: 53 http://deb.debian.org/debian bookworm/main arm64 libfltk-images1.3 arm64 1.3.8-5 [64.4 kB]
Get: 54 http://deb.debian.org/debian bookworm/main arm64 libxpm4 arm64 1:3.5.12-1.1+deb12u1 [45.4 kB]
Get: 55 http://deb.debian.org/debian bookworm/main arm64 htmldoc arm64 1.9.16-1 [173 kB]
Fetched 25.6 MB in 0s (103 MB/s)
debconf: delaying package configuration, since apt-utils is not installed
Selecting previously unselected package sensible-utils.
(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 ... 18171 files and directories currently installed.)
Preparing to unpack .../00-sensible-utils_0.0.17+nmu1_all.deb ...
Unpacking sensible-utils (0.0.17+nmu1) ...
Selecting previously unselected package libmagic-mgc.
Preparing to unpack .../01-libmagic-mgc_1%3a5.44-3_arm64.deb ...
Unpacking libmagic-mgc (1:5.44-3) ...
Selecting previously unselected package libmagic1:arm64.
Preparing to unpack .../02-libmagic1_1%3a5.44-3_arm64.deb ...
Unpacking libmagic1:arm64 (1:5.44-3) ...
Selecting previously unselected package file.
Preparing to unpack .../03-file_1%3a5.44-3_arm64.deb ...
Unpacking file (1:5.44-3) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../04-gettext-base_0.21-12_arm64.deb ...
Unpacking gettext-base (0.21-12) ...
Selecting previously unselected package libuchardet0:arm64.
Preparing to unpack .../05-libuchardet0_0.0.7-1_arm64.deb ...
Unpacking libuchardet0:arm64 (0.0.7-1) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../06-groff-base_1.22.4-10_arm64.deb ...
Unpacking groff-base (1.22.4-10) ...
Selecting previously unselected package bsdextrautils.
Preparing to unpack .../07-bsdextrautils_2.38.1-5+b1_arm64.deb ...
Unpacking bsdextrautils (2.38.1-5+b1) ...
Selecting previously unselected package libpipeline1:arm64.
Preparing to unpack .../08-libpipeline1_1.5.7-1_arm64.deb ...
Unpacking libpipeline1:arm64 (1.5.7-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../09-man-db_2.11.2-2_arm64.deb ...
Unpacking man-db (2.11.2-2) ...
Selecting previously unselected package m4.
Preparing to unpack .../10-m4_1.4.19-3_arm64.deb ...
Unpacking m4 (1.4.19-3) ...
Selecting previously unselected package autoconf.
Preparing to unpack .../11-autoconf_2.71-3_all.deb ...
Unpacking autoconf (2.71-3) ...
Selecting previously unselected package autotools-dev.
Preparing to unpack .../12-autotools-dev_20220109.1_all.deb ...
Unpacking autotools-dev (20220109.1) ...
Selecting previously unselected package automake.
Preparing to unpack .../13-automake_1%3a1.16.5-1.3_all.deb ...
Unpacking automake (1:1.16.5-1.3) ...
Selecting previously unselected package autopoint.
Preparing to unpack .../14-autopoint_0.21-12_all.deb ...
Unpacking autopoint (0.21-12) ...
Selecting previously unselected package libdebhelper-perl.
Preparing to unpack .../15-libdebhelper-perl_13.11.4_all.deb ...
Unpacking libdebhelper-perl (13.11.4) ...
Selecting previously unselected package libtool.
Preparing to unpack .../16-libtool_2.4.7-5_all.deb ...
Unpacking libtool (2.4.7-5) ...
Selecting previously unselected package dh-autoreconf.
Preparing to unpack .../17-dh-autoreconf_20_all.deb ...
Unpacking dh-autoreconf (20) ...
Selecting previously unselected package libarchive-zip-perl.
Preparing to unpack .../18-libarchive-zip-perl_1.68-1_all.deb ...
Unpacking libarchive-zip-perl (1.68-1) ...
Selecting previously unselected package libsub-override-perl.
Preparing to unpack .../19-libsub-override-perl_0.09-4_all.deb ...
Unpacking libsub-override-perl (0.09-4) ...
Selecting previously unselected package libfile-stripnondeterminism-perl.
Preparing to unpack .../20-libfile-stripnondeterminism-perl_1.13.1-1_all.deb ...
Unpacking libfile-stripnondeterminism-perl (1.13.1-1) ...
Selecting previously unselected package dh-strip-nondeterminism.
Preparing to unpack .../21-dh-strip-nondeterminism_1.13.1-1_all.deb ...
Unpacking dh-strip-nondeterminism (1.13.1-1) ...
Selecting previously unselected package libelf1:arm64.
Preparing to unpack .../22-libelf1_0.188-2.1_arm64.deb ...
Unpacking libelf1:arm64 (0.188-2.1) ...
Selecting previously unselected package dwz.
Preparing to unpack .../23-dwz_0.15-1_arm64.deb ...
Unpacking dwz (0.15-1) ...
Selecting previously unselected package libicu72:arm64.
Preparing to unpack .../24-libicu72_72.1-3_arm64.deb ...
Unpacking libicu72:arm64 (72.1-3) ...
Selecting previously unselected package libxml2:arm64.
Preparing to unpack .../25-libxml2_2.9.14+dfsg-1.3~deb12u1_arm64.deb ...
Unpacking libxml2:arm64 (2.9.14+dfsg-1.3~deb12u1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../26-gettext_0.21-12_arm64.deb ...
Unpacking gettext (0.21-12) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../27-intltool-debian_0.35.0+20060710.6_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.6) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../28-po-debconf_1.0.21+nmu1_all.deb ...
Unpacking po-debconf (1.0.21+nmu1) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../29-debhelper_13.11.4_all.deb ...
Unpacking debhelper (13.11.4) ...
Selecting previously unselected package fonts-dejavu-core.
Preparing to unpack .../30-fonts-dejavu-core_2.37-6_all.deb ...
Unpacking fonts-dejavu-core (2.37-6) ...
Selecting previously unselected package fontconfig-config.
Preparing to unpack .../31-fontconfig-config_2.14.1-4_arm64.deb ...
Unpacking fontconfig-config (2.14.1-4) ...
Selecting previously unselected package htmldoc-common.
Preparing to unpack .../32-htmldoc-common_1.9.16-1_all.deb ...
Unpacking htmldoc-common (1.9.16-1) ...
Selecting previously unselected package libexpat1:arm64.
Preparing to unpack .../33-libexpat1_2.5.0-1_arm64.deb ...
Unpacking libexpat1:arm64 (2.5.0-1) ...
Selecting previously unselected package libbrotli1:arm64.
Preparing to unpack .../34-libbrotli1_1.0.9-2+b6_arm64.deb ...
Unpacking libbrotli1:arm64 (1.0.9-2+b6) ...
Selecting previously unselected package libpng16-16:arm64.
Preparing to unpack .../35-libpng16-16_1.6.39-2_arm64.deb ...
Unpacking libpng16-16:arm64 (1.6.39-2) ...
Selecting previously unselected package libfreetype6:arm64.
Preparing to unpack .../36-libfreetype6_2.12.1+dfsg-5_arm64.deb ...
Unpacking libfreetype6:arm64 (2.12.1+dfsg-5) ...
Selecting previously unselected package libfontconfig1:arm64.
Preparing to unpack .../37-libfontconfig1_2.14.1-4_arm64.deb ...
Unpacking libfontconfig1:arm64 (2.14.1-4) ...
Selecting previously unselected package libxau6:arm64.
Preparing to unpack .../38-libxau6_1%3a1.0.9-1_arm64.deb ...
Unpacking libxau6:arm64 (1:1.0.9-1) ...
Selecting previously unselected package libbsd0:arm64.
Preparing to unpack .../39-libbsd0_0.11.7-2_arm64.deb ...
Unpacking libbsd0:arm64 (0.11.7-2) ...
Selecting previously unselected package libxdmcp6:arm64.
Preparing to unpack .../40-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 .../41-libxcb1_1.15-1_arm64.deb ...
Unpacking libxcb1:arm64 (1.15-1) ...
Selecting previously unselected package libx11-data.
Preparing to unpack .../42-libx11-data_2%3a1.8.4-2+deb12u2_all.deb ...
Unpacking libx11-data (2:1.8.4-2+deb12u2) ...
Selecting previously unselected package libx11-6:arm64.
Preparing to unpack .../43-libx11-6_2%3a1.8.4-2+deb12u2_arm64.deb ...
Unpacking libx11-6:arm64 (2:1.8.4-2+deb12u2) ...
Selecting previously unselected package libxfixes3:arm64.
Preparing to unpack .../44-libxfixes3_1%3a6.0.0-2_arm64.deb ...
Unpacking libxfixes3:arm64 (1:6.0.0-2) ...
Selecting previously unselected package libxrender1:arm64.
Preparing to unpack .../45-libxrender1_1%3a0.9.10-1.1_arm64.deb ...
Unpacking libxrender1:arm64 (1:0.9.10-1.1) ...
Selecting previously unselected package libxcursor1:arm64.
Preparing to unpack .../46-libxcursor1_1%3a1.2.1-1_arm64.deb ...
Unpacking libxcursor1:arm64 (1:1.2.1-1) ...
Selecting previously unselected package libxext6:arm64.
Preparing to unpack .../47-libxext6_2%3a1.3.4-1+b1_arm64.deb ...
Unpacking libxext6:arm64 (2:1.3.4-1+b1) ...
Selecting previously unselected package libxft2:arm64.
Preparing to unpack .../48-libxft2_2.3.6-1_arm64.deb ...
Unpacking libxft2:arm64 (2.3.6-1) ...
Selecting previously unselected package libxinerama1:arm64.
Preparing to unpack .../49-libxinerama1_2%3a1.1.4-3_arm64.deb ...
Unpacking libxinerama1:arm64 (2:1.1.4-3) ...
Selecting previously unselected package libfltk1.3:arm64.
Preparing to unpack .../50-libfltk1.3_1.3.8-5_arm64.deb ...
Unpacking libfltk1.3:arm64 (1.3.8-5) ...
Selecting previously unselected package libjpeg62-turbo:arm64.
Preparing to unpack .../51-libjpeg62-turbo_1%3a2.1.5-2_arm64.deb ...
Unpacking libjpeg62-turbo:arm64 (1:2.1.5-2) ...
Selecting previously unselected package libfltk-images1.3:arm64.
Preparing to unpack .../52-libfltk-images1.3_1.3.8-5_arm64.deb ...
Unpacking libfltk-images1.3:arm64 (1.3.8-5) ...
Selecting previously unselected package libxpm4:arm64.
Preparing to unpack .../53-libxpm4_1%3a3.5.12-1.1+deb12u1_arm64.deb ...
Unpacking libxpm4:arm64 (1:3.5.12-1.1+deb12u1) ...
Selecting previously unselected package htmldoc.
Preparing to unpack .../54-htmldoc_1.9.16-1_arm64.deb ...
Unpacking htmldoc (1.9.16-1) ...
Setting up libexpat1:arm64 (2.5.0-1) ...
Setting up libpipeline1:arm64 (1.5.7-1) ...
Setting up libxau6:arm64 (1:1.0.9-1) ...
Setting up libicu72:arm64 (72.1-3) ...
Setting up bsdextrautils (2.38.1-5+b1) ...
Setting up libmagic-mgc (1:5.44-3) ...
Setting up libarchive-zip-perl (1.68-1) ...
Setting up libdebhelper-perl (13.11.4) ...
Setting up libbrotli1:arm64 (1.0.9-2+b6) ...
Setting up libmagic1:arm64 (1:5.44-3) ...
Setting up gettext-base (0.21-12) ...
Setting up m4 (1.4.19-3) ...
Setting up file (1:5.44-3) ...
Setting up autotools-dev (20220109.1) ...
Setting up libjpeg62-turbo:arm64 (1:2.1.5-2) ...
Setting up libx11-data (2:1.8.4-2+deb12u2) ...
Setting up htmldoc-common (1.9.16-1) ...
Setting up libpng16-16:arm64 (1.6.39-2) ...
Setting up autopoint (0.21-12) ...
Setting up fonts-dejavu-core (2.37-6) ...
Setting up autoconf (2.71-3) ...
Setting up sensible-utils (0.0.17+nmu1) ...
Setting up libuchardet0:arm64 (0.0.7-1) ...
Setting up libsub-override-perl (0.09-4) ...
Setting up libbsd0:arm64 (0.11.7-2) ...
Setting up libelf1:arm64 (0.188-2.1) ...
Setting up libxml2:arm64 (2.9.14+dfsg-1.3~deb12u1) ...
Setting up automake (1:1.16.5-1.3) ...
update-alternatives: using /usr/bin/automake-1.16 to provide /usr/bin/automake (automake) in auto mode
Setting up libfile-stripnondeterminism-perl (1.13.1-1) ...
Setting up libxdmcp6:arm64 (1:1.1.2-3) ...
Setting up libxcb1:arm64 (1.15-1) ...
Setting up gettext (0.21-12) ...
Setting up libtool (2.4.7-5) ...
Setting up fontconfig-config (2.14.1-4) ...
Setting up intltool-debian (0.35.0+20060710.6) ...
Setting up dh-autoreconf (20) ...
Setting up libfreetype6:arm64 (2.12.1+dfsg-5) ...
Setting up dh-strip-nondeterminism (1.13.1-1) ...
Setting up dwz (0.15-1) ...
Setting up groff-base (1.22.4-10) ...
Setting up libx11-6:arm64 (2:1.8.4-2+deb12u2) ...
Setting up libfontconfig1:arm64 (2.14.1-4) ...
Setting up libxpm4:arm64 (1:3.5.12-1.1+deb12u1) ...
Setting up libxrender1:arm64 (1:0.9.10-1.1) ...
Setting up po-debconf (1.0.21+nmu1) ...
Setting up libxext6:arm64 (2:1.3.4-1+b1) ...
Setting up man-db (2.11.2-2) ...
Not building database; man-db/auto-update is not 'true'.
Setting up libxfixes3:arm64 (1:6.0.0-2) ...
Setting up libxinerama1:arm64 (2:1.1.4-3) ...
Setting up libxft2:arm64 (2.3.6-1) ...
Setting up libxcursor1:arm64 (1:1.2.1-1) ...
Setting up debhelper (13.11.4) ...
Setting up libfltk1.3:arm64 (1.3.8-5) ...
Setting up libfltk-images1.3:arm64 (1.3.8-5) ...
Setting up htmldoc (1.9.16-1) ...
Processing triggers for libc-bin (2.36-9+deb12u3) ...
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.31-1.2).
0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
I: Building the package
I: Running cd /build/reproducible-path/prover9-manual-0.0.200902a/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S > ../prover9-manual_0.0.200902a-2.1_source.changes
dpkg-buildpackage: info: source package prover9-manual
dpkg-buildpackage: info: source version 0.0.200902a-2.1
dpkg-buildpackage: info: source distribution unstable
dpkg-buildpackage: info: source changed by Holger Levsen <holger@debian.org>
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
dh_clean: warning: Compatibility levels before 10 are deprecated (level 9 in use)
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: 806520
touch build-stamp
fakeroot debian/rules binary
dh_testdir
dh_testroot
dh_prep
dh_installdirs
dh_installdirs: warning: Compatibility levels before 10 are deprecated (level 9 in use)
dh_testdir
dh_testroot
dh_install
dh_install: warning: Compatibility levels before 10 are deprecated (level 9 in use)
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_installchangelogs: warning: Compatibility levels before 10 are deprecated (level 9 in use)
dh_installdocs
dh_installdocs: warning: Compatibility levels before 10 are deprecated (level 9 in use)
dh_compress
dh_compress: warning: Compatibility levels before 10 are deprecated (level 9 in use)
dh_installexamples
dh_installexamples: warning: Compatibility levels before 10 are deprecated (level 9 in use)
dh_fixperms
dh_installdeb
dh_installdeb: warning: Compatibility levels before 10 are deprecated (level 9 in use)
dh_gencontrol
dh_md5sums
dh_builddeb
dpkg-deb: building package 'prover9-doc' in '../prover9-doc_0.0.200902a-2.1_all.deb'.
dpkg-genbuildinfo --build=binary -O../prover9-manual_0.0.200902a-2.1_arm64.buildinfo
dpkg-genchanges --build=binary -O../prover9-manual_0.0.200902a-2.1_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)
dpkg-genchanges: info: not including original source code in upload
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/294898 and its subdirectories
I: Current time: Sat Feb 8 10:13:31 -12 2025
I: pbuilder-time-stamp: 1739052811