Diff of the two buildlogs:

--
--- b1/build.log	2024-04-27 14:04:26.278140645 +0000
+++ b2/build.log	2024-04-27 14:35:49.117851086 +0000
@@ -1,6 +1,6 @@
 I: pbuilder: network access will be disabled during build
-I: Current time: Sat Apr 27 01:32:06 -12 2024
-I: pbuilder-time-stamp: 1714224726
+I: Current time: Sun Apr 28 04:04:51 +14 2024
+I: pbuilder-time-stamp: 1714226691
 I: Building the build Environment
 I: extracting base tarball [/var/cache/pbuilder/unstable-reproducible-base.tgz]
 I: copying local configuration
@@ -26,52 +26,84 @@
 dpkg-source: info: unpacking coq-stdpp_1.10.0-1.debian.tar.xz
 I: Not using root during the build.
 I: Installing the build-deps
-I: user script /srv/workspace/pbuilder/2952/tmp/hooks/D02_print_environment starting
+I: user script /srv/workspace/pbuilder/5293/tmp/hooks/D01_modify_environment starting
+debug: Running on ff64a.
+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 Apr 27 14:05 /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/5293/tmp/hooks/D01_modify_environment finished
+I: user script /srv/workspace/pbuilder/5293/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='armhf'
-  DEBIAN_FRONTEND='noninteractive'
-  DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=3 '
-  DISTRIBUTION='unstable'
-  HOME='/root'
-  HOST_ARCH='armhf'
+  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]="21" [3]="1" [4]="release" [5]="arm-unknown-linux-gnueabihf")
+  BASH_VERSION='5.2.21(1)-release'
+  BUILDDIR=/build/reproducible-path
+  BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other'
+  BUILDUSERNAME=pbuilder2
+  BUILD_ARCH=armhf
+  DEBIAN_FRONTEND=noninteractive
+  DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=6 '
+  DIRSTACK=()
+  DISTRIBUTION=unstable
+  EUID=0
+  FUNCNAME=([0]="Echo" [1]="main")
+  GROUPS=()
+  HOME=/root
+  HOSTNAME=i-capture-the-hostname
+  HOSTTYPE=arm
+  HOST_ARCH=armhf
   IFS=' 	
   '
-  INVOCATION_ID='3010c510fc064977bd3207c3b027e146'
-  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='2952'
-  PS1='# '
-  PS2='> '
+  INVOCATION_ID=7b8c1027ed0e480585ebb8f238c4a483
+  LANG=C
+  LANGUAGE=it_CH:it
+  LC_ALL=C
+  MACHTYPE=arm-unknown-linux-gnueabihf
+  MAIL=/var/mail/root
+  OPTERR=1
+  OPTIND=1
+  OSTYPE=linux-gnueabihf
+  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=5293
   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.dsobvu22/pbuilderrc_IGn5 --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.dsobvu22/b1 --logfile b1/build.log coq-stdpp_1.10.0-1.dsc'
-  SUDO_GID='116'
-  SUDO_UID='112'
-  SUDO_USER='jenkins'
-  TERM='unknown'
-  TZ='/usr/share/zoneinfo/Etc/GMT+12'
-  USER='root'
-  _='/usr/bin/systemd-run'
-  http_proxy='http://10.0.0.15:3142/'
+  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.dsobvu22/pbuilderrc_b77b --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.dsobvu22/b2 --logfile b2/build.log coq-stdpp_1.10.0-1.dsc'
+  SUDO_GID=114
+  SUDO_UID=109
+  SUDO_USER=jenkins
+  TERM=unknown
+  TZ=/usr/share/zoneinfo/Etc/GMT-14
+  UID=0
+  USER=root
+  _='I: set'
+  http_proxy=http://10.0.0.15:3142/
 I: uname -a
-  Linux cbxi4b 6.1.0-20-armmp #1 SMP Debian 6.1.85-1 (2024-04-11) armv7l GNU/Linux
+  Linux i-capture-the-hostname 6.1.0-20-arm64 #1 SMP Debian 6.1.85-1 (2024-04-11) aarch64 GNU/Linux
 I: ls -l /bin
   lrwxrwxrwx 1 root root 7 Apr 26 07:45 /bin -> usr/bin
