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