Diff of the two buildlogs:

--
--- b1/build.log	2025-02-06 19:55:55.072877972 +0000
+++ b2/build.log	2025-02-06 19:59:21.191568082 +0000
@@ -1,6 +1,6 @@
 I: pbuilder: network access will be disabled during build
-I: Current time: Wed Mar 11 14:17:40 -12 2026
-I: pbuilder-time-stamp: 1773281860
+I: Current time: Fri Feb  7 09:55:58 +14 2025
+I: pbuilder-time-stamp: 1738871758
 I: Building the build Environment
 I: extracting base tarball [/var/cache/pbuilder/unstable-reproducible-base.tgz]
 I: copying local configuration
@@ -22,52 +22,84 @@
 dpkg-source: info: unpacking coq-ext-lib_0.13.0-1.debian.tar.xz
 I: Not using root during the build.
 I: Installing the build-deps
-I: user script /srv/workspace/pbuilder/3565605/tmp/hooks/D02_print_environment starting
+I: user script /srv/workspace/pbuilder/2935587/tmp/hooks/D01_modify_environment starting
+debug: Running on ionos11-amd64.
+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 Feb  6 19:56 /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/2935587/tmp/hooks/D01_modify_environment finished
+I: user script /srv/workspace/pbuilder/2935587/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=42 '
-  DISTRIBUTION='unstable'
-  HOME='/root'
-  HOST_ARCH='amd64'
+  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]="x86_64-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=amd64
+  DEBIAN_FRONTEND=noninteractive
+  DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=20 '
+  DIRSTACK=()
+  DISTRIBUTION=unstable
+  EUID=0
+  FUNCNAME=([0]="Echo" [1]="main")
+  GROUPS=()
+  HOME=/root
+  HOSTNAME=i-capture-the-hostname
+  HOSTTYPE=x86_64
+  HOST_ARCH=amd64
   IFS=' 	
   '
-  INVOCATION_ID='018874d0e6bf4b7b869720776142545b'
-  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='3565605'
-  PS1='# '
-  PS2='> '
+  INVOCATION_ID=776b5589275c4ae4a9e279578359c760
+  LANG=C
+  LANGUAGE=et_EE:et
+  LC_ALL=C
+  MACHTYPE=x86_64-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=2935587
   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.JGuvf4MI/pbuilderrc_66rS --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.JGuvf4MI/b1 --logfile b1/build.log coq-ext-lib_0.13.0-1.dsc'
-  SUDO_GID='110'
-  SUDO_UID='105'
-  SUDO_USER='jenkins'
-  TERM='unknown'
-  TZ='/usr/share/zoneinfo/Etc/GMT+12'
-  USER='root'
-  _='/usr/bin/systemd-run'
-  http_proxy='http://213.165.73.152: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.JGuvf4MI/pbuilderrc_jbop --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.JGuvf4MI/b2 --logfile b2/build.log coq-ext-lib_0.13.0-1.dsc'
+  SUDO_GID=111
+  SUDO_UID=106
+  SUDO_USER=jenkins
+  TERM=unknown
+  TZ=/usr/share/zoneinfo/Etc/GMT-14
+  UID=0
+  USER=root
+  _='I: set'
+  http_proxy=http://46.16.76.132:3128
 I: uname -a
-  Linux ionos5-amd64 6.12.9+bpo-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.9-1~bpo12+1 (2025-01-19) 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  2024 /bin -> usr/bin
-I: user script /srv/workspace/pbuilder/3565605/tmp/hooks/D02_print_environment finished
+  lrwxrwxrwx 1 root root 7 Nov 22 14:40 /bin -> usr/bin
+I: user script /srv/workspace/pbuilder/2935587/tmp/hooks/D02_print_environment finished
  -> Attempting to satisfy build-dependencies
  -> Creating pbuilder-satisfydepends-dummy package
 Package: pbuilder-satisfydepends-dummy
@@ -230,7 +262,7 @@
 Get: 66 http://deb.debian.org/debian unstable/main amd64 libgmp3-dev amd64 2:6.3.0+dfsg-3 [322 kB]
 Get: 67 http://deb.debian.org/debian unstable/main amd64 libzarith-ocaml-dev amd64 1.14-1+b1 [143 kB]
 Get: 68 http://deb.debian.org/debian unstable/main amd64 libcoq-core-ocaml-dev amd64 8.20.0+dfsg-1+b1 [68.7 MB]