-I: user script /srv/workspace/pbuilder/2952/tmp/hooks/D02_print_environment finished
+I: user script /srv/workspace/pbuilder/5293/tmp/hooks/D02_print_environment finished
  -> Attempting to satisfy build-dependencies
  -> Creating pbuilder-satisfydepends-dummy package
 Package: pbuilder-satisfydepends-dummy
@@ -182,7 +214,7 @@
 Get: 63 http://deb.debian.org/debian unstable/main armhf libgmp3-dev armhf 2:6.3.0+dfsg-2+b1 [322 kB]
 Get: 64 http://deb.debian.org/debian unstable/main armhf libzarith-ocaml-dev armhf 1.13-2+b1 [101 kB]
 Get: 65 http://deb.debian.org/debian unstable/main armhf libcoq-core-ocaml-dev armhf 8.19.1+dfsg-1 [45.6 MB]
-Fetched 311 MB in 41s (7559 kB/s)
+Fetched 311 MB in 11s (28.4 MB/s)
 debconf: delaying package configuration, since apt-utils is not installed
 Selecting previously unselected package libpython3.11-minimal:armhf.
 (Reading database ... 
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 19440 files and directories currently installed.)
@@ -407,8 +439,8 @@
 Setting up tzdata (2024a-3) ...
 
 Current default time zone: 'Etc/UTC'
-Local time is now:      Sat Apr 27 13:36:02 UTC 2024.
-Universal Time is now:  Sat Apr 27 13:36:02 UTC 2024.
+Local time is now:      Sat Apr 27 14:08:56 UTC 2024.
+Universal Time is now:  Sat Apr 27 14:08:56 UTC 2024.
 Run 'dpkg-reconfigure tzdata' if you wish to change it.
 
 Setting up autotools-dev (20220109.1) ...
@@ -469,7 +501,11 @@
 Building tag database...
  -> Finished parsing the build-deps
 I: Building the package
-I: Running cd /build/reproducible-path/coq-stdpp-1.10.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  > ../coq-stdpp_1.10.0-1_source.changes
+I: user script /srv/workspace/pbuilder/5293/tmp/hooks/A99_set_merged_usr starting
+Not re-configuring usrmerge for unstable
+I: user script /srv/workspace/pbuilder/5293/tmp/hooks/A99_set_merged_usr finished
+hostname: Name or service not known
+I: Running cd /build/reproducible-path/coq-stdpp-1.10.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  > ../coq-stdpp_1.10.0-1_source.changes
 dpkg-buildpackage: info: source package coq-stdpp
 dpkg-buildpackage: info: source version 1.10.0-1
 dpkg-buildpackage: info: source distribution unstable
@@ -518,60 +554,60 @@
 COQC stdpp/option.v
 COQC stdpp/well_founded.v
 COQC stdpp/numbers.v
-COQC stdpp/orders.v
 COQC stdpp/list.v
 COQC stdpp/list_numbers.v
 COQC stdpp/fin.v
 COQC stdpp/countable.v
+COQC stdpp/orders.v
 COQC stdpp/vector.v
 COQC stdpp/finite.v
 COQC stdpp/sets.v
 COQC stdpp/relations.v
-COQC stdpp/fin_sets.v
-COQC stdpp/listset.v
-COQC stdpp/lexico.v
-COQC stdpp/prelude.v
-COQTEST tests/numbers_import.v (ref: tests/numbers_import.ref)
-COQC stdpp/propset.v
-COQTEST tests/propset.v (ref: tests/propset.ref)
 COQC stdpp/strings.v
-COQTEST tests/length.v (ref: tests/length.ref)
 COQC stdpp/pretty.v
 COQC stdpp/infinite.v
+COQC stdpp/fin_sets.v
 COQC stdpp/fin_maps.v
 COQC stdpp/fin_map_dom.v
 COQC stdpp/mapset.v
 COQC stdpp/pmap.v
 COQC stdpp/gmap.v
-COQC stdpp/ssreflect.v
-COQC stdpp/gmultiset.v
-COQTEST tests/multiset_solver.v (ref: tests/multiset_solver.ref)
-COQTEST tests/sets.v (ref: tests/sets.ref)
+COQTEST tests/universes.v (ref: tests/universes.ref)
+COQTEST tests/tactics_more.v (ref: tests/tactics_more.ref)
 COQC stdpp_bitvector/definitions.v
 COQC stdpp_unstable/bitblast.v
 COQTEST tests/bitblast.v (ref: tests/bitblast.ref)
