Diff of the two buildlogs:
--
--- b1/build.log 2024-05-11 15:56:02.073407221 +0000
+++ b2/build.log 2024-05-11 16:26:48.938774870 +0000
@@ -1,6 +1,6 @@
I: pbuilder: network access will be disabled during build
-I: Current time: Fri Jun 13 09:35:43 -12 2025
-I: pbuilder-time-stamp: 1749850543
+I: Current time: Sun May 12 05:56:13 +14 2024
+I: pbuilder-time-stamp: 1715442973
I: Building the build Environment
I: extracting base tarball [/var/cache/pbuilder/bullseye-reproducible-base.tgz]
I: copying local configuration
@@ -17,8 +17,8 @@
I: copying [./coq_8.12.0-3.debian.tar.xz]
I: Extracting source
gpgv: unknown type of key resource 'trustedkeys.kbx'
-gpgv: keyblock resource '/tmp/dpkg-verify-sig.KQC5KoC0/trustedkeys.kbx': General error
-gpgv: Signature made Wed Sep 9 18:26:17 2020 -12
+gpgv: keyblock resource '/tmp/dpkg-verify-sig.x21ZLdVh/trustedkeys.kbx': General error
+gpgv: Signature made Thu Sep 10 20:26:17 2020 +14
gpgv: using RSA key 02054829E12D0F2A8E648E62745C4766D4CACDFF
gpgv: Can't check signature: No public key
dpkg-source: warning: failed to verify signature on ./coq_8.12.0-3.dsc
@@ -37,135 +37,166 @@
dpkg-source: info: applying testsuite-bytecode
I: Not using root during the build.
I: Installing the build-deps
-I: user script /srv/workspace/pbuilder/3832575/tmp/hooks/D02_print_environment starting
+I: user script /srv/workspace/pbuilder/708732/tmp/hooks/D01_modify_environment starting
+debug: Running on codethink02-arm64.
+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 May 12 05: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/708732/tmp/hooks/D01_modify_environment finished
+I: user script /srv/workspace/pbuilder/708732/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'
+ BASH=/bin/sh
+ BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:hostcomplete:interactive_comments:progcomp:promptvars:sourcepath
+ BASH_ALIASES=()
+ BASH_ARGC=()
+ BASH_ARGV=()
+ BASH_CMDS=()
+ BASH_LINENO=([0]="12" [1]="0")
+ BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment")
+ BASH_VERSINFO=([0]="5" [1]="1" [2]="4" [3]="1" [4]="release" [5]="aarch64-unknown-linux-gnu")
+ BASH_VERSION='5.1.4(1)-release'
+ BUILDDIR=/build/reproducible-path
+ BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other'
+ BUILDUSERNAME=pbuilder2
+ BUILD_ARCH=arm64
+ DEBIAN_FRONTEND=noninteractive
DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all,-fixfilepath parallel=12 '
- DISTRIBUTION='bullseye'
- HOME='/root'
- HOST_ARCH='arm64'
+ DIRSTACK=()
+ DISTRIBUTION=bullseye
+ EUID=0
+ FUNCNAME=([0]="Echo" [1]="main")
+ GROUPS=()
+ HOME=/root
+ HOSTNAME=i-capture-the-hostname
+ HOSTTYPE=aarch64
+ HOST_ARCH=arm64
IFS='
'
- INVOCATION_ID='030eedb9fc6c45f48dbb6f6693df382b'
- 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='3832575'
- PS1='# '
- PS2='> '
+ INVOCATION_ID=f8e3e16ddbe3475fa07df3c59bc7c05a
+ LANG=C
+ LANGUAGE=nl_BE:nl
+ LC_ALL=C
+ MACHTYPE=aarch64-unknown-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=708732
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.JOfO7ojU/pbuilderrc_jv2p --distribution bullseye --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/bullseye-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.JOfO7ojU/b1 --logfile b1/build.log coq_8.12.0-3.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.4: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.JOfO7ojU/pbuilderrc_9Luz --distribution bullseye --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/bullseye-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.JOfO7ojU/b2 --logfile b2/build.log coq_8.12.0-3.dsc'
+ SUDO_GID=109
+ SUDO_UID=104
+ SUDO_USER=jenkins
+ TERM=unknown
+ TZ=/usr/share/zoneinfo/Etc/GMT-14
+ UID=0
+ USER=root
+ _='I: set'
+ http_proxy=http://192.168.101.4:3128
I: uname -a
- Linux codethink01-arm64 6.1.0-21-cloud-arm64 #1 SMP Debian 6.1.90-1 (2024-05-03) aarch64 GNU/Linux
+ Linux i-capture-the-hostname 6.1.0-21-cloud-arm64 #1 SMP Debian 6.1.90-1 (2024-05-03) aarch64 GNU/Linux
I: ls -l /bin
total 5260
- -rwxr-xr-x 1 root root 1282512 Mar 27 2022 bash
- -rwxr-xr-x 3 root root 34808 Jul 20 2020 bunzip2
- -rwxr-xr-x 3 root root 34808 Jul 20 2020 bzcat
- lrwxrwxrwx 1 root root 6 Jul 20 2020 bzcmp -> bzdiff
- -rwxr-xr-x 1 root root 2225 Jul 20 2020 bzdiff
- lrwxrwxrwx 1 root root 6 Jul 20 2020 bzegrep -> bzgrep
- -rwxr-xr-x 1 root root 4877 Sep 4 2019 bzexe
- lrwxrwxrwx 1 root root 6 Jul 20 2020 bzfgrep -> bzgrep
- -rwxr-xr-x 1 root root 3775 Jul 20 2020 bzgrep
- -rwxr-xr-x 3 root root 34808 Jul 20 2020 bzip2
- -rwxr-xr-x 1 root root 14264 Jul 20 2020 bzip2recover
- lrwxrwxrwx 1 root root 6 Jul 20 2020 bzless -> bzmore
- -rwxr-xr-x 1 root root 1297 Jul 20 2020 bzmore
- -rwxr-xr-x 1 root root 39832 Sep 22 2020 cat
- -rwxr-xr-x 1 root root 64512 Sep 22 2020 chgrp
- -rwxr-xr-x 1 root root 60368 Sep 22 2020 chmod
- -rwxr-xr-x 1 root root 64528 Sep 22 2020 chown
- -rwxr-xr-x 1 root root 138896 Sep 22 2020 cp
- -rwxr-xr-x 1 root root 129544 Dec 10 2020 dash
- -rwxr-xr-x 1 root root 101384 Sep 22 2020 date
- -rwxr-xr-x 1 root root 80984 Sep 22 2020 dd
- -rwxr-xr-x 1 root root 89824 Sep 22 2020 df
- -rwxr-xr-x 1 root root 143088 Sep 22 2020 dir
- -rwxr-xr-x 1 root root 76152 Jan 20 2022 dmesg
- lrwxrwxrwx 1 root root 8 Nov 6 2019 dnsdomainname -> hostname
- lrwxrwxrwx 1 root root 8 Nov 6 2019 domainname -> hostname
- -rwxr-xr-x 1 root root 35632 Sep 22 2020 echo
- -rwxr-xr-x 1 root root 28 Jan 24 2023 egrep
- -rwxr-xr-x 1 root root 31512 Sep 22 2020 false
- -rwxr-xr-x 1 root root 28 Jan 24 2023 fgrep
- -rwxr-xr-x 1 root root 64856 Jan 20 2022 findmnt
- -rwsr-xr-x 1 root root 34824 Feb 26 2021 fusermount
- -rwxr-xr-x 1 root root 182496 Jan 24 2023 grep
- -rwxr-xr-x 2 root root 2346 Apr 9 2022 gunzip
- -rwxr-xr-x 1 root root 6447 Apr 9 2022 gzexe
- -rwxr-xr-x 1 root root 93744 Apr 9 2022 gzip
- -rwxr-xr-x 1 root root 18440 Nov 6 2019 hostname
- -rwxr-xr-x 1 root root 68720 Sep 22 2020 ln
- -rwxr-xr-x 1 root root 52720 Feb 7 2020 login
- -rwxr-xr-x 1 root root 143088 Sep 22 2020 ls
- -rwxr-xr-x 1 root root 157864 Jan 20 2022 lsblk
- -rwxr-xr-x 1 root root 85200 Sep 22 2020 mkdir
- -rwxr-xr-x 1 root root 68744 Sep 22 2020 mknod
- -rwxr-xr-x 1 root root 43976 Sep 22 2020 mktemp
- -rwxr-xr-x 1 root root 51368 Jan 20 2022 more
- -rwsr-xr-x 1 root root 51360 Jan 20 2022 mount
- -rwxr-xr-x 1 root root 14496 Jan 20 2022 mountpoint
- -rwxr-xr-x 1 root root 134808 Sep 22 2020 mv
- lrwxrwxrwx 1 root root 8 Nov 6 2019 nisdomainname -> hostname
- lrwxrwxrwx 1 root root 14 Dec 16 2021 pidof -> /sbin/killall5
- -rwxr-xr-x 1 root root 35720 Sep 22 2020 pwd
- lrwxrwxrwx 1 root root 4 Mar 27 2022 rbash -> bash
- -rwxr-xr-x 1 root root 43872 Sep 22 2020 readlink
- -rwxr-xr-x 1 root root 68592 Sep 22 2020 rm
- -rwxr-xr-x 1 root root 43880 Sep 22 2020 rmdir
- -rwxr-xr-x 1 root root 19208 Sep 27 2020 run-parts
- -rwxr-xr-x 1 root root 114016 Dec 22 2018 sed
- lrwxrwxrwx 1 root root 4 Jun 9 03:48 sh -> dash
- -rwxr-xr-x 1 root root 35656 Sep 22 2020 sleep
- -rwxr-xr-x 1 root root 72640 Sep 22 2020 stty
- -rwsr-xr-x 1 root root 67776 Jan 20 2022 su
- -rwxr-xr-x 1 root root 35672 Sep 22 2020 sync
- -rwxr-xr-x 1 root root 543960 Jan 19 2024 tar
- -rwxr-xr-x 1 root root 10568 Sep 27 2020 tempfile
- -rwxr-xr-x 1 root root 89120 Sep 22 2020 touch
- -rwxr-xr-x 1 root root 31512 Sep 22 2020 true
- -rwxr-xr-x 1 root root 14264 Feb 26 2021 ulockmgr_server
- -rwsr-xr-x 1 root root 30880 Jan 20 2022 umount
- -rwxr-xr-x 1 root root 35640 Sep 22 2020 uname
- -rwxr-xr-x 2 root root 2346 Apr 9 2022 uncompress
- -rwxr-xr-x 1 root root 143088 Sep 22 2020 vdir
- -rwxr-xr-x 1 root root 59584 Jan 20 2022 wdctl
- lrwxrwxrwx 1 root root 8 Nov 6 2019 ypdomainname -> hostname
- -rwxr-xr-x 1 root root 1984 Apr 9 2022 zcat
- -rwxr-xr-x 1 root root 1678 Apr 9 2022 zcmp
- -rwxr-xr-x 1 root root 5898 Apr 9 2022 zdiff
- -rwxr-xr-x 1 root root 29 Apr 9 2022 zegrep
- -rwxr-xr-x 1 root root 29 Apr 9 2022 zfgrep
- -rwxr-xr-x 1 root root 2081 Apr 9 2022 zforce
- -rwxr-xr-x 1 root root 8049 Apr 9 2022 zgrep
- -rwxr-xr-x 1 root root 2206 Apr 9 2022 zless
- -rwxr-xr-x 1 root root 1842 Apr 9 2022 zmore
- -rwxr-xr-x 1 root root 4577 Apr 9 2022 znew
-I: user script /srv/workspace/pbuilder/3832575/tmp/hooks/D02_print_environment finished
+ -rwxr-xr-x 1 root root 1282512 Mar 28 2022 bash
+ -rwxr-xr-x 3 root root 34808 Jul 21 2020 bunzip2
+ -rwxr-xr-x 3 root root 34808 Jul 21 2020 bzcat
+ lrwxrwxrwx 1 root root 6 Jul 21 2020 bzcmp -> bzdiff
+ -rwxr-xr-x 1 root root 2225 Jul 21 2020 bzdiff
+ lrwxrwxrwx 1 root root 6 Jul 21 2020 bzegrep -> bzgrep
+ -rwxr-xr-x 1 root root 4877 Sep 5 2019 bzexe
+ lrwxrwxrwx 1 root root 6 Jul 21 2020 bzfgrep -> bzgrep
+ -rwxr-xr-x 1 root root 3775 Jul 21 2020 bzgrep
+ -rwxr-xr-x 3 root root 34808 Jul 21 2020 bzip2
+ -rwxr-xr-x 1 root root 14264 Jul 21 2020 bzip2recover
+ lrwxrwxrwx 1 root root 6 Jul 21 2020 bzless -> bzmore
+ -rwxr-xr-x 1 root root 1297 Jul 21 2020 bzmore
+ -rwxr-xr-x 1 root root 39832 Sep 23 2020 cat
+ -rwxr-xr-x 1 root root 64512 Sep 23 2020 chgrp
+ -rwxr-xr-x 1 root root 60368 Sep 23 2020 chmod
+ -rwxr-xr-x 1 root root 64528 Sep 23 2020 chown
+ -rwxr-xr-x 1 root root 138896 Sep 23 2020 cp
+ -rwxr-xr-x 1 root root 129544 Dec 11 2020 dash
+ -rwxr-xr-x 1 root root 101384 Sep 23 2020 date
+ -rwxr-xr-x 1 root root 80984 Sep 23 2020 dd
+ -rwxr-xr-x 1 root root 89824 Sep 23 2020 df
+ -rwxr-xr-x 1 root root 143088 Sep 23 2020 dir
+ -rwxr-xr-x 1 root root 76152 Jan 21 2022 dmesg
+ lrwxrwxrwx 1 root root 8 Nov 8 2019 dnsdomainname -> hostname
+ lrwxrwxrwx 1 root root 8 Nov 8 2019 domainname -> hostname
+ -rwxr-xr-x 1 root root 35632 Sep 23 2020 echo
+ -rwxr-xr-x 1 root root 28 Jan 25 2023 egrep
+ -rwxr-xr-x 1 root root 31512 Sep 23 2020 false
+ -rwxr-xr-x 1 root root 28 Jan 25 2023 fgrep
+ -rwxr-xr-x 1 root root 64856 Jan 21 2022 findmnt
+ -rwsr-xr-x 1 root root 34824 Feb 27 2021 fusermount
+ -rwxr-xr-x 1 root root 182496 Jan 25 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 93744 Apr 10 2022 gzip
+ -rwxr-xr-x 1 root root 18440 Nov 8 2019 hostname
+ -rwxr-xr-x 1 root root 68720 Sep 23 2020 ln
+ -rwxr-xr-x 1 root root 52720 Feb 8 2020 login
+ -rwxr-xr-x 1 root root 143088 Sep 23 2020 ls
+ -rwxr-xr-x 1 root root 157864 Jan 21 2022 lsblk
+ -rwxr-xr-x 1 root root 85200 Sep 23 2020 mkdir
+ -rwxr-xr-x 1 root root 68744 Sep 23 2020 mknod
+ -rwxr-xr-x 1 root root 43976 Sep 23 2020 mktemp
+ -rwxr-xr-x 1 root root 51368 Jan 21 2022 more
+ -rwsr-xr-x 1 root root 51360 Jan 21 2022 mount
+ -rwxr-xr-x 1 root root 14496 Jan 21 2022 mountpoint
+ -rwxr-xr-x 1 root root 134808 Sep 23 2020 mv
+ lrwxrwxrwx 1 root root 8 Nov 8 2019 nisdomainname -> hostname
+ lrwxrwxrwx 1 root root 14 Dec 17 2021 pidof -> /sbin/killall5
+ -rwxr-xr-x 1 root root 35720 Sep 23 2020 pwd
+ lrwxrwxrwx 1 root root 4 Mar 28 2022 rbash -> bash
+ -rwxr-xr-x 1 root root 43872 Sep 23 2020 readlink
+ -rwxr-xr-x 1 root root 68592 Sep 23 2020 rm
+ -rwxr-xr-x 1 root root 43880 Sep 23 2020 rmdir
+ -rwxr-xr-x 1 root root 19208 Sep 28 2020 run-parts
+ -rwxr-xr-x 1 root root 114016 Dec 23 2018 sed
+ lrwxrwxrwx 1 root root 9 May 12 05:56 sh -> /bin/bash
+ -rwxr-xr-x 1 root root 35656 Sep 23 2020 sleep
+ -rwxr-xr-x 1 root root 72640 Sep 23 2020 stty
+ -rwsr-xr-x 1 root root 67776 Jan 21 2022 su
+ -rwxr-xr-x 1 root root 35672 Sep 23 2020 sync
+ -rwxr-xr-x 1 root root 543960 Jan 20 23:59 tar
+ -rwxr-xr-x 1 root root 10568 Sep 28 2020 tempfile
+ -rwxr-xr-x 1 root root 89120 Sep 23 2020 touch
+ -rwxr-xr-x 1 root root 31512 Sep 23 2020 true
+ -rwxr-xr-x 1 root root 14264 Feb 27 2021 ulockmgr_server
+ -rwsr-xr-x 1 root root 30880 Jan 21 2022 umount
+ -rwxr-xr-x 1 root root 35640 Sep 23 2020 uname
+ -rwxr-xr-x 2 root root 2346 Apr 10 2022 uncompress
+ -rwxr-xr-x 1 root root 143088 Sep 23 2020 vdir
+ -rwxr-xr-x 1 root root 59584 Jan 21 2022 wdctl
+ lrwxrwxrwx 1 root root 8 Nov 8 2019 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 5898 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 8049 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/708732/tmp/hooks/D02_print_environment finished
-> Attempting to satisfy build-dependencies
-> Creating pbuilder-satisfydepends-dummy package
Package: pbuilder-satisfydepends-dummy
@@ -539,7 +570,7 @@
Get: 309 http://deb.debian.org/debian bullseye/main arm64 libnum-ocaml-dev arm64 1.4-1 [106 kB]
Get: 310 http://deb.debian.org/debian bullseye/main arm64 libounit-ocaml-dev arm64 2.2.3-2+b1 [975 kB]
Get: 311 http://deb.debian.org/debian bullseye/main arm64 ocaml-findlib arm64 1.8.1-2 [539 kB]
-Fetched 250 MB in 8s (32.1 MB/s)
+Fetched 250 MB in 2s (140 MB/s)
debconf: delaying package configuration, since apt-utils is not installed
Selecting previously unselected package libapparmor1:arm64.
(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 ... 19702 files and directories currently installed.)
@@ -1818,7 +1849,11 @@
Building tag database...
-> Finished parsing the build-deps
I: Building the package
-I: Running cd /build/reproducible-path/coq-8.12.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_8.12.0-3_source.changes
+I: user script /srv/workspace/pbuilder/708732/tmp/hooks/A99_set_merged_usr starting
+Not re-configuring usrmerge for bullseye
+I: user script /srv/workspace/pbuilder/708732/tmp/hooks/A99_set_merged_usr finished
+hostname: Name or service not known
+I: Running cd /build/reproducible-path/coq-8.12.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_8.12.0-3_source.changes
dpkg-buildpackage: info: source package coq
dpkg-buildpackage: info: source version 8.12.0-3
dpkg-buildpackage: info: source distribution unstable
@@ -1841,10 +1876,10 @@
find . \( -name '*.cmx' -o -name '*.cmx[as]' -o -name '*.[soa]' -o -name '*.so' \) -exec rm -f {} +
rm -f tools/coqdep_lexer.ml tools/coqwc.ml tools/coqdoc/cpretty.ml tools/ocamllibdep.ml coqpp/coqpp_lex.ml ide/utf8_convert.ml ide/config_lexer.ml ide/coq_lex.ml ide/protocol/xml_lexer.ml coqpp/coqpp_parse.ml vernac/g_proofs.ml vernac/g_vernac.ml parsing/g_prim.ml parsing/g_constr.ml toplevel/g_toplevel.ml plugins/derive/g_derive.ml plugins/ssrsearch/g_search.ml plugins/setoid_ring/g_newring.ml plugins/ssrmatching/g_ssrmatching.ml plugins/syntax/g_numeral.ml plugins/syntax/g_string.ml plugins/extraction/g_extraction.ml plugins/ltac/coretactics.ml plugins/ltac/extraargs.ml plugins/ltac/g_rewrite.ml plugins/ltac/profile_ltac_tactics.ml plugins/ltac/g_eqdecide.ml plugins/ltac/g_obligations.ml plugins/ltac/g_class.ml plugins/ltac/g_ltac.ml plugins/ltac/extratactics.ml plugins/ltac/g_tactic.ml plugins/ltac/g_auto.ml plugins/micromega/g_zify.ml plugins/micromega/g_micromega.ml plugins/nsatz/g_nsatz.ml plugins/ssr/ssrparser.ml plugins/ssr/ssrvernac.ml plugins/rtauto/g_rtauto.ml plugins/btauto/g_btauto.ml plugins/firstorder/g_ground.ml plugins/omega/g_omega.ml plugins/cc/g_congruence.ml plugins/funind/g_indfun.ml user-contrib/Ltac2/g_ltac2.ml gramlib/.pack/gramlib__Ploc.ml gramlib/.pack/gramlib__Plexing.ml gramlib/.pack/gramlib__Gramext.ml gramlib/.pack/gramlib__Grammar.ml gramlib/.pack/gramlib.ml ide/coqide_os_specific.ml kernel/copcodes.ml kernel/uint63.ml gramlib/.pack/gramlib__Ploc.mli gramlib/.pack/gramlib__Plexing.mli gramlib/.pack/gramlib__Gramext.mli gramlib/.pack/gramlib__Grammar.mli kernel/byterun/coq_instruct.h kernel/byterun/coq_jumptbl.h kernel/genOpcodeFiles.exe
rm -f ide/utf8_convert.ml
+rm -f vernac/g_proofs.ml vernac/g_vernac.ml parsing/g_prim.ml parsing/g_constr.ml toplevel/g_toplevel.ml plugins/derive/g_derive.ml plugins/ssrsearch/g_search.ml plugins/setoid_ring/g_newring.ml plugins/ssrmatching/g_ssrmatching.ml plugins/syntax/g_numeral.ml plugins/syntax/g_string.ml plugins/extraction/g_extraction.ml plugins/ltac/coretactics.ml plugins/ltac/extraargs.ml plugins/ltac/g_rewrite.ml plugins/ltac/profile_ltac_tactics.ml plugins/ltac/g_eqdecide.ml plugins/ltac/g_obligations.ml plugins/ltac/g_class.ml plugins/ltac/g_ltac.ml plugins/ltac/extratactics.ml plugins/ltac/g_tactic.ml plugins/ltac/g_auto.ml plugins/micromega/g_zify.ml plugins/micromega/g_micromega.ml plugins/nsatz/g_nsatz.ml plugins/ssr/ssrparser.ml plugins/ssr/ssrvernac.ml plugins/rtauto/g_rtauto.ml plugins/btauto/g_btauto.ml plugins/firstorder/g_ground.ml plugins/omega/g_omega.ml plugins/cc/g_congruence.ml plugins/funind/g_indfun.ml user-contrib/Ltac2/g_ltac2.ml
make[2]: Entering directory '/build/reproducible-path/coq-8.12.0/doc/plugin_tutorial'
make[2]: Nothing to be done for 'clean'.
make[2]: Leaving directory '/build/reproducible-path/coq-8.12.0/doc/plugin_tutorial'
-rm -f vernac/g_proofs.ml vernac/g_vernac.ml parsing/g_prim.ml parsing/g_constr.ml toplevel/g_toplevel.ml plugins/derive/g_derive.ml plugins/ssrsearch/g_search.ml plugins/setoid_ring/g_newring.ml plugins/ssrmatching/g_ssrmatching.ml plugins/syntax/g_numeral.ml plugins/syntax/g_string.ml plugins/extraction/g_extraction.ml plugins/ltac/coretactics.ml plugins/ltac/extraargs.ml plugins/ltac/g_rewrite.ml plugins/ltac/profile_ltac_tactics.ml plugins/ltac/g_eqdecide.ml plugins/ltac/g_obligations.ml plugins/ltac/g_class.ml plugins/ltac/g_ltac.ml plugins/ltac/extratactics.ml plugins/ltac/g_tactic.ml plugins/ltac/g_auto.ml plugins/micromega/g_zify.ml plugins/micromega/g_micromega.ml plugins/nsatz/g_nsatz.ml plugins/ssr/ssrparser.ml plugins/ssr/ssrvernac.ml plugins/rtauto/g_rtauto.ml plugins/btauto/g_btauto.ml plugins/firstorder/g_ground.ml plugins/omega/g_omega.ml plugins/cc/g_congruence.ml plugins/funind/g_indfun.ml user-contrib/Ltac2/g_ltac2.ml
find . -not -name . '(' -name '{arch}' -o -name '.*' -type d -o -name '_darcs' -o -name 'debian' -o -name '.pc' -o -name "${GIT_DIR}" -o -name '_build' -o -name '_build_ci' -o -name '_build_boot' -o -name '_install_ci' -o -name 'gramlib' -o -name 'user-contrib' -o -name 'test-suite' -o -name 'plugin_tutorial' ')' -prune -o '(' -name '*.d' ')' -exec rm -f {} +
rm -f bin/coqtop.byte bin/coqtop.byte bin/coqproofworker.byte bin/coqtacticworker.byte bin/coqqueryworker.byte
rm -f ide/default.bindings ide/default_bindings_src.exe
@@ -1856,33 +1891,33 @@
find . \( -name '*~' -o -name '*.cm[ioat]' -o -name '*.cmti' \) -exec rm -f {} +
rm -rf
rm -f .merlin ide/.merlin kernel/.merlin plugins/.merlin test-suite/unit-tests/.merlin META.coq
-rm -f doc/stdlib/index-list.html doc/stdlib/index-body.html \
- doc/stdlib/*Library.coqdoc.tex doc/stdlib/library.files \
- doc/stdlib/library.files.ls doc/stdlib/FullLibrary.tex
rm -rf gramlib/.pack/
rm -f config/Makefile config/coq_config.ml dev/ocamldebug-coq config/Info-*.plist
-rm -f doc/*/*.ps doc/*/*.pdf doc/*/*.eps doc/*/*.pdf_t doc/*/*.eps_t
find theories test-suite -name '.*.aux' -exec rm -f {} +
-rm -rf doc/stdlib/html doc/tutorial/tutorial.v.html
-rm -f doc/common/version.tex
-rm -f doc/coq.tex
-rm -rf doc/sphinx/_build
find theories plugins test-suite \( -name '*.v.timing' -o -name '*.v.before-timing' \
-o -name "*.v.after-timing" -o -name "*.v.timing.diff" -o -name "time-of-build.log" \
-o -name "time-of-build-before.log" -o -name "time-of-build-after.log" \
-o -name "time-of-build-pretty.log" -o -name "time-of-build-both.log" \) -exec rm -f {} +
+rm -f doc/stdlib/index-list.html doc/stdlib/index-body.html \
+ doc/stdlib/*Library.coqdoc.tex doc/stdlib/library.files \
+ doc/stdlib/library.files.ls doc/stdlib/FullLibrary.tex
find . \( -name '*~' -o -name '*.annot' \) -exec rm -f {} +
+rm -f doc/*/*.ps doc/*/*.pdf doc/*/*.eps doc/*/*.pdf_t doc/*/*.eps_t
+rm -rf doc/stdlib/html doc/tutorial/tutorial.v.html
+rm -f doc/common/version.tex
+rm -f doc/coq.tex
+rm -rf doc/sphinx/_build
find theories plugins test-suite -name .coq-native -empty -exec rm -rf {} +
rm -f */*.pp[iox] plugins/*/*.pp[iox]
-rm -rf _build _build_boot
-rm -f test-suite/misc/universes/all_stdlib.*
+rm -f gmon.out core
rm -rf
rm -f toplevel/mltop.byteml toplevel/mltop.optml
rm -f glob.dump
rm -f config/revision.ml revision
-rm -f gmon.out core
rm -f plugins/micromega/.micromega.ml.generated
+rm -rf _build _build_boot
make -C test-suite clean
+rm -f test-suite/misc/universes/all_stdlib.*
make[2]: Entering directory '/build/reproducible-path/coq-8.12.0/test-suite'
rm -f trace .nia.cache .lia.cache output/MExtraction.out
rm -f vos/Makefile vos/Makefile.conf
@@ -7403,148 +7438,148 @@
debian/rules override_dh_ocaml
make[1]: Entering directory '/build/reproducible-path/coq-8.12.0'
dh_ocaml
-W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit Xmlprotocol
-W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit Interface
W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit Xml_parser
-W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit Glib
-W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit Configwin_types
-W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit Serialize
-W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit Gpointer
-W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit Richpp
-W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit GtkSignal
+W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit Interface
+W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit Xml_printer
W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit Xml_printer
W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit Richpp
+W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit GtkSignal
+W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit Glib
W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit Gaux
-W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit Gobject
+W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit Serialize
+W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit GtkSignal
+W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit Xmlprotocol
+W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit Configwin_types
W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit Xml_parser
-W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit Glib
W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit Gobject
-W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit Xmlprotocol
+W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit Gpointer
+W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit Richpp
W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit Serialize
+W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit Gobject
+W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit Glib
W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit Gaux
-W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit GtkSignal
-W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit Xml_printer
-W: coq doesn't resolve dependency on unit Envaux
-W: coq doesn't resolve dependency on unit Cmo_format
-W: coq doesn't resolve dependency on unit Pparse
-W: coq doesn't resolve dependency on unit Main_args
-W: coq doesn't resolve dependency on unit Predef
-W: coq doesn't resolve dependency on unit Typedecl
-W: coq doesn't resolve dependency on unit Typedecl_variance
-W: coq doesn't resolve dependency on unit Misc
-W: coq doesn't resolve dependency on unit Bytegen
-W: coq doesn't resolve dependency on unit Types
-W: coq doesn't resolve dependency on unit Ident
-W: coq doesn't resolve dependency on unit Bytepackager
-W: coq doesn't resolve dependency on unit Printtyp
+W: libcoq-ocaml-dev/libcoq-ocaml v8.12.0-3 doesn't resolve dependency on unit Xmlprotocol
+W: coq doesn't resolve dependency on unit Outcometree
W: coq doesn't resolve dependency on unit Bytelink
-W: coq doesn't resolve dependency on unit Makedepend
-W: coq doesn't resolve dependency on unit Parser
-W: coq doesn't resolve dependency on unit Ccomp
-W: coq doesn't resolve dependency on unit Asttypes
-W: coq doesn't resolve dependency on unit Compmisc
-W: coq doesn't resolve dependency on unit Arg_helper
-W: coq doesn't resolve dependency on unit Typedecl_immediacy
-W: coq doesn't resolve dependency on unit Clflags
-W: coq doesn't resolve dependency on unit Mtype
-W: coq doesn't resolve dependency on unit Type_immediacy
-W: coq doesn't resolve dependency on unit CamlinternalMenhirLib
-W: coq doesn't resolve dependency on unit Bytesections
-W: coq doesn't resolve dependency on unit Cmi_format
-W: coq doesn't resolve dependency on unit Dll
-W: coq doesn't resolve dependency on unit Printinstr
-W: coq doesn't resolve dependency on unit Ast_invariants
-W: coq doesn't resolve dependency on unit Debuginfo
-W: coq doesn't resolve dependency on unit Translcore
-W: coq doesn't resolve dependency on unit Translprim
-W: coq doesn't resolve dependency on unit Cmt_format
-W: coq doesn't resolve dependency on unit Identifiable
-W: coq doesn't resolve dependency on unit Typecore
-W: coq doesn't resolve dependency on unit Strongly_connected_components
-W: coq doesn't resolve dependency on unit Profile
-W: coq doesn't resolve dependency on unit Translobj
-W: coq doesn't resolve dependency on unit Includemod
-W: coq doesn't resolve dependency on unit Matching
-W: coq doesn't resolve dependency on unit Ast_iterator
-W: coq doesn't resolve dependency on unit Topmain
-W: coq doesn't resolve dependency on unit Compile
-W: coq doesn't resolve dependency on unit Ctype
-W: coq doesn't resolve dependency on unit Pprintast
-W: coq doesn't resolve dependency on unit Env
-W: coq doesn't resolve dependency on unit Opcodes
-W: coq doesn't resolve dependency on unit Location
-W: coq doesn't resolve dependency on unit Btype
-W: coq doesn't resolve dependency on unit Config
-W: coq doesn't resolve dependency on unit Typemod
-W: coq doesn't resolve dependency on unit Load_path
-W: coq doesn't resolve dependency on unit Syntaxerr
-W: coq doesn't resolve dependency on unit Translattribute
-W: coq doesn't resolve dependency on unit Path
-W: coq doesn't resolve dependency on unit Domainstate
-W: coq doesn't resolve dependency on unit Ast_mapper
-W: coq doesn't resolve dependency on unit Numbers
-W: coq doesn't resolve dependency on unit Cmt2annot
-W: coq doesn't resolve dependency on unit Printast
-W: coq doesn't resolve dependency on unit Attr_helper
-W: coq doesn't resolve dependency on unit Oprint
-W: coq doesn't resolve dependency on unit Typedecl_properties
-W: coq doesn't resolve dependency on unit Toploop
-W: coq doesn't resolve dependency on unit Runtimedef
-W: coq doesn't resolve dependency on unit Trace
-W: coq doesn't resolve dependency on unit Genprintval
+W: coq doesn't resolve dependency on unit Bytepackager
W: coq doesn't resolve dependency on unit Parmatch
+W: coq doesn't resolve dependency on unit Warnings
+W: coq doesn't resolve dependency on unit Typeclass
+W: coq doesn't resolve dependency on unit Persistent_env
+W: coq doesn't resolve dependency on unit Types
W: coq doesn't resolve dependency on unit Untypeast
-W: coq doesn't resolve dependency on unit Parsetree
-W: coq doesn't resolve dependency on unit Stypes
-W: coq doesn't resolve dependency on unit Consistbl
+W: coq doesn't resolve dependency on unit Compile_common
W: coq doesn't resolve dependency on unit Targetint
+W: coq doesn't resolve dependency on unit Translattribute
+W: coq doesn't resolve dependency on unit Switch
+W: coq doesn't resolve dependency on unit Translmod
W: coq doesn't resolve dependency on unit Parse
-W: coq doesn't resolve dependency on unit Typeopt
-W: coq doesn't resolve dependency on unit Compile_common
-W: coq doesn't resolve dependency on unit Symtable
-W: coq doesn't resolve dependency on unit Datarepr
-W: coq doesn't resolve dependency on unit Tast_iterator
-W: coq doesn't resolve dependency on unit Typedecl_separability
+W: coq doesn't resolve dependency on unit Opcodes
+W: coq doesn't resolve dependency on unit Runtimedef
+W: coq doesn't resolve dependency on unit Predef
+W: coq doesn't resolve dependency on unit Printinstr
+W: coq doesn't resolve dependency on unit Path
+W: coq doesn't resolve dependency on unit Ctype
+W: coq doesn't resolve dependency on unit Docstrings
+W: coq doesn't resolve dependency on unit Consistbl
+W: coq doesn't resolve dependency on unit Errors
+W: coq doesn't resolve dependency on unit Typedecl_unboxed
+W: coq doesn't resolve dependency on unit Mtype
+W: coq doesn't resolve dependency on unit Arg_helper
+W: coq doesn't resolve dependency on unit Printtyp
+W: coq doesn't resolve dependency on unit Syntaxerr
+W: coq doesn't resolve dependency on unit Lexer
W: coq doesn't resolve dependency on unit Includeclass
-W: coq doesn't resolve dependency on unit Depend
-W: coq doesn't resolve dependency on unit Includecore
W: coq doesn't resolve dependency on unit Coqtop_byte_bin
+W: coq doesn't resolve dependency on unit Type_immediacy
+W: coq doesn't resolve dependency on unit Ast_iterator
+W: coq doesn't resolve dependency on unit Bytesections
+W: coq doesn't resolve dependency on unit Typedecl
+W: coq doesn't resolve dependency on unit Domainstate
+W: coq doesn't resolve dependency on unit Translobj
W: coq doesn't resolve dependency on unit Coqpp_main
-W: coq doesn't resolve dependency on unit Compenv
-W: coq doesn't resolve dependency on unit Translclass
+W: coq doesn't resolve dependency on unit Typedecl_separability
+W: coq doesn't resolve dependency on unit Simplif
+W: coq doesn't resolve dependency on unit Typedecl_properties
+W: coq doesn't resolve dependency on unit Typeopt
W: coq doesn't resolve dependency on unit Coqpp_lex
-W: coq doesn't resolve dependency on unit Builtin_attributes
-W: coq doesn't resolve dependency on unit Ast_helper
-W: coq doesn't resolve dependency on unit Emitcode
-W: coq doesn't resolve dependency on unit Meta
-W: coq doesn't resolve dependency on unit Int_replace_polymorphic_compare
+W: coq doesn't resolve dependency on unit Location
+W: coq doesn't resolve dependency on unit Cmt_format
+W: coq doesn't resolve dependency on unit Printast
+W: coq doesn't resolve dependency on unit Printpat
+W: coq doesn't resolve dependency on unit Ccomp
+W: coq doesn't resolve dependency on unit Typedecl_immediacy
+W: coq doesn't resolve dependency on unit Strongly_connected_components
W: coq doesn't resolve dependency on unit Printtyped
-W: coq doesn't resolve dependency on unit Typedecl_unboxed
-W: coq doesn't resolve dependency on unit Errors
-W: coq doesn't resolve dependency on unit Typedtree
+W: coq doesn't resolve dependency on unit Tast_iterator
+W: coq doesn't resolve dependency on unit Datarepr
+W: coq doesn't resolve dependency on unit Typecore
+W: coq doesn't resolve dependency on unit Btype
+W: coq doesn't resolve dependency on unit Pparse
W: coq doesn't resolve dependency on unit Primitive
-W: coq doesn't resolve dependency on unit Simplif
-W: coq doesn't resolve dependency on unit Build_path_prefix_map
-W: coq doesn't resolve dependency on unit Lambda
-W: coq doesn't resolve dependency on unit Warnings
-W: coq doesn't resolve dependency on unit Persistent_env
-W: coq doesn't resolve dependency on unit Longident
+W: coq doesn't resolve dependency on unit Typedtree
+W: coq doesn't resolve dependency on unit Bytegen
+W: coq doesn't resolve dependency on unit Cmt2annot
+W: coq doesn't resolve dependency on unit Annot
+W: coq doesn't resolve dependency on unit Cmi_format
+W: coq doesn't resolve dependency on unit Compmisc
+W: coq doesn't resolve dependency on unit Typemod
+W: coq doesn't resolve dependency on unit Subst
+W: coq doesn't resolve dependency on unit Ast_mapper
+W: coq doesn't resolve dependency on unit Genprintval
W: coq doesn't resolve dependency on unit Bytelibrarian
-W: coq doesn't resolve dependency on unit Lexer
+W: coq doesn't resolve dependency on unit Pprintast
+W: coq doesn't resolve dependency on unit Ast_invariants
+W: coq doesn't resolve dependency on unit Typetexp
+W: coq doesn't resolve dependency on unit Typedecl_variance
+W: coq doesn't resolve dependency on unit Matching
+W: coq doesn't resolve dependency on unit Main_args
+W: coq doesn't resolve dependency on unit Build_path_prefix_map
+W: coq doesn't resolve dependency on unit Meta
+W: coq doesn't resolve dependency on unit Includemod
+W: coq doesn't resolve dependency on unit Load_path
+W: coq doesn't resolve dependency on unit Translprim
+W: coq doesn't resolve dependency on unit Profile
+W: coq doesn't resolve dependency on unit Toploop
+W: coq doesn't resolve dependency on unit Parser
+W: coq doesn't resolve dependency on unit Builtin_attributes
+W: coq doesn't resolve dependency on unit Compenv
+W: coq doesn't resolve dependency on unit Parsetree
+W: coq doesn't resolve dependency on unit Attr_helper
+W: coq doesn't resolve dependency on unit Emitcode
W: coq doesn't resolve dependency on unit Terminfo
-W: coq doesn't resolve dependency on unit Subst
+W: coq doesn't resolve dependency on unit Translclass
+W: coq doesn't resolve dependency on unit Int_replace_polymorphic_compare
W: coq doesn't resolve dependency on unit Tast_mapper
-W: coq doesn't resolve dependency on unit Docstrings
+W: coq doesn't resolve dependency on unit Misc
+W: coq doesn't resolve dependency on unit Debuginfo
+W: coq doesn't resolve dependency on unit CamlinternalMenhirLib
+W: coq doesn't resolve dependency on unit Oprint
+W: coq doesn't resolve dependency on unit Envaux
+W: coq doesn't resolve dependency on unit Trace
+W: coq doesn't resolve dependency on unit Numbers
+W: coq doesn't resolve dependency on unit Asttypes
+W: coq doesn't resolve dependency on unit Cmo_format
+W: coq doesn't resolve dependency on unit Translcore
+W: coq doesn't resolve dependency on unit Depend
+W: coq doesn't resolve dependency on unit Identifiable
+W: coq doesn't resolve dependency on unit Env
W: coq doesn't resolve dependency on unit Instruct
-W: coq doesn't resolve dependency on unit Annot
-W: coq doesn't resolve dependency on unit Translmod
-W: coq doesn't resolve dependency on unit Printpat
-W: coq doesn't resolve dependency on unit Typetexp
-W: coq doesn't resolve dependency on unit Switch
-W: coq doesn't resolve dependency on unit Rec_check
-W: coq doesn't resolve dependency on unit Outcometree
+W: coq doesn't resolve dependency on unit Config
W: coq doesn't resolve dependency on unit Printlambda
-W: coq doesn't resolve dependency on unit Typeclass
+W: coq doesn't resolve dependency on unit Ast_helper
+W: coq doesn't resolve dependency on unit Symtable
+W: coq doesn't resolve dependency on unit Makedepend
+W: coq doesn't resolve dependency on unit Longident
+W: coq doesn't resolve dependency on unit Topmain
+W: coq doesn't resolve dependency on unit Dll
+W: coq doesn't resolve dependency on unit Rec_check
+W: coq doesn't resolve dependency on unit Stypes
+W: coq doesn't resolve dependency on unit Clflags
+W: coq doesn't resolve dependency on unit Compile
+W: coq doesn't resolve dependency on unit Includecore
+W: coq doesn't resolve dependency on unit Lambda
+W: coq doesn't resolve dependency on unit Ident
for f in debian/*substvars; do echo $f; cat $f; done
debian/coq.substvars
python3:Depends=python3:any
@@ -7567,34 +7602,34 @@
echo 'F:CoqABI=8.12.0+4.11.1' >> debian/$u.substvars; \
done
dh_gencontrol
-dpkg-gencontrol: warning: Depends field of package libcoq-ocaml-dev: substitution variable ${shlibs:Depends} used, but is not defined
dpkg-gencontrol: warning: Depends field of package coq-theories: substitution variable ${shlibs:Depends} used, but is not defined
+dpkg-gencontrol: warning: Depends field of package libcoq-ocaml-dev: substitution variable ${shlibs:Depends} used, but is not defined
dpkg-gencontrol: warning: package libcoq-ocaml-dev: substitution variable ${F:CoqABI} unused, but is defined
dpkg-gencontrol: warning: package libcoq-ocaml-dev: substitution variable ${F:OCamlABI} unused, but is defined
-dpkg-gencontrol: warning: package coq: substitution variable ${F:OCamlABI} unused, but is defined
+dpkg-gencontrol: warning: package coq-theories: substitution variable ${F:OCamlABI} unused, but is defined
dpkg-gencontrol: warning: Depends field of package coqide: substitution variable ${ocaml:Depends} used, but is not defined
-dpkg-gencontrol: warning: package libcoq-ocaml: substitution variable ${F:CoqABI} unused, but is defined
+dpkg-gencontrol: warning: package coq: substitution variable ${F:OCamlABI} unused, but is defined
dpkg-gencontrol: warning: package coqide: substitution variable ${F:CoqABI} unused, but is defined
dpkg-gencontrol: warning: package coqide: substitution variable ${F:OCamlABI} unused, but is defined
-dpkg-gencontrol: warning: package libcoq-ocaml: substitution variable ${F:OCamlABI} unused, but is defined
-dpkg-gencontrol: warning: package coq-theories: substitution variable ${F:OCamlABI} unused, but is defined
-dpkg-gencontrol: warning: package coq: substitution variable ${F:OCamlABI} unused, but is defined
-dpkg-gencontrol: warning: Depends field of package coqide: substitution variable ${ocaml:Depends} used, but is not defined
dpkg-gencontrol: warning: package libcoq-ocaml: substitution variable ${F:CoqABI} unused, but is defined
dpkg-gencontrol: warning: package libcoq-ocaml: substitution variable ${F:OCamlABI} unused, but is defined
+dpkg-gencontrol: warning: Depends field of package coqide: substitution variable ${ocaml:Depends} used, but is not defined
dpkg-gencontrol: warning: package coqide: substitution variable ${F:CoqABI} unused, but is defined
dpkg-gencontrol: warning: package coqide: substitution variable ${F:OCamlABI} unused, but is defined
+dpkg-gencontrol: warning: package libcoq-ocaml: substitution variable ${F:CoqABI} unused, but is defined
+dpkg-gencontrol: warning: package libcoq-ocaml: substitution variable ${F:OCamlABI} unused, but is defined
+dpkg-gencontrol: warning: package coq: substitution variable ${F:OCamlABI} unused, but is defined
make[1]: Leaving directory '/build/reproducible-path/coq-8.12.0'
dh_md5sums
dh_builddeb
-dpkg-deb: building package 'coq' in '../coq_8.12.0-3_arm64.deb'.
dpkg-deb: building package 'coq-dbgsym' in '../coq-dbgsym_8.12.0-3_arm64.deb'.
-dpkg-deb: building package 'coq-theories' in '../coq-theories_8.12.0-3_arm64.deb'.
-dpkg-deb: building package 'coqide-dbgsym' in '../coqide-dbgsym_8.12.0-3_arm64.deb'.
+dpkg-deb: building package 'coq' in '../coq_8.12.0-3_arm64.deb'.
dpkg-deb: building package 'coqide' in '../coqide_8.12.0-3_arm64.deb'.
-dpkg-deb: building package 'libcoq-ocaml-dev' in '../libcoq-ocaml-dev_8.12.0-3_arm64.deb'.
+dpkg-deb: building package 'coqide-dbgsym' in '../coqide-dbgsym_8.12.0-3_arm64.deb'.
+dpkg-deb: building package 'coq-theories' in '../coq-theories_8.12.0-3_arm64.deb'.
dpkg-deb: building package 'libcoq-ocaml' in '../libcoq-ocaml_8.12.0-3_arm64.deb'.
dpkg-deb: building package 'libcoq-ocaml-dbgsym' in '../libcoq-ocaml-dbgsym_8.12.0-3_arm64.deb'.
+dpkg-deb: building package 'libcoq-ocaml-dev' in '../libcoq-ocaml-dev_8.12.0-3_arm64.deb'.
dpkg-genbuildinfo --build=binary
dpkg-genchanges --build=binary >../coq_8.12.0-3_arm64.changes
dpkg-genchanges: info: binary-only upload (no source code included)
@@ -7602,12 +7637,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/708732/tmp/hooks/B01_cleanup starting
+I: user script /srv/workspace/pbuilder/708732/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/3832575 and its subdirectories
-I: Current time: Fri Jun 13 10:19:00 -12 2025
-I: pbuilder-time-stamp: 1749853140
+I: removing directory /srv/workspace/pbuilder/708732 and its subdirectories
+I: Current time: Sun May 12 06:26:47 +14 2024
+I: pbuilder-time-stamp: 1715444807