-Fetched 301 MB in 5s (60.3 MB/s)
+Fetched 301 MB in 9s (33.4 MB/s)
 Preconfiguring packages ...
 Selecting previously unselected package libpython3.13-minimal:amd64.
 (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 ... 19806 files and directories currently installed.)
@@ -465,8 +497,8 @@
 Setting up tzdata (2025a-2) ...
 
 Current default time zone: 'Etc/UTC'
-Local time is now:      Thu Mar 12 02:18:32 UTC 2026.
-Universal Time is now:  Thu Mar 12 02:18:32 UTC 2026.
+Local time is now:      Thu Feb  6 19:57:47 UTC 2025.
+Universal Time is now:  Thu Feb  6 19:57:47 UTC 2025.
 Run 'dpkg-reconfigure tzdata' if you wish to change it.
 
 Setting up autotools-dev (20220109.1) ...
@@ -529,7 +561,11 @@
 Building tag database...
  -> Finished parsing the build-deps
 I: Building the package
-I: Running cd /build/reproducible-path/coq-ext-lib-0.13.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-ext-lib_0.13.0-1_source.changes
+I: user script /srv/workspace/pbuilder/2935587/tmp/hooks/A99_set_merged_usr starting
+Not re-configuring usrmerge for unstable
+I: user script /srv/workspace/pbuilder/2935587/tmp/hooks/A99_set_merged_usr finished
+hostname: Name or service not known
+I: Running cd /build/reproducible-path/coq-ext-lib-0.13.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-ext-lib_0.13.0-1_source.changes
 dpkg-buildpackage: info: source package coq-ext-lib
 dpkg-buildpackage: info: source version 0.13.0-1
 dpkg-buildpackage: info: source distribution unstable
@@ -559,7 +595,7 @@
    dh_ocamlinit
    dh_auto_configure
    dh_auto_build
-	make -j42 "INSTALL=install --strip-program=true"
+	make -j20 "INSTALL=install --strip-program=true"
 make[1]: Entering directory '/build/reproducible-path/coq-ext-lib-0.13.0'
 coq_makefile -f _CoqProject -o Makefile.coq
 make -f Makefile.coq
@@ -594,40 +630,40 @@
 COQC theories/Tactics/Reify.v
 COQC theories/Tactics/Hide.v
 COQC theories/Data/Graph/Graph.v
-COQC theories/Data/Eq.v
+COQC theories/ExtLib.v
+COQC theories/Tactics/Consider.v
 COQC theories/Structures/Functor.v
 COQC theories/Structures/CoFunctor.v
 COQC theories/Structures/CoMonadLaws.v
 COQC theories/Structures/Monoid.v
-COQC theories/ExtLib.v
-COQC theories/Tactics/Consider.v
 COQC theories/Data/Unit.v
 COQC theories/Data/Bool.v
+COQC theories/Data/Eq.v
 COQC theories/Data/Positive.v
 COQC theories/Data/Z.v
 COQC theories/Data/PPair.v
 COQC theories/Programming/Eqv.v
 COQC theories/Programming/Le.v
 COQC theories/Recur/Relation.v
-COQC theories/Structures/Applicative.v
+COQC theories/Structures/Foldable.v
+COQC theories/Structures/Sets.v
 File "./theories/Programming/With.v", line 59, characters 0-39:
 Warning: Declaring a scope implicitly is deprecated; use in advance an
 explicit "Declare Scope struct_scope.".
 [undeclared-scope,deprecated-since-8.10,deprecated,default]
-COQC theories/Structures/Foldable.v
-COQC theories/Structures/Sets.v
-COQC theories/Tactics/Equality.v
-COQC theories/Data/Fun.v
-COQC theories/Structures/Monad.v
-COQC theories/Structures/Traversable.v
-COQC theories/Data/POption.v
+COQC theories/Structures/Applicative.v
 COQC theories/Tactics/Cases.v
 COQC theories/Structures/EqDep.v
 COQC theories/Core/CmpDec.v
+COQC theories/Data/Char.v
 COQC theories/Data/Nat.v
 COQC theories/Data/Pair.v
 COQC theories/Data/Sum.v