-COQTEST tests/typeclasses.v (ref: tests/typeclasses.ref)
+COQC stdpp/listset.v
+COQC stdpp/lexico.v
+COQC stdpp/prelude.v
+COQTEST tests/length.v (ref: tests/length.ref)
+COQC stdpp/propset.v
 COQTEST tests/proper.v (ref: tests/proper.ref)
-COQTEST tests/tactics.v (ref: tests/tactics.ref)
-COQTEST tests/is_closed_term.v (ref: tests/is_closed_term.ref)
-COQTEST tests/universes.v (ref: tests/universes.ref)
 COQTEST tests/bitvector_definitions.v (ref: tests/bitvector_definitions.ref)
-COQTEST tests/list.v (ref: tests/list.ref)
+COQTEST tests/decidable.v (ref: tests/decidable.ref)
+COQTEST tests/eunify.v (ref: tests/eunify.ref)
+COQC stdpp/ssreflect.v
+COQC stdpp/gmultiset.v
+COQTEST tests/multiset_solver.v (ref: tests/multiset_solver.ref)
+COQTEST tests/propset.v (ref: tests/propset.ref)
 COQC stdpp/coPset.v
 COQC stdpp/namespaces.v
 COQTEST tests/solve_ndisj.v (ref: tests/solve_ndisj.ref)
-COQTEST tests/fin_maps.v (ref: tests/fin_maps.ref)
+COQTEST tests/pretty.v (ref: tests/pretty.ref)
+COQTEST tests/sets.v (ref: tests/sets.ref)
 COQTEST tests/fin.v (ref: tests/fin.ref)
-COQTEST tests/decidable.v (ref: tests/decidable.ref)
-COQTEST tests/numbers.v (ref: tests/numbers.ref)
-COQC stdpp_bitvector/tactics.v
-COQTEST tests/bitvector_tactics.v (ref: tests/bitvector_tactics.ref)
-COQTEST tests/eunify.v (ref: tests/eunify.ref)
 COQTEST tests/notation.v (ref: tests/notation.ref)
-COQTEST tests/tactics_more.v (ref: tests/tactics_more.ref)
-COQTEST tests/pretty.v (ref: tests/pretty.ref)
 COQC stdpp/telescopes.v
 COQTEST tests/telescopes.v (ref: tests/telescopes.ref)
+COQTEST tests/typeclasses.v (ref: tests/typeclasses.ref)
+COQTEST tests/numbers_import.v (ref: tests/numbers_import.ref)
+COQTEST tests/fin_maps.v (ref: tests/fin_maps.ref)
+COQTEST tests/tactics.v (ref: tests/tactics.ref)
+COQTEST tests/numbers.v (ref: tests/numbers.ref)
+COQTEST tests/list.v (ref: tests/list.ref)
+COQC stdpp_bitvector/tactics.v
+COQTEST tests/bitvector_tactics.v (ref: tests/bitvector_tactics.ref)
+COQTEST tests/is_closed_term.v (ref: tests/is_closed_term.ref)
 COQC stdpp/boolset.v
 COQC stdpp/stringmap.v
 COQC stdpp/zmap.v
@@ -591,7 +627,7 @@
 make[2]: Leaving directory '/build/reproducible-path/coq-stdpp-1.10.0'
 make[1]: Leaving directory '/build/reproducible-path/coq-stdpp-1.10.0'
    dh_auto_test
-	make -j3 test
+	make -j6 test
 make[1]: Entering directory '/build/reproducible-path/coq-stdpp-1.10.0'
 make[2]: Entering directory '/build/reproducible-path/coq-stdpp-1.10.0'
 make[2]: Nothing to be done for 'test'.
@@ -799,12 +835,14 @@
 dpkg-buildpackage: info: binary-only upload (no source included)
 dpkg-genchanges: info: including full source code in upload
 I: copying local configuration
+I: user script /srv/workspace/pbuilder/5293/tmp/hooks/B01_cleanup starting
+I: user script /srv/workspace/pbuilder/5293/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/2952 and its subdirectories
-I: Current time: Sat Apr 27 02:04:21 -12 2024
-I: pbuilder-time-stamp: 1714226661
+I: removing directory /srv/workspace/pbuilder/5293 and its subdirectories
+I: Current time: Sun Apr 28 04:35:44 +14 2024
+I: pbuilder-time-stamp: 1714228544