Diff of the two buildlogs: -- --- b1/build.log 2025-11-04 01:15:39.778434462 +0000 +++ b2/build.log 2025-11-04 01:18:55.882677655 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Sun Dec 6 19:34:10 -12 2026 -I: pbuilder-time-stamp: 1796628850 +I: Current time: Tue Nov 4 15:15:42 +14 2025 +I: pbuilder-time-stamp: 1762218942 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/forky-reproducible-base.tgz] I: copying local configuration @@ -25,52 +25,84 @@ dpkg-source: info: applying 0002-Fix-compilation-with-ppxlib-0.36.0.patch I: Not using root during the build. I: Installing the build-deps -I: user script /srv/workspace/pbuilder/988765/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/1492099/tmp/hooks/D01_modify_environment starting +debug: Running on infom01-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 Nov 4 01:15 /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/1492099/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/1492099/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=16 ' - DISTRIBUTION='forky' - 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]="3" [2]="3" [3]="1" [4]="release" [5]="x86_64-pc-linux-gnu") + BASH_VERSION='5.3.3(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=12 nocheck' + DIRSTACK=() + DISTRIBUTION=forky + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/root + HOSTNAME=i-capture-the-hostname + HOSTTYPE=x86_64 + HOST_ARCH=amd64 IFS=' ' - INVOCATION_ID='ab3d1a7f8a784e0eb5eed435fc1fd5cf' - 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='988765' - PS1='# ' - PS2='> ' + INVOCATION_ID=11fe4893c0e748ee9139e60ed66e04c4 + 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=1492099 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.n1rG3BQn/pbuilderrc_VXqU --distribution forky --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/forky-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.n1rG3BQn/b1 --logfile b1/build.log elpi_2.0.7-2.dsc' - SUDO_GID='109' - SUDO_HOME='/var/lib/jenkins' - SUDO_UID='104' - SUDO_USER='jenkins' - TERM='unknown' - TZ='/usr/share/zoneinfo/Etc/GMT+12' - USER='root' - _='/usr/bin/systemd-run' + 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.n1rG3BQn/pbuilderrc_QGoM --distribution forky --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/forky-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.n1rG3BQn/b2 --logfile b2/build.log elpi_2.0.7-2.dsc' + SUDO_GID=109 + SUDO_HOME=/var/lib/jenkins + SUDO_UID=104 + SUDO_USER=jenkins + TERM=unknown + TZ=/usr/share/zoneinfo/Etc/GMT-14 + UID=0 + USER=root + _='I: set' I: uname -a - Linux infom02-amd64 6.12.48+deb13-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.48-1 (2025-09-20) x86_64 GNU/Linux + Linux i-capture-the-hostname 6.12.48+deb13-cloud-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.48-1 (2025-09-20) x86_64 GNU/Linux I: ls -l /bin - lrwxrwxrwx 1 root root 7 Aug 10 2025 /bin -> usr/bin -I: user script /srv/workspace/pbuilder/988765/tmp/hooks/D02_print_environment finished + lrwxrwxrwx 1 root root 7 Aug 10 12:30 /bin -> usr/bin +I: user script /srv/workspace/pbuilder/1492099/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -361,7 +393,7 @@ Get: 215 http://deb.debian.org/debian forky/main amd64 ocaml-dune amd64 3.20.2-3 [4938 kB] Get: 216 http://deb.debian.org/debian forky/main amd64 time amd64 1.9-0.3 [48.2 kB] Get: 217 http://deb.debian.org/debian forky/main amd64 yojson-tools amd64 2.2.2-1+b2 [416 kB] -Fetched 244 MB in 3s (72.6 MB/s) +Fetched 244 MB in 3s (92.6 MB/s) Preconfiguring packages ... Selecting previously unselected package libexpat1: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 ... 19862 files and directories currently installed.) @@ -1253,7 +1285,11 @@ Building tag database... -> Finished parsing the build-deps I: Building the package -I: Running cd /build/reproducible-path/elpi-2.0.7/ && 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 > ../elpi_2.0.7-2_source.changes +I: user script /srv/workspace/pbuilder/1492099/tmp/hooks/A99_set_merged_usr starting +Not re-configuring usrmerge for forky +I: user script /srv/workspace/pbuilder/1492099/tmp/hooks/A99_set_merged_usr finished +hostname: Name or service not known +I: Running cd /build/reproducible-path/elpi-2.0.7/ && 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 > ../elpi_2.0.7-2_source.changes dpkg-buildpackage: info: source package elpi dpkg-buildpackage: info: source version 2.0.7-2 dpkg-buildpackage: info: source distribution unstable @@ -1298,12 +1334,12 @@ git tag -a v2.0.7 -m foo; \ fi Initialized empty Git repository in /build/reproducible-path/elpi-2.0.7/.git/ -[main (root-commit) a9f7dc5] foo +[main (root-commit) 069523b] foo 1 file changed, 14 insertions(+) create mode 100644 dune make[1]: Leaving directory '/build/reproducible-path/elpi-2.0.7' dh_auto_build -O--buildsystem=ocaml_dune - dune build -j 16 -p elpi + dune build -j 12 -p elpi (cd _build/default/src/parser && /usr/bin/menhir tokens.mly grammar.mly token_precedence.mly --base grammar --compile-errors error_messages.txt) > _build/default/src/parser/error_messages.ml Read 373 sample input sentences and 41 error messages. (cd _build/default && /usr/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I trace/runtime/.trace_ppx_runtime.objs/byte -I /usr/lib/x86_64-linux-gnu/ocaml/5.3.0/re -cmi-file trace/runtime/.trace_ppx_runtime.objs/byte/trace_ppx_runtime__Runtime.cmi -no-alias-deps -open Trace_ppx_runtime -o trace/runtime/.trace_ppx_runtime.objs/byte/trace_ppx_runtime__Runtime.cmo -c -impl trace/runtime/runtime.ml) @@ -1322,275 +1358,7 @@ command-line to silence this alert (e.g. by adding unix to the list of libraries in your dune file, or adding use_unix to your _tags file for ocamlbuild, or using -package unix for ocamlfind). - debian/rules override_dh_auto_test -make[1]: Entering directory '/build/reproducible-path/elpi-2.0.7' -make tests STACK=11141120 -make[2]: Entering directory '/build/reproducible-path/elpi-2.0.7' -make build -make[3]: Entering directory '/build/reproducible-path/elpi-2.0.7' -dune build @all -Warning: Cache directories could not be created: Permission denied; disabling -cache -Hint: Make sure the directory /nonexistent/first-build/.cache/dune/db/temp -can be created -File "_none_", line 1: -Alert ocaml_deprecated_auto_include: -OCaml's lib directory layout changed in 5.0. The unix subdirectory has been -automatically added to the search path, but you should add -I +unix to the -command-line to silence this alert (e.g. by adding unix to the list of -libraries in your dune file, or adding use_unix to your _tags file for -ocamlbuild, or using -package unix for ocamlfind). -File "_none_", line 1: -Alert ocaml_deprecated_auto_include: -OCaml's lib directory layout changed in 5.0. The unix subdirectory has been -automatically added to the search path, but you should add -I +unix to the -command-line to silence this alert (e.g. by adding unix to the list of -libraries in your dune file, or adding use_unix to your _tags file for -ocamlbuild, or using -package unix for ocamlfind). -make[3]: Leaving directory '/build/reproducible-path/elpi-2.0.7' -dune runtest -Warning: Cache directories could not be created: Permission denied; disabling -cache -Hint: Make sure the directory /nonexistent/first-build/.cache/dune/db/temp -can be created - --> Running test 1 <- - Retrived clause number is 3 - --> Running test 2 <- - Retrived clause number is 1 - --> Running test 3 <- - Retrived clause number is 3 - --> Running test 4 <- - Retrived clause number is 2 -Test remove 1 -Test remove 2 -Test remove 3 -Test remove 4 -build: bl=0.963303 l=0.837111 -ulimit -s 11141120; OCAMLRUNPARAM=l=11141120 \ - tests/test.exe \ - --seed $RANDOM \ - --promote false \ - --ln_nb=-1 \ - --timeout 90.0 \ - --stop-on-first-error=false \ - --time /usr/bin/time \ - --sources=/build/reproducible-path/elpi-2.0.7/tests/sources/ \ - --plot=/build/reproducible-path/elpi-2.0.7/tests/plot \ - \ - \ - --runner /build/reproducible-path/elpi-2.0.7/_build/install/default/bin/elpi --runner /build/reproducible-path/elpi-2.0.7/_build/install/default/bin/elpi-trace-elaborator ------------------------------------------------------------------- -Runners: /build/reproducible-path/elpi-2.0.7/_build/install/default/bin/elpi /build/reproducible-path/elpi-2.0.7/_build/install/default/bin/elpi-trace-elaborator -Random seed: 26282 -Timeout: 90.00 seconds -Fiber stack: 11141120 - -status test time typchk wall mem runner ------------------------------------------------------------------- -RUNNING CHR_no_clique (CHR rule on a non constraint) elpi OK CHR_no_clique 0.00 0.00 0.00 0.0M elpi -RUNNING IO_COLON (IO_COLON token) elpi OK IO_COLON 0.00 0.00 0.02 13.3M elpi -RUNNING accumulate_twice1 (double accumulate) elpi OK accumulate_twice1 0.00 0.00 0.00 0.0M elpi -RUNNING accumulate_twice2 (double accumulate) elpi OK accumulate_twice2 0.00 0.00 0.00 0.0M elpi -RUNNING ackermann (ackermann) elpi OK ackermann 0.00 0.00 0.02 13.6M elpi -RUNNING asclause (parsing of the .. as X clause) elpi OK asclause 0.00 0.01 0.03 13.6M elpi -RUNNING backtracking (backtracking variable assignment) elpi OK backtracking 0.00 0.01 0.03 13.6M elpi -RUNNING bad_index (bad indexing directive) elpi OK bad_index 0.00 0.00 0.00 0.0M elpi -RUNNING beta (beta reduction) elpi OK beta 0.00 0.00 0.03 13.5M elpi -RUNNING block (blocks are closed) elpi OK block 0.00 0.00 0.00 0.0M elpi -RUNNING bug-256 (move/unif) elpi OK bug-256 0.00 0.00 0.02 13.6M elpi -RUNNING bug19 (unif under binders) elpi OK bug19 0.00 0.00 0.03 13.7M elpi -RUNNING bug_226 (move/unif bug) elpi OK bug_226 0.00 0.00 0.02 13.5M elpi -RUNNING cbn (reduction) elpi OK cbn 0.33 0.00 0.36 19.9M elpi -RUNNING cbv (reduction) elpi OK cbv 2.13 0.00 2.16 18.2M elpi -RUNNING chr (constraints handling rules) elpi OK chr 0.00 0.00 0.03 13.3M elpi -RUNNING chr-scope (chr-relocation) elpi OK chr-scope 0.00 0.01 0.03 13.5M elpi -RUNNING chr-scope-change (chr-relocation) elpi OK chr-scope-change 0.00 0.01 0.03 13.6M elpi -RUNNING chr-scope-change-err (chr-relocation) elpi OK chr-scope-change-err 0.00 0.00 0.00 0.0M elpi -RUNNING chr_even_odd (CHR example at MLWS) elpi OK chr_even_odd 0.00 0.00 0.03 13.5M elpi -RUNNING chr_gcd (greatest common divisor in CHR) elpi OK chr_gcd 0.00 0.00 0.03 13.6M elpi -RUNNING chr_leq (chr transitive closure) elpi OK chr_leq 0.00 0.00 0.03 13.5M elpi -RUNNING chr_nokey (constraints keyed on _) elpi OK chr_nokey 0.00 0.01 0.03 13.5M elpi -RUNNING chr_nokey2 (constraints keyed on _) elpi OK chr_nokey2 0.00 0.01 0.03 13.6M elpi -RUNNING chr_sem (refined operational semantics) elpi OK chr_sem 0.00 0.01 0.03 13.6M elpi -RUNNING chr_ut (type checker with UT via CHR) elpi OK chr_ut 0.00 0.00 0.02 13.4M elpi -RUNNING chr_with_hypotheses (chr_with_hypotheses) elpi OK chr_with_hypotheses 0.00 0.00 0.03 13.5M elpi -RUNNING conj2 (parsing and evaluation of & (binary conj)) elpi OK conj2 0.00 0.00 0.03 13.6M elpi -RUNNING crypt (standard Prolog benchmark) elpi OK crypt 4.64 0.00 4.66 48.7M elpi -RUNNING cut1 (what else) elpi OK cut1 0.00 0.01 0.03 13.6M elpi -RUNNING cut2 (what else) elpi OK cut2 0.00 0.01 0.03 13.6M elpi -RUNNING cut3 (what else) elpi OK cut3 0.00 0.00 0.03 13.5M elpi -RUNNING cut4 (what else) elpi OK cut4 0.00 0.00 0.02 13.3M elpi -RUNNING cut5 (what else) elpi OK cut5 0.00 0.00 0.03 13.6M elpi -RUNNING cut6 (what else) elpi OK cut6 0.00 0.00 0.02 13.5M elpi -RUNNING deep_index (indexing deeper rules out) elpi OK deep_index 0.00 0.01 0.02 13.5M elpi -RUNNING discard (_) elpi OK discard 0.00 0.00 0.03 13.7M elpi -RUNNING dt (discrimination_tree indexing) elpi OK dt 2.20 0.00 2.23 13.5M elpi -RUNNING dt_bench (discrimination_tree on trees) elpi OK dt_bench 2.63 0.00 2.66 16.2M elpi -RUNNING dt_bug_272 (dt list truncation heuristic) elpi OK dt_bug_272 0.01 0.00 0.03 13.6M elpi -RUNNING dt_max_depths (discrimination_tree max_depth) elpi OK dt_max_depths 0.00 0.00 0.02 13.5M elpi -RUNNING dt_multiparam1 (discrimination_tree indexing multi argument) elpi OK dt_multiparam1 0.55 0.00 0.57 18.6M elpi -RUNNING dt_multiparam2 (discrimination_tree indexing multi with flexible) elpi OK dt_multiparam2 0.55 0.00 0.57 18.5M elpi -RUNNING dt_multiparam3 (discrimination_tree indexing multi with flexible in input mode) elpi OK dt_multiparam3 0.00 0.00 0.00 0.0M elpi -RUNNING dt_multivar (discrimination_tree indexing multi with flexible in input mode) elpi OK dt_multivar 0.00 0.00 0.03 13.5M elpi -RUNNING dt_off ((without) discrimination_tree indexing) elpi OK dt_off 15.27 0.00 15.30 13.6M elpi -RUNNING dt_order (discrimination_tree grafting) elpi OK dt_order 0.00 0.00 0.02 13.6M elpi -RUNNING dt_var (discrimination_tree indexing flex) elpi OK dt_var 0.00 0.01 0.03 13.3M elpi -RUNNING dt_var2 (discrimination_tree indexing flex) elpi OK dt_var2 0.00 0.00 0.03 13.5M elpi -RUNNING elpi_only_llam (full HO unif gives error) elpi OK elpi_only_llam 0.00 0.01 0.00 0.0M elpi -RUNNING eta (test eta for rigid terms) elpi OK eta 0.00 0.01 0.03 13.6M elpi -RUNNING eta_as (eta expansion of as clause) elpi OK eta_as 0.00 0.01 0.03 13.6M elpi -RUNNING eta_oc (eta expansion and occur check) elpi OK eta_oc 0.00 0.01 0.03 13.6M elpi -RUNNING fast_mu (standard Prolog benchmark) elpi OK fast_mu 2.06 0.01 2.09 16.7M elpi -RUNNING findall (stash across backtrack) elpi OK findall 0.00 0.00 0.02 13.6M elpi -RUNNING graft_before (grafting a clause before the clause of another predicate) elpi OK graft_before 0.00 0.00 0.02 13.4M elpi -RUNNING graft_before_same (grafting a clause before the clause of the same predicate) elpi OK graft_before_same 0.00 0.00 0.02 13.7M elpi -RUNNING graft_remove (remove a clase) elpi OK graft_remove 0.00 0.00 0.02 13.4M elpi -RUNNING graft_replace_err (replacing a clase) elpi OK graft_replace_err 0.00 0.00 0.00 0.0M elpi -RUNNING graft_replace_ok (replacing a clase) elpi OK graft_replace_ok 0.00 0.00 0.03 13.6M elpi -RUNNING grundlagen (type checker for λδ) elpi OK grundlagen 26.05 2.22 31.24 2851.0M elpi -RUNNING hc_interp (Horn Clauses interpreter) elpi OK hc_interp 0.00 0.00 0.03 13.7M elpi -RUNNING hdclause (hdclause unification) elpi OK hdclause 0.00 0.00 0.03 13.6M elpi -RUNNING heap_discard (heapification of _) elpi OK heap_discard 0.00 0.01 0.03 13.4M elpi -RUNNING hilbert (hilbert) elpi OK hilbert 0.00 0.00 0.03 13.6M elpi -RUNNING hilbert2 (hilbert2) elpi OK hilbert2 0.00 0.00 0.02 13.6M elpi -RUNNING ho (HO predicates) elpi OK ho 0.00 0.00 0.02 13.4M elpi -RUNNING hollight (hollight implementation) elpi OK hollight 0.00 0.00 0.00 0.0M elpi -RUNNING holp (HOL programming) elpi OK holp 0.00 0.00 0.03 13.6M elpi -RUNNING hyp_uvar (uvar at the left of implication) elpi OK hyp_uvar 0.00 0.00 0.02 13.5M elpi -RUNNING ifdef (lexer ifdef) elpi OK ifdef 0.00 0.00 0.03 13.6M elpi -RUNNING impl (implication) elpi OK impl 0.00 0.00 0.03 13.4M elpi -RUNNING impl2 (implication) elpi OK impl2 0.00 0.00 0.03 13.4M elpi -RUNNING impl_order (implication and pair/list) elpi OK impl_order 0.00 0.00 0.03 13.5M elpi -RUNNING impl_prec (warning about A => B, C) elpi OK impl_prec 0.00 0.00 0.03 13.5M elpi -RUNNING impl_prec_silent (warning about A => B, C) elpi OK impl_prec_silent 0.00 0.00 0.03 13.5M elpi -RUNNING index2 (indexing the second argument) elpi OK index2 2.49 0.00 2.52 13.6M elpi -RUNNING is (calc) elpi OK is 0.00 0.01 0.04 13.5M elpi -RUNNING lambda3 (moving under lambdas) elpi OK lambda3 0.46 0.00 0.49 16.3M elpi -RUNNING lambda4 (simple type checker) elpi OK lambda4 0.00 0.00 0.02 13.5M elpi -RUNNING lambda5 (simple type checker) elpi OK lambda5 0.00 0.00 0.00 0.0M elpi -RUNNING lambda6 (simple type checker) elpi OK lambda6 0.00 0.00 0.00 0.0M elpi -RUNNING lambda_arrow1 (simple type checker) elpi OK lambda_arrow1 0.00 0.00 0.02 13.6M elpi -RUNNING lambda_arrow2 (simple type checker) elpi OK lambda_arrow2 0.00 0.00 0.02 13.6M elpi -RUNNING lambdadelta (lambda delta tests) elpi OK lambdadelta 0.00 0.01 0.03 13.8M elpi -RUNNING linear (linear variable check) elpi OK linear 0.00 0.00 0.02 13.5M elpi -RUNNING list_as_conj (list is an nary conjunction) elpi OK list_as_conj 0.00 0.00 0.02 13.6M elpi -RUNNING list_comma (lists with spurious , in there) elpi OK list_comma 0.00 0.00 0.02 13.4M elpi -RUNNING llam (Miller pattern unification) elpi OK llam 0.00 0.00 0.03 13.6M elpi -RUNNING llamb0_exit1 (Outside the llamb0 fragment) elpi OK llamb0_exit1 0.00 0.01 0.04 13.4M elpi -RUNNING llamb0_exit2 (Outside the llamb0 fragment) elpi OK llamb0_exit2 0.00 0.00 0.03 13.5M elpi -RUNNING llamb0_exit3 (Outside the llamb0 fragment) elpi OK llamb0_exit3 0.00 0.00 0.03 13.5M elpi -RUNNING llamb0_exit4 (Outside the llamb0 fragment) elpi OK llamb0_exit4 0.00 0.00 0.02 13.5M elpi -RUNNING llamb0_exit5 (Outside the llamb0 fragment) elpi OK llamb0_exit5 0.00 0.00 0.03 13.5M elpi -RUNNING llamb0_exit6 (Outside the llamb0 fragment) elpi OK llamb0_exit6 0.00 0.00 0.02 13.5M elpi -RUNNING lyp (type checker for λΥP) elpi OK lyp 7.42 0.78 12.33 720.4M elpi -RUNNING map_builtin_list (stdlib map reference) elpi OK map_builtin_list 10.63 0.01 10.66 17.4M elpi -RUNNING map_defined_list (stdlib map reference) elpi OK map_defined_list 10.13 0.00 10.15 18.1M elpi -RUNNING map_ho (stdlib map HO) elpi OK map_ho 0.00 0.00 0.03 13.6M elpi -RUNNING map_rbtree (stdlib map) elpi OK map_rbtree 3.13 0.00 3.16 17.8M elpi -RUNNING mk_uv_meta (uvar surgery at the meta level) elpi OK mk_uv_meta 0.00 0.00 0.03 13.6M elpi -RUNNING mode_checking_fo (mode_checking_fo) elpi OK mode_checking_fo 0.00 0.00 0.02 13.6M elpi -RUNNING mode_checking_ho (mode_checking_ho) elpi OK mode_checking_ho 0.00 0.01 0.03 13.6M elpi -RUNNING mu (standard Prolog benchmark) elpi OK mu 2.57 0.00 2.60 17.0M elpi -RUNNING name (name builtin) elpi OK name 0.00 0.00 0.03 13.6M elpi -RUNNING named_clauses00 (clause grafting using names) elpi OK named_clauses00 0.00 0.00 0.00 0.0M elpi -RUNNING named_clauses01 (clause grafting using names) elpi OK named_clauses01 0.00 0.00 0.00 0.0M elpi -RUNNING named_clauses02 (clause grafting using names) elpi OK named_clauses02 0.00 0.00 0.03 13.6M elpi -RUNNING namespace00 (namespacing of predicates and constants) elpi OK namespace00 0.00 0.01 0.03 13.5M elpi -RUNNING namespace01 (namespacing of predicates and constants) elpi OK namespace01 0.00 0.00 0.03 13.5M elpi -RUNNING namespace02 (namespacing of predicates and constants) elpi OK namespace02 0.00 0.00 0.02 13.5M elpi -RUNNING namespace03 (namespacing of predicates and constants) elpi OK namespace03 0.00 0.01 0.03 13.6M elpi -RUNNING nil_cons (nil = []) elpi OK nil_cons 0.00 0.01 0.03 13.2M elpi -RUNNING notation (extensible syntax) elpi OK notation 0.00 0.00 0.03 13.6M elpi -RUNNING notation_error (infix declaration error) elpi OK notation_error 0.00 0.00 0.00 0.0M elpi -RUNNING oc_eta (eta expansion and occur check) elpi OK oc_eta 0.00 0.01 0.00 0.0M elpi -RUNNING patternunif (Miller pattern unification) elpi OK patternunif 0.00 0.00 0.03 13.5M elpi -RUNNING patternunif2 (Miller pattern unification) elpi OK patternunif2 0.00 0.00 0.02 13.5M elpi -RUNNING pcf (type inference for PCF) elpi OK pcf 0.00 0.01 0.04 14.0M elpi -RUNNING pi (pi quantification) elpi OK pi 0.00 0.00 0.02 13.6M elpi -RUNNING pi3 (pi quantification) elpi OK pi3 0.00 0.00 0.02 13.5M elpi -RUNNING pi5 (pi quantification) elpi OK pi5 0.00 0.01 0.03 13.5M elpi -RUNNING pnf (some HO programming) elpi OK pnf 0.00 0.00 0.02 13.5M elpi -RUNNING polymorphic_variants (typechecker for polymorphic variants) elpi OK polymorphic_variants 0.00 0.00 0.03 13.6M elpi -RUNNING printer (printing infix) elpi OK printer 0.00 0.00 0.03 13.6M elpi -RUNNING progs (progs) elpi OK progs 0.00 0.01 0.04 13.7M elpi -RUNNING queens (standard Prolog benchmark) elpi OK queens 2.19 0.01 2.23 130.3M elpi -RUNNING random (random numbers) elpi OK random 0.00 0.00 0.03 13.3M elpi -RUNNING restriction (HO unification scope checking) elpi OK restriction 0.00 0.00 0.00 0.0M elpi -RUNNING restriction3 (HO unification scope checking) elpi OK restriction3 0.00 0.01 0.03 13.4M elpi -RUNNING restriction4 (HO unification scope checking) elpi OK restriction4 0.00 0.00 0.02 13.3M elpi -RUNNING restriction5 (HO unification scope checking) elpi OK restriction5 0.00 0.01 0.03 13.5M elpi -RUNNING restriction6 (HO unification scope checking) elpi OK restriction6 0.00 0.01 0.03 13.3M elpi -RUNNING rev (list reversal) elpi OK rev 0.18 0.00 0.20 46.3M elpi -RUNNING rev14 (list reversal) elpi OK rev14 0.22 0.01 0.26 45.7M elpi -RUNNING same_term (the == operator) elpi OK same_term 0.00 0.01 0.03 13.6M elpi -RUNNING self_assignment (Miller pattern unification) elpi OK self_assignment 0.00 0.01 0.03 13.3M elpi -RUNNING set (stdlib set) elpi OK set 2.84 0.01 2.88 17.2M elpi -RUNNING set_ho (stdlib set HO) elpi OK set_ho 0.67 0.00 0.70 58.6M elpi -RUNNING shorten (shortening names of a namespace) elpi OK shorten 0.00 0.00 0.03 13.6M elpi -RUNNING shorten-EOF (shortening names ends with the file) elpi OK shorten-EOF 0.00 0.00 0.03 13.6M elpi -RUNNING shorten_builtin (shortening a builtin) elpi OK shorten_builtin 0.00 0.01 0.03 13.6M elpi -RUNNING shorten_trie (shortening a trie of names) elpi OK shorten_trie 0.00 0.01 0.03 13.5M elpi -RUNNING spill_collision (spilling under 2 pi named the same) elpi OK spill_collision 0.00 0.00 0.03 13.5M elpi -RUNNING spill_pi (spilling under pi) elpi OK spill_pi 0.00 0.00 0.03 13.3M elpi -RUNNING spilling_and (spilling anonymous compound goal) elpi OK spilling_and 0.00 0.00 0.03 13.6M elpi -RUNNING spilling_impl (spilling implication) elpi OK spilling_impl 0.00 0.00 0.02 13.5M elpi -RUNNING spilling_in_list (spilling prem order) elpi OK spilling_in_list 0.00 0.00 0.03 13.6M elpi -RUNNING spilling_lam (spilling inside anonymous clause) elpi OK spilling_lam 0.00 0.00 0.03 13.6M elpi -RUNNING spilling_or (spilling prem order) elpi OK spilling_or 0.00 0.01 0.03 13.6M elpi -RUNNING trace-browser (trace generation) elpi OK trace-browser 0.00 0.01 0.03 13.6M elpi -RUNNING trace-browser-chr (trace generation) elpi OK trace-browser-chr 0.00 0.00 0.03 13.6M elpi -RUNNING trace-browser-cut (trace generation) elpi OK trace-browser-cut 0.00 0.01 0.03 13.4M elpi -RUNNING trace-browser-elab (trace elaboration) elpi-trace-elaborator OK trace-browser-elab 0.00 0.00 0.00 7.2M elpi-trace-elaborator -RUNNING trace-browser-elab-broken1 (recoverable broken trace elaboration) elpi-trace-elaborator OK trace-browser-elab-broken1 0.00 0.00 0.15 31.6M elpi-trace-elaborator -RUNNING trace-browser-elab-broken2 (fatal broken trace elaboration) elpi-trace-elaborator OK trace-browser-elab-broken2 0.00 0.00 0.00 0.0M elpi-trace-elaborator -RUNNING trace-browser-elab-chr (trace elaboration) elpi-trace-elaborator OK trace-browser-elab-chr 0.00 0.00 0.00 7.0M elpi-trace-elaborator -RUNNING trace-browser-elab-cut (trace elaboration) elpi-trace-elaborator OK trace-browser-elab-cut 0.00 0.00 0.00 7.1M elpi-trace-elaborator -RUNNING trace-browser-elab-findall (trace elaboration) elpi-trace-elaborator OK trace-browser-elab-findall 0.00 0.00 0.00 7.1M elpi-trace-elaborator -RUNNING trace-browser-findall (trace generation) elpi OK trace-browser-findall 0.00 0.00 0.03 13.6M elpi -RUNNING trace-browser-w (trace generation) elpi OK trace-browser-w 0.01 0.01 0.05 13.4M elpi -RUNNING trace-browser-w-elab (trace elaboration) elpi-trace-elaborator OK trace-browser-w-elab 0.00 0.00 0.02 7.8M elpi-trace-elaborator -RUNNING trace-browser2 (trace generation) elpi OK trace-browser2 0.00 0.00 0.03 13.4M elpi -RUNNING trace-browser2-elab (trace elaboration) elpi-trace-elaborator OK trace-browser2-elab 0.00 0.00 0.00 7.1M elpi-trace-elaborator -RUNNING trace-browser3 (trace generation) elpi OK trace-browser3 0.00 0.00 0.03 13.5M elpi -RUNNING trace-browser3-elab (trace elaboration) elpi-trace-elaborator OK trace-browser3-elab 0.00 0.00 0.00 7.1M elpi-trace-elaborator -RUNNING trace-browser4 (trace generation) elpi OK trace-browser4 0.00 0.00 0.03 13.6M elpi -RUNNING trace-browser4-elab (trace elaboration) elpi-trace-elaborator OK trace-browser4-elab 0.00 0.00 0.00 7.0M elpi-trace-elaborator -RUNNING trailing_comment (trailing comment) elpi OK trailing_comment 0.00 0.00 0.03 13.3M elpi -RUNNING trie (discrimination_tree on trees) elpi OK trie 0.00 0.01 0.03 13.4M elpi -RUNNING typeabbrv1 (type abbreviations) elpi OK typeabbrv1 0.00 0.00 0.02 13.3M elpi -RUNNING typeabbrv10 (type abbreviations and error messages) elpi OK typeabbrv10 0.00 0.00 0.00 0.0M elpi -RUNNING typeabbrv11 (type abbreviations and error messages) elpi OK typeabbrv11 0.00 0.00 0.00 0.0M elpi -RUNNING typeabbrv12 (type abbreviations and error messages) elpi OK typeabbrv12 0.00 0.00 0.00 0.0M elpi -RUNNING typeabbrv13 (type abbreviations) elpi OK typeabbrv13 0.00 0.00 0.02 13.5M elpi -RUNNING typeabbrv2 (type abbreviations) elpi OK typeabbrv2 0.00 0.00 0.00 0.0M elpi -RUNNING typeabbrv3 (type abbreviations) elpi OK typeabbrv3 0.00 0.00 0.03 13.4M elpi -RUNNING typeabbrv4 (type abbreviations) elpi OK typeabbrv4 0.00 0.00 0.02 13.4M elpi -RUNNING typeabbrv5 (type abbreviations) elpi OK typeabbrv5 0.00 0.00 0.00 0.0M elpi -RUNNING typeabbrv6 (type abbreviations) elpi OK typeabbrv6 0.00 0.00 0.00 0.0M elpi -RUNNING typeabbrv7 (type abbreviations) elpi OK typeabbrv7 0.00 0.00 0.02 13.5M elpi -RUNNING typeabbrv8 (type abbreviations) elpi OK typeabbrv8 0.00 0.01 0.03 13.4M elpi -RUNNING typeabbrv9 (type abbreviations) elpi OK typeabbrv9 0.00 0.00 0.03 13.4M elpi -RUNNING uminus (parsing and evaluation of unary minus) elpi OK uminus 0.00 0.00 0.03 13.4M elpi -RUNNING unix (unix APIs) elpi OK unix 0.01 0.00 0.03 13.6M elpi -RUNNING uvar_keyword (uvar kwd status at the meta level) elpi OK uvar_keyword 0.00 0.00 0.03 13.5M elpi -RUNNING var (var API) elpi OK var 0.00 0.01 0.03 13.4M elpi -RUNNING variadic_declare_constraints (declare_constraint takes keys of different types) elpi OK variadic_declare_constraints 0.00 0.00 0.02 13.5M elpi -RUNNING w (ELPI example at MLWS) elpi OK w 0.00 0.00 0.03 13.5M elpi -RUNNING zebra (standard Prolog benchmark) elpi /usr/bin/lua5.1 -/usr/bin/gnuplot -No entry for terminal type "unknown"; -using dumb terminal settings. -OK zebra 1.23 0.01 1.26 16.5M elpi ------------------------------------------------------------------- -Tests: 190 -Passed: 190 -Failed: 0 -make[2]: Leaving directory '/build/reproducible-path/elpi-2.0.7' -make[1]: Leaving directory '/build/reproducible-path/elpi-2.0.7' +dh: command-omitted: The call to "debian/rules override_dh_auto_test" was omitted due to "DEB_BUILD_OPTIONS=nocheck" create-stamp debian/debhelper-build-stamp dh_testroot -O--buildsystem=ocaml_dune dh_prep -O--buildsystem=ocaml_dune @@ -1643,11 +1411,11 @@ dh_md5sums -O--buildsystem=ocaml_dune dh_builddeb -O--buildsystem=ocaml_dune dpkg-deb: building package 'libelpi-ocaml' in '../libelpi-ocaml_2.0.7-2_amd64.deb'. -dpkg-deb: building package 'libelpi-ocaml-dbgsym' in '../libelpi-ocaml-dbgsym_2.0.7-2_amd64.deb'. dpkg-deb: building package 'libelpi-ocaml-dev' in '../libelpi-ocaml-dev_2.0.7-2_amd64.deb'. +dpkg-deb: building package 'elpi' in '../elpi_2.0.7-2_amd64.deb'. dpkg-deb: building package 'libelpi-ocaml-dev-dbgsym' in '../libelpi-ocaml-dev-dbgsym_2.0.7-2_amd64.deb'. +dpkg-deb: building package 'libelpi-ocaml-dbgsym' in '../libelpi-ocaml-dbgsym_2.0.7-2_amd64.deb'. dpkg-deb: building package 'elpi-dbgsym' in '../elpi-dbgsym_2.0.7-2_amd64.deb'. -dpkg-deb: building package 'elpi' in '../elpi_2.0.7-2_amd64.deb'. dpkg-genbuildinfo --build=binary -O../elpi_2.0.7-2_amd64.buildinfo dpkg-genchanges --build=binary -O../elpi_2.0.7-2_amd64.changes dpkg-genchanges: info: binary-only upload (no source code included) @@ -1655,12 +1423,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/1492099/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/1492099/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/988765 and its subdirectories -I: Current time: Sun Dec 6 19:38:39 -12 2026 -I: pbuilder-time-stamp: 1796629119 +I: removing directory /srv/workspace/pbuilder/1492099 and its subdirectories +I: Current time: Tue Nov 4 15:18:55 +14 2025 +I: pbuilder-time-stamp: 1762219135