-COQC theories/Data/Char.v
+COQC theories/Tactics/Equality.v
+COQC theories/Data/Fun.v
+COQC theories/Structures/Monad.v
+COQC theories/Structures/Traversable.v
+COQC theories/Data/POption.v
 File "./theories/Structures/Monad.v", line 58, characters 2-39:
 Warning: Declaring a scope implicitly is deprecated; use in advance an
 explicit "Declare Scope monad_scope.".
@@ -641,8 +677,8 @@
 COQC theories/Structures/MonadZero.v
 COQC theories/Structures/MonadPlus.v
 COQC theories/Structures/MonadReader.v
-COQC theories/Structures/MonadWriter.v
 COQC theories/Structures/MonadState.v
+COQC theories/Structures/MonadWriter.v
 COQC theories/Structures/MonadTrans.v
 COQC theories/Data/Lazy.v
 COQC theories/Data/Monads/IdentityMonad.v
@@ -653,27 +689,15 @@
 [undeclared-scope,deprecated-since-8.10,deprecated,default]
 COQC theories/Data/Monads/IStateMonad.v
 COQC theories/Structures/Maps.v
-COQC theories/Tactics/EqDep.v
-COQC theories/Data/Monads/ContMonad.v
-COQC theories/Structures/Monads.v
-COQC theories/Data/Option.v
-COQC theories/Data/Set/SetMap.v
-COQC theories/Structures/MonadLaws.v
-COQC theories/Programming/Extras.v
-COQC theories/Data/Monads/StateMonad.v
-COQC theories/Data/Monads/WriterMonad.v
-COQC theories/Data/Monads/FuelMonad.v
-COQC theories/Data/Monads/OptionMonad.v
-COQC theories/Data/Map/FMapTwoThreeK.v
-COQC theories/Data/Monads/EitherMonad.v
-COQC theories/Data/Monads/ReaderMonad.v
-COQC theories/Data/List.v
 COQC theories/Data/String.v
+COQC theories/Tactics/EqDep.v
 File "./theories/Data/Z.v", line 33, characters 2-59:
 Warning:
 "auto with *" was used through the default "intuition_solver" tactic.
 This will be replaced by just "auto" in the future.
 [intuition-auto-with-star,deprecated-since-8.17,deprecated,default]
+COQC theories/Structures/Monads.v
+COQC theories/Data/Monads/ContMonad.v
 File "./theories/Data/Z.v", line 41, characters 2-56:
 Warning:
 "auto with *" was used through the default "intuition_solver" tactic.
@@ -684,63 +708,28 @@
 "auto with *" was used through the default "intuition_solver" tactic.
 This will be replaced by just "auto" in the future.
 [intuition-auto-with-star,deprecated-since-8.17,deprecated,default]
-COQC theories/Tactics.v
-COQC theories/Data/Fin.v
-COQC theories/Data/SigT.v
+COQC theories/Data/Set/SetMap.v
 File "./theories/Data/Z.v", line 57, characters 2-56:
 Warning:
 "auto with *" was used through the default "intuition_solver" tactic.
 This will be replaced by just "auto" in the future.
 [intuition-auto-with-star,deprecated-since-8.17,deprecated,default]
-COQC theories/Data/Graph/BuildGraph.v
+COQC theories/Data/Option.v
+COQC theories/Structures/MonadLaws.v
+COQC theories/Data/List.v
+COQC theories/Programming/Extras.v
+COQC theories/Data/Monads/StateMonad.v
+COQC theories/Data/Monads/WriterMonad.v
+COQC theories/Data/Monads/FuelMonad.v
+COQC theories/Data/Monads/OptionMonad.v
+COQC theories/Data/Map/FMapTwoThreeK.v
+COQC theories/Data/Monads/EitherMonad.v
+COQC theories/Data/Monads/ReaderMonad.v
+COQC theories/Tactics.v
+COQC theories/Data/Fin.v
+COQC theories/Data/SigT.v
 COQC theories/Tactics/MonadTac.v
 COQC theories/Data/Monads/IdentityMonadLaws.v
