Sun Jan 7 06:29:13 UTC 2024 I: starting to build prover9-manual/bookworm/amd64 on jenkins on '2024-01-07 06:29'
Sun Jan 7 06:29:13 UTC 2024 I: The jenkins build log is/was available at https://jenkins.debian.net/userContent/reproducible/debian/build_service/amd64_15/9617/console.log
Sun Jan 7 06:29:13 UTC 2024 I: Downloading source for bookworm/prover9-manual=0.0.200902a-2.1
--2024-01-07 06:29:13-- http://cdn-fastly.deb.debian.org/debian/pool/main/p/prover9-manual/prover9-manual_0.0.200902a-2.1.dsc
Connecting to 78.137.99.97:3128... connected.
Proxy request sent, awaiting response... 200 OK
Length: 1980 (1.9K) [text/prs.lines.tag]
Saving to: ‘prover9-manual_0.0.200902a-2.1.dsc’
0K . 100% 253M=0s
2024-01-07 06:29:13 (253 MB/s) - ‘prover9-manual_0.0.200902a-2.1.dsc’ saved [1980/1980]
Sun Jan 7 06:29:14 UTC 2024 I: prover9-manual_0.0.200902a-2.1.dsc
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 3.0 (quilt)
Source: prover9-manual
Binary: prover9-doc
Architecture: all
Version: 0.0.200902a-2.1
Maintainer: Debian QA Group <packages@qa.debian.org>
Homepage: http://www.cs.unm.edu/~mccune/mace4/
Standards-Version: 3.9.4
Vcs-Browser: http://git.debian.org/?p=collab-maint/prover9-manual.git
Vcs-Git: git://git.debian.org/git/collab-maint/prover9-manual.git
Build-Depends: debhelper (>= 9)
Build-Depends-Indep: htmldoc
Package-List:
prover9-doc deb doc optional arch=all
Checksums-Sha1:
de9bd94d3f631ad7781640ac17886082eb22af93 1034444 prover9-manual_0.0.200902a.orig.tar.gz
220ec83b9ee2b25bd9d3740d5447df804d8207c3 4668 prover9-manual_0.0.200902a-2.1.debian.tar.xz
Checksums-Sha256:
8d049695b3927743e90bf5ed6db3282e7a8a05de6e95dcc1d5792ce763e793a5 1034444 prover9-manual_0.0.200902a.orig.tar.gz
f691a8754fe1e6262ab8287df0ec404f9da30a6967019720c9a7b04cf883c4b9 4668 prover9-manual_0.0.200902a-2.1.debian.tar.xz
Files:
00b6779d2d3edbd4434a24eebb79b2a8 1034444 prover9-manual_0.0.200902a.orig.tar.gz
faa418af02d2b8cb993803c012136e7a 4668 prover9-manual_0.0.200902a-2.1.debian.tar.xz
-----BEGIN PGP SIGNATURE-----
iQIzBAEBCgAdFiEEuL9UE3sJ01zwJv6dCRq4VgaaqhwFAl/05o8ACgkQCRq4Vgaa
qhzMPg/+KZteHPseQgyZVoRhozp0R1GRwvXRr9crmx6j+F5puDZqZUDSxU7pB2rt
FR0w2nR8Gmr78Q6pTXH8YCtk/b7D729jrhBWEjdcGUfWcA40gtVscKAP4z6VCGcc
Fjjh8RggjvpCpfRd3oes6gACP8i0U9gbKrOQAPwWkz21EHMHgsokTZ3LSffogHRe
vAtBkS2gbC6A5pfPMUXmMcICVTGeHzNoHMKtIb3+Nqdi3MQVcHa5FtVwf/S7hOzK
pZ0aT2IOlYzVhYd5XL+zEOCYfe6lXxT2Q4amPMoqZhtlFRolntyMBxFj2LhGsubX
V2YkxELJd41l46EYfWaN8z/5dI5XE0fubw012/XDa/lGBTKIQB09lA4L0uPRCnR7
ACXC90MLU0Ib9s4HcwLFbYX2vvVQBYWnKE2JEHkb24XdxN5SFMhZ8wHFcibgmkqe
Y9eMRY6hILLAyVUOIvT1kRXhkSkPYucb6xFuhunbjfwIN78nvDS7Wv+zyknAu34f
qPRST/DIpsI7MMpsamWkBM88M8y3oIBIm/XlKVtycsuHf1uoT3Rb2oZ+hIG1Xac+
wp1FIVw5q7MK6pz+wm9O+1zN/B+7emLdyGKZnrYjeEhPV6H8vrBF4j3WhdEnTGrF
VWyHg8Nwsim6OfFgKqqQWn6u/xHvk9lRnfmyT3aXyaPdVICi0dE=
=B7kp
-----END PGP SIGNATURE-----
Sun Jan 7 06:29:14 UTC 2024 I: Checking whether the package is not for us
Sun Jan 7 06:29:14 UTC 2024 I: Starting 1st build on remote node ionos11-amd64.debian.net.
Sun Jan 7 06:29:14 UTC 2024 I: Preparing to do remote build '1' on ionos11-amd64.debian.net.
Sun Jan 7 06:29:48 UTC 2024 I: Deleting $TMPDIR on ionos11-amd64.debian.net.
I: pbuilder: network access will be disabled during build
I: Current time: Sat Jan 6 18:29:16 -12 2024
I: pbuilder-time-stamp: 1704608956
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/3324147/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='amd64'
DEBIAN_FRONTEND='noninteractive'
DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=15 '
DISTRIBUTION='bookworm'
HOME='/root'
HOST_ARCH='amd64'
IFS='
'
INVOCATION_ID='868a1ee99fbd485c9a3212ae54aa847f'
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='3324147'
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.hyF5Yp0V/pbuilderrc_p4Rj --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.hyF5Yp0V/b1 --logfile b1/build.log prover9-manual_0.0.200902a-2.1.dsc'
SUDO_GID='111'
SUDO_UID='106'
SUDO_USER='jenkins'
TERM='unknown'
TZ='/usr/share/zoneinfo/Etc/GMT+12'
USER='root'
_='/usr/bin/systemd-run'
http_proxy='http://78.137.99.97:3128'
I: uname -a
Linux ionos11-amd64 6.1.0-17-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.69-1 (2023-12-30) x86_64 GNU/Linux
I: ls -l /bin
total 5632
-rwxr-xr-x 1 root root 1265648 Apr 23 2023 bash
-rwxr-xr-x 3 root root 39224 Sep 19 2022 bunzip2
-rwxr-xr-x 3 root root 39224 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 39224 Sep 19 2022 bzip2
-rwxr-xr-x 1 root root 14568 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 44016 Sep 20 2022 cat
-rwxr-xr-x 1 root root 68656 Sep 20 2022 chgrp
-rwxr-xr-x 1 root root 64496 Sep 20 2022 chmod
-rwxr-xr-x 1 root root 72752 Sep 20 2022 chown
-rwxr-xr-x 1 root root 151152 Sep 20 2022 cp
-rwxr-xr-x 1 root root 125640 Jan 5 2023 dash
-rwxr-xr-x 1 root root 121904 Sep 20 2022 date
-rwxr-xr-x 1 root root 89240 Sep 20 2022 dd
-rwxr-xr-x 1 root root 102200 Sep 20 2022 df
-rwxr-xr-x 1 root root 151344 Sep 20 2022 dir
-rwxr-xr-x 1 root root 88656 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 43856 Sep 20 2022 echo
-rwxr-xr-x 1 root root 41 Jan 24 2023 egrep
-rwxr-xr-x 1 root root 35664 Sep 20 2022 false
-rwxr-xr-x 1 root root 41 Jan 24 2023 fgrep
-rwxr-xr-x 1 root root 85600 Mar 23 2023 findmnt
-rwsr-xr-x 1 root root 35128 Mar 23 2023 fusermount
-rwxr-xr-x 1 root root 203152 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 98136 Apr 10 2022 gzip
-rwxr-xr-x 1 root root 22680 Dec 19 2022 hostname
-rwxr-xr-x 1 root root 72824 Sep 20 2022 ln
-rwxr-xr-x 1 root root 53024 Mar 23 2023 login
-rwxr-xr-x 1 root root 151344 Sep 20 2022 ls
-rwxr-xr-x 1 root root 207168 Mar 23 2023 lsblk
-rwxr-xr-x 1 root root 97552 Sep 20 2022 mkdir
-rwxr-xr-x 1 root root 72912 Sep 20 2022 mknod
-rwxr-xr-x 1 root root 43952 Sep 20 2022 mktemp
-rwxr-xr-x 1 root root 59712 Mar 23 2023 more
-rwsr-xr-x 1 root root 59704 Mar 23 2023 mount
-rwxr-xr-x 1 root root 18744 Mar 23 2023 mountpoint
-rwxr-xr-x 1 root root 142968 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 43952 Sep 20 2022 pwd
lrwxrwxrwx 1 root root 4 Apr 23 2023 rbash -> bash
-rwxr-xr-x 1 root root 52112 Sep 20 2022 readlink
-rwxr-xr-x 1 root root 72752 Sep 20 2022 rm
-rwxr-xr-x 1 root root 56240 Sep 20 2022 rmdir
-rwxr-xr-x 1 root root 27560 Jul 28 23:46 run-parts
-rwxr-xr-x 1 root root 126424 Jan 5 2023 sed
lrwxrwxrwx 1 root root 4 Jan 5 2023 sh -> dash
-rwxr-xr-x 1 root root 43888 Sep 20 2022 sleep
-rwxr-xr-x 1 root root 85008 Sep 20 2022 stty
-rwsr-xr-x 1 root root 72000 Mar 23 2023 su
-rwxr-xr-x 1 root root 39824 Sep 20 2022 sync
-rwxr-xr-x 1 root root 531984 Apr 6 2023 tar
-rwxr-xr-x 1 root root 14520 Jul 28 23:46 tempfile
-rwxr-xr-x 1 root root 109616 Sep 20 2022 touch
-rwxr-xr-x 1 root root 35664 Sep 20 2022 true
-rwxr-xr-x 1 root root 14568 Mar 23 2023 ulockmgr_server
-rwsr-xr-x 1 root root 35128 Mar 23 2023 umount
-rwxr-xr-x 1 root root 43888 Sep 20 2022 uname
-rwxr-xr-x 2 root root 2346 Apr 10 2022 uncompress
-rwxr-xr-x 1 root root 151344 Sep 20 2022 vdir
-rwxr-xr-x 1 root root 72024 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/3324147/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: amd64
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 ... 18148 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 26.2 MB of archives. After unpacking 91.3 MB will be used.
Writing extended state information...
Get: 1 http://deb.debian.org/debian bookworm/main amd64 sensible-utils all 0.0.17+nmu1 [19.0 kB]
Get: 2 http://deb.debian.org/debian bookworm/main amd64 libmagic-mgc amd64 1:5.44-3 [305 kB]
Get: 3 http://deb.debian.org/debian bookworm/main amd64 libmagic1 amd64 1:5.44-3 [104 kB]
Get: 4 http://deb.debian.org/debian bookworm/main amd64 file amd64 1:5.44-3 [42.5 kB]
Get: 5 http://deb.debian.org/debian bookworm/main amd64 gettext-base amd64 0.21-12 [160 kB]
Get: 6 http://deb.debian.org/debian bookworm/main amd64 libuchardet0 amd64 0.0.7-1 [67.8 kB]
Get: 7 http://deb.debian.org/debian bookworm/main amd64 groff-base amd64 1.22.4-10 [916 kB]
Get: 8 http://deb.debian.org/debian bookworm/main amd64 bsdextrautils amd64 2.38.1-5+b1 [86.6 kB]
Get: 9 http://deb.debian.org/debian bookworm/main amd64 libpipeline1 amd64 1.5.7-1 [38.5 kB]
Get: 10 http://deb.debian.org/debian bookworm/main amd64 man-db amd64 2.11.2-2 [1386 kB]
Get: 11 http://deb.debian.org/debian bookworm/main amd64 m4 amd64 1.4.19-3 [287 kB]
Get: 12 http://deb.debian.org/debian bookworm/main amd64 autoconf all 2.71-3 [332 kB]
Get: 13 http://deb.debian.org/debian bookworm/main amd64 autotools-dev all 20220109.1 [51.6 kB]
Get: 14 http://deb.debian.org/debian bookworm/main amd64 automake all 1:1.16.5-1.3 [823 kB]
Get: 15 http://deb.debian.org/debian bookworm/main amd64 autopoint all 0.21-12 [495 kB]
Get: 16 http://deb.debian.org/debian bookworm/main amd64 libdebhelper-perl all 13.11.4 [81.2 kB]
Get: 17 http://deb.debian.org/debian bookworm/main amd64 libtool all 2.4.7-5 [517 kB]
Get: 18 http://deb.debian.org/debian bookworm/main amd64 dh-autoreconf all 20 [17.1 kB]
Get: 19 http://deb.debian.org/debian bookworm/main amd64 libarchive-zip-perl all 1.68-1 [104 kB]
Get: 20 http://deb.debian.org/debian bookworm/main amd64 libsub-override-perl all 0.09-4 [9304 B]
Get: 21 http://deb.debian.org/debian bookworm/main amd64 libfile-stripnondeterminism-perl all 1.13.1-1 [19.4 kB]
Get: 22 http://deb.debian.org/debian bookworm/main amd64 dh-strip-nondeterminism all 1.13.1-1 [8620 B]
Get: 23 http://deb.debian.org/debian bookworm/main amd64 libelf1 amd64 0.188-2.1 [174 kB]
Get: 24 http://deb.debian.org/debian bookworm/main amd64 dwz amd64 0.15-1 [109 kB]
Get: 25 http://deb.debian.org/debian bookworm/main amd64 libicu72 amd64 72.1-3 [9376 kB]
Get: 26 http://deb.debian.org/debian bookworm/main amd64 libxml2 amd64 2.9.14+dfsg-1.3~deb12u1 [687 kB]
Get: 27 http://deb.debian.org/debian bookworm/main amd64 gettext amd64 0.21-12 [1300 kB]
Get: 28 http://deb.debian.org/debian bookworm/main amd64 intltool-debian all 0.35.0+20060710.6 [22.9 kB]
Get: 29 http://deb.debian.org/debian bookworm/main amd64 po-debconf all 1.0.21+nmu1 [248 kB]
Get: 30 http://deb.debian.org/debian bookworm/main amd64 debhelper all 13.11.4 [942 kB]
Get: 31 http://deb.debian.org/debian bookworm/main amd64 fonts-dejavu-core all 2.37-6 [1068 kB]
Get: 32 http://deb.debian.org/debian bookworm/main amd64 fontconfig-config amd64 2.14.1-4 [315 kB]
Get: 33 http://deb.debian.org/debian bookworm/main amd64 htmldoc-common all 1.9.16-1 [1995 kB]
Get: 34 http://deb.debian.org/debian bookworm/main amd64 libexpat1 amd64 2.5.0-1 [99.3 kB]
Get: 35 http://deb.debian.org/debian bookworm/main amd64 libbrotli1 amd64 1.0.9-2+b6 [275 kB]
Get: 36 http://deb.debian.org/debian bookworm/main amd64 libpng16-16 amd64 1.6.39-2 [276 kB]
Get: 37 http://deb.debian.org/debian bookworm/main amd64 libfreetype6 amd64 2.12.1+dfsg-5 [399 kB]
Get: 38 http://deb.debian.org/debian bookworm/main amd64 libfontconfig1 amd64 2.14.1-4 [386 kB]
Get: 39 http://deb.debian.org/debian bookworm/main amd64 libxau6 amd64 1:1.0.9-1 [19.7 kB]
Get: 40 http://deb.debian.org/debian bookworm/main amd64 libbsd0 amd64 0.11.7-2 [117 kB]
Get: 41 http://deb.debian.org/debian bookworm/main amd64 libxdmcp6 amd64 1:1.1.2-3 [26.3 kB]
Get: 42 http://deb.debian.org/debian bookworm/main amd64 libxcb1 amd64 1.15-1 [144 kB]
Get: 43 http://deb.debian.org/debian bookworm/main amd64 libx11-data all 2:1.8.4-2+deb12u2 [292 kB]
Get: 44 http://deb.debian.org/debian bookworm/main amd64 libx11-6 amd64 2:1.8.4-2+deb12u2 [760 kB]
Get: 45 http://deb.debian.org/debian bookworm/main amd64 libxfixes3 amd64 1:6.0.0-2 [22.7 kB]
Get: 46 http://deb.debian.org/debian bookworm/main amd64 libxrender1 amd64 1:0.9.10-1.1 [33.2 kB]
Get: 47 http://deb.debian.org/debian bookworm/main amd64 libxcursor1 amd64 1:1.2.1-1 [40.9 kB]
Get: 48 http://deb.debian.org/debian bookworm/main amd64 libxext6 amd64 2:1.3.4-1+b1 [52.9 kB]
Get: 49 http://deb.debian.org/debian bookworm/main amd64 libxft2 amd64 2.3.6-1 [61.8 kB]
Get: 50 http://deb.debian.org/debian bookworm/main amd64 libxinerama1 amd64 2:1.1.4-3 [17.8 kB]
Get: 51 http://deb.debian.org/debian bookworm/main amd64 libfltk1.3 amd64 1.3.8-5 [569 kB]
Get: 52 http://deb.debian.org/debian bookworm/main amd64 libjpeg62-turbo amd64 1:2.1.5-2 [166 kB]
Get: 53 http://deb.debian.org/debian bookworm/main amd64 libfltk-images1.3 amd64 1.3.8-5 [66.0 kB]
Get: 54 http://deb.debian.org/debian bookworm/main amd64 libxpm4 amd64 1:3.5.12-1.1+deb12u1 [48.6 kB]
Get: 55 http://deb.debian.org/debian bookworm/main amd64 htmldoc amd64 1.9.16-1 [182 kB]
Fetched 26.2 MB in 2s (14.7 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 ... 18148 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_amd64.deb ...
Unpacking libmagic-mgc (1:5.44-3) ...
Selecting previously unselected package libmagic1:amd64.
Preparing to unpack .../02-libmagic1_1%3a5.44-3_amd64.deb ...
Unpacking libmagic1:amd64 (1:5.44-3) ...
Selecting previously unselected package file.
Preparing to unpack .../03-file_1%3a5.44-3_amd64.deb ...
Unpacking file (1:5.44-3) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../04-gettext-base_0.21-12_amd64.deb ...
Unpacking gettext-base (0.21-12) ...
Selecting previously unselected package libuchardet0:amd64.
Preparing to unpack .../05-libuchardet0_0.0.7-1_amd64.deb ...
Unpacking libuchardet0:amd64 (0.0.7-1) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../06-groff-base_1.22.4-10_amd64.deb ...
Unpacking groff-base (1.22.4-10) ...
Selecting previously unselected package bsdextrautils.
Preparing to unpack .../07-bsdextrautils_2.38.1-5+b1_amd64.deb ...
Unpacking bsdextrautils (2.38.1-5+b1) ...
Selecting previously unselected package libpipeline1:amd64.
Preparing to unpack .../08-libpipeline1_1.5.7-1_amd64.deb ...
Unpacking libpipeline1:amd64 (1.5.7-1) ...
Selecting previously unselected package man-db.
Preparing to unpack .../09-man-db_2.11.2-2_amd64.deb ...
Unpacking man-db (2.11.2-2) ...
Selecting previously unselected package m4.
Preparing to unpack .../10-m4_1.4.19-3_amd64.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:amd64.
Preparing to unpack .../22-libelf1_0.188-2.1_amd64.deb ...
Unpacking libelf1:amd64 (0.188-2.1) ...
Selecting previously unselected package dwz.
Preparing to unpack .../23-dwz_0.15-1_amd64.deb ...
Unpacking dwz (0.15-1) ...
Selecting previously unselected package libicu72:amd64.
Preparing to unpack .../24-libicu72_72.1-3_amd64.deb ...
Unpacking libicu72:amd64 (72.1-3) ...
Selecting previously unselected package libxml2:amd64.
Preparing to unpack .../25-libxml2_2.9.14+dfsg-1.3~deb12u1_amd64.deb ...
Unpacking libxml2:amd64 (2.9.14+dfsg-1.3~deb12u1) ...
Selecting previously unselected package gettext.
Preparing to unpack .../26-gettext_0.21-12_amd64.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_amd64.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:amd64.
Preparing to unpack .../33-libexpat1_2.5.0-1_amd64.deb ...
Unpacking libexpat1:amd64 (2.5.0-1) ...
Selecting previously unselected package libbrotli1:amd64.
Preparing to unpack .../34-libbrotli1_1.0.9-2+b6_amd64.deb ...
Unpacking libbrotli1:amd64 (1.0.9-2+b6) ...
Selecting previously unselected package libpng16-16:amd64.
Preparing to unpack .../35-libpng16-16_1.6.39-2_amd64.deb ...
Unpacking libpng16-16:amd64 (1.6.39-2) ...
Selecting previously unselected package libfreetype6:amd64.
Preparing to unpack .../36-libfreetype6_2.12.1+dfsg-5_amd64.deb ...
Unpacking libfreetype6:amd64 (2.12.1+dfsg-5) ...
Selecting previously unselected package libfontconfig1:amd64.
Preparing to unpack .../37-libfontconfig1_2.14.1-4_amd64.deb ...
Unpacking libfontconfig1:amd64 (2.14.1-4) ...
Selecting previously unselected package libxau6:amd64.
Preparing to unpack .../38-libxau6_1%3a1.0.9-1_amd64.deb ...
Unpacking libxau6:amd64 (1:1.0.9-1) ...
Selecting previously unselected package libbsd0:amd64.
Preparing to unpack .../39-libbsd0_0.11.7-2_amd64.deb ...
Unpacking libbsd0:amd64 (0.11.7-2) ...
Selecting previously unselected package libxdmcp6:amd64.
Preparing to unpack .../40-libxdmcp6_1%3a1.1.2-3_amd64.deb ...
Unpacking libxdmcp6:amd64 (1:1.1.2-3) ...
Selecting previously unselected package libxcb1:amd64.
Preparing to unpack .../41-libxcb1_1.15-1_amd64.deb ...
Unpacking libxcb1:amd64 (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:amd64.
Preparing to unpack .../43-libx11-6_2%3a1.8.4-2+deb12u2_amd64.deb ...
Unpacking libx11-6:amd64 (2:1.8.4-2+deb12u2) ...
Selecting previously unselected package libxfixes3:amd64.
Preparing to unpack .../44-libxfixes3_1%3a6.0.0-2_amd64.deb ...
Unpacking libxfixes3:amd64 (1:6.0.0-2) ...
Selecting previously unselected package libxrender1:amd64.
Preparing to unpack .../45-libxrender1_1%3a0.9.10-1.1_amd64.deb ...
Unpacking libxrender1:amd64 (1:0.9.10-1.1) ...
Selecting previously unselected package libxcursor1:amd64.
Preparing to unpack .../46-libxcursor1_1%3a1.2.1-1_amd64.deb ...
Unpacking libxcursor1:amd64 (1:1.2.1-1) ...
Selecting previously unselected package libxext6:amd64.
Preparing to unpack .../47-libxext6_2%3a1.3.4-1+b1_amd64.deb ...
Unpacking libxext6:amd64 (2:1.3.4-1+b1) ...
Selecting previously unselected package libxft2:amd64.
Preparing to unpack .../48-libxft2_2.3.6-1_amd64.deb ...
Unpacking libxft2:amd64 (2.3.6-1) ...
Selecting previously unselected package libxinerama1:amd64.
Preparing to unpack .../49-libxinerama1_2%3a1.1.4-3_amd64.deb ...
Unpacking libxinerama1:amd64 (2:1.1.4-3) ...
Selecting previously unselected package libfltk1.3:amd64.
Preparing to unpack .../50-libfltk1.3_1.3.8-5_amd64.deb ...
Unpacking libfltk1.3:amd64 (1.3.8-5) ...
Selecting previously unselected package libjpeg62-turbo:amd64.
Preparing to unpack .../51-libjpeg62-turbo_1%3a2.1.5-2_amd64.deb ...
Unpacking libjpeg62-turbo:amd64 (1:2.1.5-2) ...
Selecting previously unselected package libfltk-images1.3:amd64.
Preparing to unpack .../52-libfltk-images1.3_1.3.8-5_amd64.deb ...
Unpacking libfltk-images1.3:amd64 (1.3.8-5) ...
Selecting previously unselected package libxpm4:amd64.
Preparing to unpack .../53-libxpm4_1%3a3.5.12-1.1+deb12u1_amd64.deb ...
Unpacking libxpm4:amd64 (1:3.5.12-1.1+deb12u1) ...
Selecting previously unselected package htmldoc.
Preparing to unpack .../54-htmldoc_1.9.16-1_amd64.deb ...
Unpacking htmldoc (1.9.16-1) ...
Setting up libexpat1:amd64 (2.5.0-1) ...
Setting up libpipeline1:amd64 (1.5.7-1) ...
Setting up libxau6:amd64 (1:1.0.9-1) ...
Setting up libicu72:amd64 (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:amd64 (1.0.9-2+b6) ...
Setting up libmagic1:amd64 (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:amd64 (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:amd64 (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:amd64 (0.0.7-1) ...
Setting up libsub-override-perl (0.09-4) ...
Setting up libbsd0:amd64 (0.11.7-2) ...
Setting up libelf1:amd64 (0.188-2.1) ...
Setting up libxml2:amd64 (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:amd64 (1:1.1.2-3) ...
Setting up libxcb1:amd64 (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:amd64 (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:amd64 (2:1.8.4-2+deb12u2) ...
Setting up libfontconfig1:amd64 (2.14.1-4) ...
Setting up libxpm4:amd64 (1:3.5.12-1.1+deb12u1) ...
Setting up libxrender1:amd64 (1:0.9.10-1.1) ...
Setting up po-debconf (1.0.21+nmu1) ...
Setting up libxext6:amd64 (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:amd64 (1:6.0.0-2) ...
Setting up libxinerama1:amd64 (2:1.1.4-3) ...
Setting up libxft2:amd64 (2.3.6-1) ...
Setting up libxcursor1:amd64 (1:1.2.1-1) ...
Setting up debhelper (13.11.4) ...
Setting up libfltk1.3:amd64 (1.3.8-5) ...
Setting up libfltk-images1.3:amd64 (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 amd64
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_amd64.buildinfo
dpkg-genchanges --build=binary -O../prover9-manual_0.0.200902a-2.1_amd64.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/3324147 and its subdirectories
I: Current time: Sat Jan 6 18:29:47 -12 2024
I: pbuilder-time-stamp: 1704608987
Sun Jan 7 06:29:49 UTC 2024 I: 1st build successful. Starting 2nd build on remote node ionos15-amd64.debian.net.
Sun Jan 7 06:29:49 UTC 2024 I: Preparing to do remote build '2' on ionos15-amd64.debian.net.
Sun Jan 7 06:30:15 UTC 2024 I: Deleting $TMPDIR on ionos15-amd64.debian.net.
Sun Jan 7 06:30:16 UTC 2024 I: prover9-manual_0.0.200902a-2.1_amd64.changes:
Format: 1.8
Date: Tue, 05 Jan 2021 23:21:05 +0100
Source: prover9-manual
Binary: prover9-doc
Architecture: all
Version: 0.0.200902a-2.1
Distribution: unstable
Urgency: medium
Maintainer: Debian QA Group <packages@qa.debian.org>
Changed-By: Holger Levsen <holger@debian.org>
Description:
prover9-doc - documentation for Prover9 and associated programs
Changes:
prover9-manual (0.0.200902a-2.1) unstable; urgency=medium
.
* Non maintainer upload by the Reproducible Builds team.
* No source change upload to rebuild on buildd with .buildinfo files.
Checksums-Sha1:
e5318eacc3fc555d0cadce1bd2c9c2662767af37 856876 prover9-doc_0.0.200902a-2.1_all.deb
913b5293100384289da743272ddc9803ab687b04 5845 prover9-manual_0.0.200902a-2.1_amd64.buildinfo
Checksums-Sha256:
ad3b70a471aec554dde3a01d6eb19d5000373cd6a20a7a5b4e6ab1f2ba8e7ba3 856876 prover9-doc_0.0.200902a-2.1_all.deb
afe9fa42ff64f44512b7dcb064ca9f55d1cc5a149948a5ee4091113082343cf2 5845 prover9-manual_0.0.200902a-2.1_amd64.buildinfo
Files:
6de4cc6b62533bb93a299994298ee8dd 856876 doc optional prover9-doc_0.0.200902a-2.1_all.deb
8a905a5419881d1b5846008259dc4376 5845 doc optional prover9-manual_0.0.200902a-2.1_amd64.buildinfo
Sun Jan 7 06:30:17 UTC 2024 I: diffoscope 240 will be used to compare the two builds:
# Profiling output for: /usr/bin/diffoscope --timeout 7200 --html /srv/reproducible-results/rbuild-debian/r-b-build.hyF5Yp0V/prover9-manual_0.0.200902a-2.1.diffoscope.html --text /srv/reproducible-results/rbuild-debian/r-b-build.hyF5Yp0V/prover9-manual_0.0.200902a-2.1.diffoscope.txt --json /srv/reproducible-results/rbuild-debian/r-b-build.hyF5Yp0V/prover9-manual_0.0.200902a-2.1.diffoscope.json --profile=- /srv/reproducible-results/rbuild-debian/r-b-build.hyF5Yp0V/b1/prover9-manual_0.0.200902a-2.1_amd64.changes /srv/reproducible-results/rbuild-debian/r-b-build.hyF5Yp0V/b2/prover9-manual_0.0.200902a-2.1_amd64.changes
## command (total time: 0.000s)
0.000s 1 call cmp (internal)
## has_same_content_as (total time: 0.000s)
0.000s 1 call abc.DotChangesFile
## main (total time: 0.322s)
0.322s 2 calls outputs
0.000s 1 call cleanup
## recognizes (total time: 0.023s)
0.023s 12 calls diffoscope.comparators.binary.FilesystemFile
0.000s 10 calls abc.DotChangesFile
## specialize (total time: 0.000s)
0.000s 1 call specialize
Sun Jan 7 06:30:17 UTC 2024 I: diffoscope 240 found no differences in the changes files, and a .buildinfo file also exists.
Sun Jan 7 06:30:17 UTC 2024 I: prover9-manual from bookworm built successfully and reproducibly on amd64.
Sun Jan 7 06:30:22 UTC 2024 I: Submitting .buildinfo files to external archives:
Sun Jan 7 06:30:22 UTC 2024 I: Submitting 8.0K b1/prover9-manual_0.0.200902a-2.1_amd64.buildinfo.asc
Sun Jan 7 06:30:22 UTC 2024 I: Submitting 8.0K b2/prover9-manual_0.0.200902a-2.1_amd64.buildinfo.asc
Sun Jan 7 06:30:23 UTC 2024 I: Done submitting .buildinfo files to http://buildinfo.debian.net/api/submit.
Sun Jan 7 06:30:23 UTC 2024 I: Done submitting .buildinfo files.
Sun Jan 7 06:30:23 UTC 2024 I: Removing signed prover9-manual_0.0.200902a-2.1_amd64.buildinfo.asc files:
removed './b1/prover9-manual_0.0.200902a-2.1_amd64.buildinfo.asc'
removed './b2/prover9-manual_0.0.200902a-2.1_amd64.buildinfo.asc'