Diff of the two buildlogs:
--
--- b1/build.log 2025-02-04 07:05:09.281128155 +0000
+++ b2/build.log 2025-02-04 07:10:31.202493687 +0000
@@ -1,6 +1,6 @@
I: pbuilder: network access will be disabled during build
-I: Current time: Mon Feb 3 18:55:01 -12 2025
-I: pbuilder-time-stamp: 1738652101
+I: Current time: Tue Mar 10 03:28:19 +14 2026
+I: pbuilder-time-stamp: 1773062899
I: Building the build Environment
I: extracting base tarball [/var/cache/pbuilder/unstable-reproducible-base.tgz]
I: copying local configuration
@@ -25,54 +25,86 @@
dpkg-source: info: applying hardening-flags
I: Not using root during the build.
I: Installing the build-deps
-I: user script /srv/workspace/pbuilder/55675/tmp/hooks/D02_print_environment starting
+I: user script /srv/workspace/pbuilder/108247/tmp/hooks/D01_modify_environment starting
+debug: Running on ionos6-i386.
+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
+'/bin/sh' -> '/bin/bash'
+lrwxrwxrwx 1 root root 9 Mar 9 13:28 /bin/sh -> /bin/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/108247/tmp/hooks/D01_modify_environment finished
+I: user script /srv/workspace/pbuilder/108247/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='i386'
- DEBIAN_FRONTEND='noninteractive'
- DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=11 '
- DISTRIBUTION='unstable'
- HOME='/root'
- HOST_ARCH='i386'
+ BASH=/bin/sh
+ BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:globskipdots:hostcomplete:interactive_comments:patsub_replacement:progcomp:promptvars:sourcepath
+ BASH_ALIASES=()
+ BASH_ARGC=()
+ BASH_ARGV=()
+ BASH_CMDS=()
+ BASH_LINENO=([0]="12" [1]="0")
+ BASH_LOADABLES_PATH=/usr/local/lib/bash:/usr/lib/bash:/opt/local/lib/bash:/usr/pkg/lib/bash:/opt/pkg/lib/bash:.
+ BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment")
+ BASH_VERSINFO=([0]="5" [1]="2" [2]="37" [3]="1" [4]="release" [5]="i686-pc-linux-gnu")
+ BASH_VERSION='5.2.37(1)-release'
+ BUILDDIR=/build/reproducible-path
+ BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other'
+ BUILDUSERNAME=pbuilder2
+ BUILD_ARCH=i386
+ DEBIAN_FRONTEND=noninteractive
+ DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=21 '
+ DIRSTACK=()
+ DISTRIBUTION=unstable
+ EUID=0
+ FUNCNAME=([0]="Echo" [1]="main")
+ GROUPS=()
+ HOME=/root
+ HOSTNAME=i-capture-the-hostname
+ HOSTTYPE=i686
+ HOST_ARCH=i386
IFS='
'
- INVOCATION_ID='3daa99fda0c14e1db29eecd941f1320e'
- LANG='C'
- LANGUAGE='en_US:en'
- LC_ALL='C'
- LD_LIBRARY_PATH='/usr/lib/libeatmydata'
- LD_PRELOAD='libeatmydata.so'
- 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='55675'
- PS1='# '
- PS2='> '
+ INVOCATION_ID=5397ea0254fb48ad88f75c96e4b77e98
+ LANG=C
+ LANGUAGE=de_CH:de
+ LC_ALL=C
+ LD_LIBRARY_PATH=/usr/lib/libeatmydata
+ LD_PRELOAD=libeatmydata.so
+ MACHTYPE=i686-pc-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=108247
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.38Diq25C/pbuilderrc_JfkM --distribution unstable --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.38Diq25C/b1 --logfile b1/build.log why3_1.8.0-2.dsc'
- SUDO_GID='112'
- SUDO_UID='107'
- SUDO_USER='jenkins'
- TERM='unknown'
- TZ='/usr/share/zoneinfo/Etc/GMT+12'
- USER='root'
- _='/usr/bin/systemd-run'
- http_proxy='http://46.16.76.132:3128'
+ 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/r-b-build.38Diq25C/pbuilderrc_tFSX --distribution unstable --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/unstable-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.38Diq25C/b2 --logfile b2/build.log why3_1.8.0-2.dsc'
+ SUDO_GID=112
+ SUDO_UID=107
+ SUDO_USER=jenkins
+ TERM=unknown
+ TZ=/usr/share/zoneinfo/Etc/GMT-14
+ UID=0
+ USER=root
+ _='I: set'
+ http_proxy=http://213.165.73.152:3128
I: uname -a
- Linux ionos2-i386 6.1.0-30-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.124-1 (2025-01-12) x86_64 GNU/Linux
+ Linux i-capture-the-hostname 6.1.0-30-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.124-1 (2025-01-12) x86_64 GNU/Linux
I: ls -l /bin
- lrwxrwxrwx 1 root root 7 Nov 22 14:40 /bin -> usr/bin
-I: user script /srv/workspace/pbuilder/55675/tmp/hooks/D02_print_environment finished
+ lrwxrwxrwx 1 root root 7 Nov 22 2024 /bin -> usr/bin
+I: user script /srv/workspace/pbuilder/108247/tmp/hooks/D02_print_environment finished
-> Attempting to satisfy build-dependencies
-> Creating pbuilder-satisfydepends-dummy package
Package: pbuilder-satisfydepends-dummy
@@ -810,7 +842,7 @@
Get: 344 http://deb.debian.org/debian unstable/main i386 menhir i386 20240715+ds-1+b1 [416 kB]
Get: 345 http://deb.debian.org/debian unstable/main i386 ocaml-findlib i386 1.9.6-3+b1 [309 kB]
Get: 346 http://deb.debian.org/debian unstable/main i386 tex-common all 6.18 [32.5 kB]
-Fetched 231 MB in 4s (65.9 MB/s)
+Fetched 231 MB in 3s (80.0 MB/s)
Preconfiguring packages ...
Selecting previously unselected package libsystemd-shared:i386.
(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 ... 19826 files and directories currently installed.)
@@ -1934,8 +1966,8 @@
Setting up tzdata (2025a-1) ...
Current default time zone: 'Etc/UTC'
-Local time is now: Tue Feb 4 06:56:15 UTC 2025.
-Universal Time is now: Tue Feb 4 06:56:15 UTC 2025.
+Local time is now: Mon Mar 9 13:29:08 UTC 2026.
+Universal Time is now: Mon Mar 9 13:29:08 UTC 2026.
Run 'dpkg-reconfigure tzdata' if you wish to change it.
Setting up libxcb-present0:i386 (1.17.0-2+b1) ...
@@ -2245,7 +2277,11 @@
Building tag database...
-> Finished parsing the build-deps
I: Building the package
-I: Running cd /build/reproducible-path/why3-1.8.0/ && 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 > ../why3_1.8.0-2_source.changes
+I: user script /srv/workspace/pbuilder/108247/tmp/hooks/A99_set_merged_usr starting
+Not re-configuring usrmerge for unstable
+I: user script /srv/workspace/pbuilder/108247/tmp/hooks/A99_set_merged_usr finished
+hostname: Name or service not known
+I: Running cd /build/reproducible-path/why3-1.8.0/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-genchanges -S > ../why3_1.8.0-2_source.changes
dpkg-buildpackage: info: source package why3
dpkg-buildpackage: info: source version 1.8.0-2
dpkg-buildpackage: info: source distribution unstable
@@ -3209,7 +3245,7 @@
make[2]: Leaving directory '/build/reproducible-path/why3-1.8.0'
make[1]: Leaving directory '/build/reproducible-path/why3-1.8.0'
dh_auto_build -Nwhy3 -Nlibwhy3-ocaml-dev
- make -j11
+ make -j21
make[1]: Entering directory '/build/reproducible-path/why3-1.8.0'
make[1]: Nothing to be done for 'all'.
make[1]: Leaving directory '/build/reproducible-path/why3-1.8.0'
@@ -3363,7 +3399,7 @@
make[3]: Leaving directory '/build/reproducible-path/why3-1.8.0'
make[2]: Leaving directory '/build/reproducible-path/why3-1.8.0'
dh_auto_test -a
- make -j11 test "TESTSUITEFLAGS=-j11 --verbose" VERBOSE=1
+ make -j21 test "TESTSUITEFLAGS=-j21 --verbose" VERBOSE=1
make[2]: Entering directory '/build/reproducible-path/why3-1.8.0'
Generate src/util/config.ml
cmp -s src/util/recompat.ml src/util/re.ml || cp src/util/recompat.ml src/util/re.ml
@@ -3657,23 +3693,23 @@
make[1]: Entering directory '/build/reproducible-path/why3-1.8.0'
dh_ocaml --nodefined-map=why3:Cairo,Gaux,Gpointer,Gobject,PangoEnums,Gutf8,Glib,Pango,GdkEnums,Gdk,GDraw,GPango,GdkEvent,GdkPixbuf,GtkEnums,Gtk,GtkObject,GtkSignal,GtkBaseProps,GtkStock,GtkBase,GtkData,OgtkBaseProps,GObj,GtkBinProps,GtkBin,GData,GtkTreeProps,OgtkTreeProps,GtkTextProps,OgtkTextProps,GtkRangeProps,OgtkRangeProps,GtkPackProps,OgtkPackProps,GtkMiscProps,OgtkMiscProps,GtkMenuProps,OgtkMenuProps,GtkFileProps,OgtkFileProps,GtkEditProps,OgtkEditProps,GtkContainersProps,OgtkContainersProps,GtkButtonProps,OgtkButtonProps,GtkBuilderProps,OgtkBuilderProps,OgtkBinProps,GtkAssistantProps,OgtkAssistantProps,GtkActionProps,OgtkActionProps,GtkWindow,GtkTree,GtkMain,GtkThread,GtkText,GtkRange,GtkPack,GtkMisc,GtkMenu,GtkFile,GtkEdit,GtkContainers,GtkButton,GtkBuilder,GtkAssistant,GdkKeysyms,GContainer,GPack,GFile,GWindow,GUtil,GTree,GBin,GButton,GMenu,GEdit,GMain,GMisc,GText,GToolbox,GRange,GBuilder,GAssistant,GAction,Cairo_pango,SourceView3Enums,GtkSourceView3Props,OgtkSourceView3Props,GtkSourceView3,GSourceView3,Gconfig,Ide_utils,Why3ide,Graph__,Graph__XDotDraw,Graph__Builder,Graph__Dot_parser,Graph__Dot_lexer,Graph__Dot,Graph__Graphviz,Graph__Util,Graph__XDot,Graph__WeakTopological,Graph__Unionfind,Graph__Traverse,Graph__Dominator,Graph__Oper,Graph__Components,Graph__Heap,Graph__Path,Graph__Topological,Graph__Strat,Graph__Delaunay,Graph__Rand,Graph__Prim,Graph__PersistentQueue,Graph__Blocks,Graph__Persistent,Graph__Classic,Graph__Coloring,Graph__Eulerian,Graph__Flow,Graph__Gml,Graph__Bitv,Graph__Imperative,Graph__Kruskal,Graph__Pack,Graph__Nonnegative,Graph__Minsep,Graph__Mincut,Graph__Merge,Graph__Gmap,Graph__Cliquetree,Graph__Md,Graph__Mcs_m,Graph__Leaderlist,Graph__Graphml,Graph__ChaoticIteration,Graph__Clique,Graph__Contraction,Graph__Cycles,Graph__DGraphModel,Graph__DGraphRandModel,Graph__DGraphSubTree,Graph__DGraphTreeLayout,Graph__DGraphTreeModel,Graph__Fixpoint,Graph,Hypothesis_selection
W: libwhy3-ocaml-dev v1.8.0-2 doesn't resolve dependency on unit Driver_ast
-W: why3 doesn't resolve dependency on unit Tptp_ast
-W: why3 doesn't resolve dependency on unit Isabelle_client_main
-W: why3 doesn't resolve dependency on unit Mc_ast
-W: why3 doesn't resolve dependency on unit Gconfig
-W: why3 doesn't resolve dependency on unit Ide_utils
W: why3 doesn't resolve dependency on unit Driver_ast
+W: why3 doesn't resolve dependency on unit Ide_utils
W: why3 doesn't resolve dependency on unit Py_ast
+W: why3 doesn't resolve dependency on unit Tptp_ast
W: why3 doesn't resolve dependency on unit Cfg_ast
+W: why3 doesn't resolve dependency on unit Isabelle_client_main
W: why3 doesn't resolve dependency on unit Dynlink_cmo_format
+W: why3 doesn't resolve dependency on unit Gconfig
+W: why3 doesn't resolve dependency on unit Mc_ast
make[1]: Leaving directory '/build/reproducible-path/why3-1.8.0'
dh_gencontrol
dpkg-gencontrol: warning: Depends field of package libwhy3-ocaml-dev: substitution variable ${shlibs:Depends} used, but is not defined
dh_md5sums
dh_builddeb
dpkg-deb: building package 'why3' in '../why3_1.8.0-2_i386.deb'.
-dpkg-deb: building package 'libwhy3-ocaml-dev' in '../libwhy3-ocaml-dev_1.8.0-2_i386.deb'.
dpkg-deb: building package 'why3-dbgsym' in '../why3-dbgsym_1.8.0-2_i386.deb'.
+dpkg-deb: building package 'libwhy3-ocaml-dev' in '../libwhy3-ocaml-dev_1.8.0-2_i386.deb'.
dpkg-deb: building package 'why3-examples' in '../why3-examples_1.8.0-2_all.deb'.
dpkg-genbuildinfo --build=binary -O../why3_1.8.0-2_i386.buildinfo
dpkg-genchanges --build=binary -O../why3_1.8.0-2_i386.changes
@@ -3682,12 +3718,14 @@
dpkg-buildpackage: info: binary-only upload (no source included)
dpkg-genchanges: info: not including original source code in upload
I: copying local configuration
+I: user script /srv/workspace/pbuilder/108247/tmp/hooks/B01_cleanup starting
+I: user script /srv/workspace/pbuilder/108247/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/55675 and its subdirectories
-I: Current time: Mon Feb 3 19:05:08 -12 2025
-I: pbuilder-time-stamp: 1738652708
+I: removing directory /srv/workspace/pbuilder/108247 and its subdirectories
+I: Current time: Tue Mar 10 03:33:29 +14 2026
+I: pbuilder-time-stamp: 1773063209