-COQC theories/Data/Monads/ReaderMonadLaws.v
-COQC theories/Data/Monads/FuelMonadLaws.v
-COQC theories/Data/Map/FMapPositive.v
-COQC theories/Data/Monads/OptionMonadLaws.v
-COQC theories/Data/Member.v
-File "./theories/Data/Fin.v", line 103, characters 2-29:
-Warning:
-"auto with *" was used through the default "intuition_solver" tactic.
-This will be replaced by just "auto" in the future.
-[intuition-auto-with-star,deprecated-since-8.17,deprecated,default]
-File "./theories/Programming/Extras.v", line 37, characters 4-9:
-Warning: Notation curry is deprecated since 8.13. Use standard library.
-[deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default]
-File "./theories/Programming/Extras.v", line 37, characters 11-18:
-Warning: Notation uncurry is deprecated since 8.13. Use standard library.
-[deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default]
-File "./theories/Data/Fin.v", line 106, characters 2-29:
-Warning:
-"auto with *" was used through the default "intuition_solver" tactic.
-This will be replaced by just "auto" in the future.
-[intuition-auto-with-star,deprecated-since-8.17,deprecated,default]
-File "./theories/Programming/Extras.v", line 39, characters 9-14:
-Warning: Notation curry is deprecated since 8.13. Use standard library.
-[deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default]
-File "./theories/Programming/Extras.v", line 39, characters 16-23:
-Warning: Notation uncurry is deprecated since 8.13. Use standard library.
-[deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default]
-File "./theories/Programming/Extras.v", line 47, characters 4-11:
-Warning: Notation uncurry is deprecated since 8.13. Use standard library.
-[deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default]
-File "./theories/Programming/Extras.v", line 47, characters 13-18:
-Warning: Notation curry is deprecated since 8.13. Use standard library.
-[deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default]
-File "./theories/Programming/Extras.v", line 49, characters 9-16:
-Warning: Notation uncurry is deprecated since 8.13. Use standard library.
-[deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default]
-File "./theories/Programming/Extras.v", line 49, characters 18-23:
-Warning: Notation curry is deprecated since 8.13. Use standard library.
-[deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default]
-File "./theories/Programming/Extras.v", line 97, characters 16-23:
-Warning: Notation uncurry is deprecated since 8.13. Use standard library.
-[deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default]
-COQC theories/Data/Map/FMapAList.v
-COQC theories/Data/Set/TwoThreeTrees.v
-COQC theories/Data/Tuple.v
-COQC theories/Data/Vector.v
 File "./theories/Data/String.v", line 33, characters 6-14:
 Warning: Notation bool_cmp is deprecated since 8.12.
 Use Bool.compare instead.
@@ -777,31 +766,78 @@
 Warning: Notation ascii_cmp is deprecated since 8.15.
 Use Ascii.compare instead.
 [deprecated-syntactic-definition-since-8.15,deprecated-since-8.15,deprecated-syntactic-definition,deprecated,default]
+COQC theories/Data/Graph/BuildGraph.v
+COQC theories/Data/Map/FMapPositive.v
+COQC theories/Data/Monads/OptionMonadLaws.v
+COQC theories/Data/Monads/FuelMonadLaws.v
+COQC theories/Data/Monads/ReaderMonadLaws.v
 COQC theories/Programming/Show.v
+File "./theories/Data/Fin.v", line 103, characters 2-29:
+Warning:
+"auto with *" was used through the default "intuition_solver" tactic.
+This will be replaced by just "auto" in the future.
+[intuition-auto-with-star,deprecated-since-8.17,deprecated,default]
+COQC theories/Data/Member.v
+File "./theories/Data/Fin.v", line 106, characters 2-29:
+Warning:
+"auto with *" was used through the default "intuition_solver" tactic.
+This will be replaced by just "auto" in the future.
+[intuition-auto-with-star,deprecated-since-8.17,deprecated,default]
+COQC theories/Data/Tuple.v
+COQC theories/Data/Vector.v
+File "./theories/Programming/Extras.v", line 37, characters 4-9:
+Warning: Notation curry is deprecated since 8.13. Use standard library.
+[deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default]
+File "./theories/Programming/Extras.v", line 37, characters 11-18:
+Warning: Notation uncurry is deprecated since 8.13. Use standard library.
+[deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default]
+File "./theories/Programming/Extras.v", line 39, characters 9-14:
+Warning: Notation curry is deprecated since 8.13. Use standard library.
+[deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default]
+File "./theories/Programming/Extras.v", line 39, characters 16-23:
+Warning: Notation uncurry is deprecated since 8.13. Use standard library.
+[deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default]
+File "./theories/Programming/Extras.v", line 47, characters 4-11:
+Warning: Notation uncurry is deprecated since 8.13. Use standard library.
+[deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default]
+File "./theories/Programming/Extras.v", line 47, characters 13-18:
+Warning: Notation curry is deprecated since 8.13. Use standard library.
+[deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default]
+File "./theories/Programming/Extras.v", line 49, characters 9-16:
+Warning: Notation uncurry is deprecated since 8.13. Use standard library.
+[deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default]
+File "./theories/Programming/Extras.v", line 49, characters 18-23:
+Warning: Notation curry is deprecated since 8.13. Use standard library.
+[deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default]
+File "./theories/Programming/Extras.v", line 97, characters 16-23:
+Warning: Notation uncurry is deprecated since 8.13. Use standard library.
+[deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default]
+COQC theories/Data/Map/FMapAList.v
+COQC theories/Data/Set/TwoThreeTrees.v
 COQC theories/Data/Graph/GraphAdjList.v
 COQC theories/Data/Graph/GraphAlgos.v
 COQC theories/Data/Set/ListSet.v
 COQC theories/Data/HList.v
 COQC theories/Generic/Func.v
-File "./theories/Data/Map/FMapAList.v", line 77, characters 31-38:
-Warning: Notation uncurry is deprecated since 8.13. Use standard library.
-[deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default]
 File "./theories/Programming/Show.v", line 63, characters 2-37:
 Warning: Declaring a scope implicitly is deprecated; use in advance an
 explicit "Declare Scope show_scope.".
 [undeclared-scope,deprecated-since-8.10,deprecated,default]
+File "./theories/Data/Map/FMapAList.v", line 77, characters 31-38:
+Warning: Notation uncurry is deprecated since 8.13. Use standard library.
+[deprecated-syntactic-definition-since-8.13,deprecated-since-8.13,deprecated-syntactic-definition,deprecated,default]
+COQC theories/Generic/Ind.v
 File "./theories/Data/HList.v", line 462, characters 26-43:
 Warning: Notation app_assoc_reverse is deprecated since 8.18.
 Use app_assoc instead.
 [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default]
-COQC theories/Generic/Ind.v
 File "./theories/Data/HList.v", line 462, characters 26-43:
 Warning: Notation app_assoc_reverse is deprecated since 8.18.
 Use app_assoc instead.
 [deprecated-syntactic-definition-since-8.18,deprecated-since-8.18,deprecated-syntactic-definition,deprecated,default]
-COQC theories/Data/SumN.v
      = "-(5,-(6,-(7,-())))"
      : string
+COQC theories/Data/SumN.v
 COQC theories/Generic/Data.v
 COQC theories/Generic/DerivingData.v
 make[2]: Leaving directory '/build/reproducible-path/coq-ext-lib-0.13.0'
@@ -829,6 +865,10 @@
      : RTest
      = RTest -> false = false
      : Prop
+     = inr (Int 3)
+     : string + value
+     = inl "expected integer got bool"%string
+     : string + value
      = false
      : bool
      = ?Foldable_set (list ?V) cons nil
@@ -855,10 +895,6 @@
 ?DSet : [ |- DSet (?F bool) bool]
 ?T : [ |- Type]
 ?DSet0 : [ |- DSet (?F bool) ?T]
-     = inr (Int 3)
-     : string + value
-     = inl "expected integer got bool"%string
-     : string + value
      = (tt,
         ?ST 1 (string -> string) String
           {|
@@ -1366,12 +1402,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/2935587/tmp/hooks/B01_cleanup starting
+I: user script /srv/workspace/pbuilder/2935587/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/3565605 and its subdirectories
-I: Current time: Wed Mar 11 14:18:54 -12 2026
-I: pbuilder-time-stamp: 1773281934
+I: removing directory /srv/workspace/pbuilder/2935587 and its subdirectories
+I: Current time: Fri Feb  7 09:59:20 +14 2025
+I: pbuilder-time-stamp: 1738871960