Diff of the two buildlogs: -- --- b1/build.log 2025-07-24 16:39:22.998398460 +0000 +++ b2/build.log 2025-07-24 16:48:54.083143734 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Wed Aug 26 10:52:33 -12 2026 -I: pbuilder-time-stamp: 1787784753 +I: Current time: Fri Jul 25 06:39:24 +14 2025 +I: pbuilder-time-stamp: 1753375164 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/trixie-reproducible-base.tgz] I: copying local configuration @@ -26,52 +26,84 @@ dpkg-source: info: applying function_representation I: using fakeroot in build. I: Installing the build-deps -I: user script /srv/workspace/pbuilder/2599294/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/1192208/tmp/hooks/D01_modify_environment starting +debug: Running on ionos1-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 Jul 24 16:39 /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/1192208/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/1192208/tmp/hooks/D02_print_environment starting I: set - BUILDDIR='/build/reproducible-path' - BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' - BUILDUSERNAME='pbuilder1' - BUILD_ARCH='amd64' - DEBIAN_FRONTEND='noninteractive' - DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=42 ' - DISTRIBUTION='trixie' - HOME='/root' - HOST_ARCH='amd64' + BASH=/bin/sh + BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:globskipdots:hostcomplete:interactive_comments:patsub_replacement:progcomp:promptvars:sourcepath + BASH_ALIASES=() + BASH_ARGC=() + BASH_ARGV=() + BASH_CMDS=() + BASH_LINENO=([0]="12" [1]="0") + BASH_LOADABLES_PATH=/usr/local/lib/bash:/usr/lib/bash:/opt/local/lib/bash:/usr/pkg/lib/bash:/opt/pkg/lib/bash:. + BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment") + BASH_VERSINFO=([0]="5" [1]="2" [2]="37" [3]="1" [4]="release" [5]="x86_64-pc-linux-gnu") + BASH_VERSION='5.2.37(1)-release' + BUILDDIR=/build/reproducible-path + BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other' + BUILDUSERNAME=pbuilder2 + BUILD_ARCH=amd64 + DEBIAN_FRONTEND=noninteractive + DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=40 ' + DIRSTACK=() + DISTRIBUTION=trixie + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/root + HOSTNAME=i-capture-the-hostname + HOSTTYPE=x86_64 + HOST_ARCH=amd64 IFS=' ' - INVOCATION_ID='02d04e23b08a47c2b423feb984bcc7b5' - 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='2599294' - PS1='# ' - PS2='> ' + INVOCATION_ID=e1cd5e5d84d64ac88ce2d1b75a4f8ccb + 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=1192208 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.NtJiv9J1/pbuilderrc_oDq1 --distribution trixie --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/trixie-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.NtJiv9J1/b1 --logfile b1/build.log hol88_2.02.19940316dfsg-6.dsc' - SUDO_GID='111' - SUDO_UID='106' - SUDO_USER='jenkins' - TERM='unknown' - TZ='/usr/share/zoneinfo/Etc/GMT+12' - USER='root' - _='/usr/bin/systemd-run' - http_proxy='http://213.165.73.152:3128' + PWD=/ + SHELL=/bin/bash + SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix + SHLVL=3 + SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/r-b-build.NtJiv9J1/pbuilderrc_IyMr --distribution trixie --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/trixie-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.NtJiv9J1/b2 --logfile b2/build.log hol88_2.02.19940316dfsg-6.dsc' + SUDO_GID=110 + SUDO_UID=105 + SUDO_USER=jenkins + TERM=unknown + TZ=/usr/share/zoneinfo/Etc/GMT-14 + UID=0 + USER=root + _='I: set' + http_proxy=http://46.16.76.132:3128 I: uname -a - Linux ionos15-amd64 6.12.33+deb12-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.12.33-1~bpo12+1 (2025-07-09) x86_64 GNU/Linux + Linux i-capture-the-hostname 6.1.0-37-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.140-1 (2025-05-22) x86_64 GNU/Linux I: ls -l /bin - lrwxrwxrwx 1 root root 7 May 12 2025 /bin -> usr/bin -I: user script /srv/workspace/pbuilder/2599294/tmp/hooks/D02_print_environment finished + lrwxrwxrwx 1 root root 7 May 12 19:25 /bin -> usr/bin +I: user script /srv/workspace/pbuilder/1192208/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -205,7 +237,7 @@ Get: 92 http://deb.debian.org/debian trixie/main amd64 xdg-utils all 1.2.1-2 [75.8 kB] Get: 93 http://deb.debian.org/debian trixie/main amd64 texlive-base all 2024.20250309-1 [23.1 MB] Get: 94 http://deb.debian.org/debian trixie/main amd64 texlive-latex-base all 2024.20250309-1 [1294 kB] -Fetched 136 MB in 11s (12.1 MB/s) +Fetched 136 MB in 2s (66.7 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 ... 19850 files and directories currently installed.) @@ -621,7 +653,11 @@ fakeroot is already the newest version (1.37.1.1-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: Building the package -I: Running cd /build/reproducible-path/hol88-2.02.19940316dfsg/ && 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 > ../hol88_2.02.19940316dfsg-6_source.changes +I: user script /srv/workspace/pbuilder/1192208/tmp/hooks/A99_set_merged_usr starting +Not re-configuring usrmerge for trixie +I: user script /srv/workspace/pbuilder/1192208/tmp/hooks/A99_set_merged_usr finished +hostname: Name or service not known +I: Running cd /build/reproducible-path/hol88-2.02.19940316dfsg/ && 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 > ../hol88_2.02.19940316dfsg-6_source.changes dpkg-buildpackage: info: source package hol88 dpkg-buildpackage: info: source version 2.02.19940316dfsg-6 dpkg-buildpackage: info: source distribution unstable @@ -875,21 +911,6 @@ make[2]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Manual/Covers' make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Manual' [ ! -f Makefile ] || for i in $(find Library -name Manual); do /usr/bin/make -C $i clean ; done -make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/prettyp/Manual' -rm -f *.dvi *.aux *.toc *.log *.idx *.ilg -make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/prettyp/Manual' -make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/parser/Manual' -rm -f *.dvi *.aux *.toc *.log *.idx *.ilg -make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/parser/Manual' -make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/taut/Manual' -rm -f *.dvi *.aux *.toc *.log *.idx *.ilg -make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/taut/Manual' -make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/unwind/Manual' -rm -f *.dvi *.aux *.toc *.log *.idx *.ilg -make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/unwind/Manual' -make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/finite_sets/Manual' -rm -f *.dvi *.aux *.toc *.log *.idx *.ilg -make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/finite_sets/Manual' make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/wellorder/Manual' \ rm -f *.dvi *.aux *.toc *.log *.idx *.ilg entries.tex; \ @@ -897,6 +918,12 @@ printf '\\mbox{}' >>index.tex; \ printf '\\end{theindex}' >>index.tex make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/wellorder/Manual' +make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/string/Manual' +rm -f *.dvi *.aux *.toc *.log *.idx *.ilg +make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/string/Manual' +make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/word/Manual' +rm -f *.dvi *.aux *.toc *.log *.idx *.ilg +make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/word/Manual' make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/abs_theory/Manual' \ rm -f *.dvi *.aux *.toc *.log *.idx *.ilg entries.tex; \ @@ -904,49 +931,43 @@ printf '\\mbox{}' >>index.tex; \ printf '\\end{theindex}' >>index.tex make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/abs_theory/Manual' -make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/arith/Manual' +make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/reals/Manual' +\ + rm -f *.dvi *.aux *.toc *.log *.idx *.ilg; \ + printf '\\begin{theindex}' >index.tex; \ + printf '\\mbox{}' >>index.tex; \ + printf '\\end{theindex}' >>index.tex +make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/reals/Manual' +make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/res_quan/Manual' rm -f *.dvi *.aux *.toc *.log *.idx *.ilg -make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/arith/Manual' +make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/res_quan/Manual' +make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/prettyp/Manual' +rm -f *.dvi *.aux *.toc *.log *.idx *.ilg +make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/prettyp/Manual' +make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/window/Manual' +rm -f *.dvi *.aux *.toc *.log *.idx *.ilg entries.tex *.bak; \ +printf '\\begin{theindex}' >index.tex; \ +printf '\\mbox{}' >>index.tex; \ +printf '\\end{theindex}' >>index.tex +make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/window/Manual' make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/pair/Manual' rm -f *.dvi *.aux *.toc *.log *.idx *.ilg entries.tex theorems.tex; \ printf '\\begin{theindex}' >index.tex; \ printf '\\mbox{}' >>index.tex; \ printf '\\end{theindex}' >>index.tex make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/pair/Manual' -make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/trs/Manual' -rm -f *.dvi *.aux *.toc *.log *.idx *.ilg -make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/trs/Manual' -make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/word/Manual' -rm -f *.dvi *.aux *.toc *.log *.idx *.ilg -make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/word/Manual' make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/sets/Manual' rm -f *.dvi *.aux *.toc *.log *.idx *.ilg make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/sets/Manual' -make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/res_quan/Manual' +make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/unwind/Manual' rm -f *.dvi *.aux *.toc *.log *.idx *.ilg -make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/res_quan/Manual' +make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/unwind/Manual' +make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/taut/Manual' +rm -f *.dvi *.aux *.toc *.log *.idx *.ilg +make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/taut/Manual' make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/latex-hol/Manual' rm -f *.dvi *.aux *.toc *.log *.idx *.ilg make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/latex-hol/Manual' -make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/pred_sets/Manual' -rm -f *.dvi *.aux *.toc *.log *.idx *.ilg -make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/pred_sets/Manual' -make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/reals/Manual' -\ - rm -f *.dvi *.aux *.toc *.log *.idx *.ilg; \ - printf '\\begin{theindex}' >index.tex; \ - printf '\\mbox{}' >>index.tex; \ - printf '\\end{theindex}' >>index.tex -make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/reals/Manual' -make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/record_proof/Manual' -rm -f *.dvi *.aux *.toc *.log *.idx *.ilg -make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/record_proof/Manual' -make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/string/Manual' -rm -f *.dvi *.aux *.toc *.log *.idx *.ilg -make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/string/Manual' -make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/more_arithmetic/Manual' -rm -f *.dvi *.aux *.toc *.log *.idx *.ilg -make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/more_arithmetic/Manual' make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/numeral/Manual' \ rm -f *.dvi *.aux *.toc *.log *.idx *.ilg entries.tex; \ @@ -954,6 +975,15 @@ printf '\\mbox{}' >>index.tex; \ printf '\\end{theindex}' >>index.tex make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/numeral/Manual' +make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/trs/Manual' +rm -f *.dvi *.aux *.toc *.log *.idx *.ilg +make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/trs/Manual' +make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/more_arithmetic/Manual' +rm -f *.dvi *.aux *.toc *.log *.idx *.ilg +make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/more_arithmetic/Manual' +make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/parser/Manual' +rm -f *.dvi *.aux *.toc *.log *.idx *.ilg +make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/parser/Manual' make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/reduce/Manual' \ rm -f *.dvi *.aux *.toc *.log *.idx *.ilg entries.tex; \ @@ -961,12 +991,18 @@ printf '\\mbox{}' >>index.tex; \ printf '\\end{theindex}' >>index.tex make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/reduce/Manual' -make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/window/Manual' -rm -f *.dvi *.aux *.toc *.log *.idx *.ilg entries.tex *.bak; \ -printf '\\begin{theindex}' >index.tex; \ -printf '\\mbox{}' >>index.tex; \ -printf '\\end{theindex}' >>index.tex -make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/window/Manual' +make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/arith/Manual' +rm -f *.dvi *.aux *.toc *.log *.idx *.ilg +make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/arith/Manual' +make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/record_proof/Manual' +rm -f *.dvi *.aux *.toc *.log *.idx *.ilg +make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/record_proof/Manual' +make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/finite_sets/Manual' +rm -f *.dvi *.aux *.toc *.log *.idx *.ilg +make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/finite_sets/Manual' +make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/pred_sets/Manual' +rm -f *.dvi *.aux *.toc *.log *.idx *.ilg +make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/pred_sets/Manual' find -name X.tex -exec rm -rf {} \; dh_clean -X./ml/site.ml.orig -X./contrib/tooltool/Makefile.orig \ -X./contrib/tooltool/events.c.orig -X./contrib/tooltool/func_fix.c.orig \ @@ -1030,7 +1066,7 @@ >PATH=$(pwd):$PATH /usr/bin/make all make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg' date -Wed Aug 26 22:54:51 2026 +Thu Jul 24 16:41:40 2025 /usr/bin/make hol make[2]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg' if [ cl = cl ]; then\ @@ -2307,7 +2343,7 @@ NIL > -HOL-LCF version 2.02 (GCL) created 26/8/26 +HOL-LCF version 2.02 (GCL) created 24/7/25 # mem = - : (* -> * list -> bool) @@ -2476,7 +2512,7 @@ NIL > -HOL-LCF version 2.02 (GCL) created 26/8/26 +HOL-LCF version 2.02 (GCL) created 24/7/25 #;; start address for /build/reproducible-path/hol88-2.02.19940316dfsg/ml/ml-curry_ml.o 0x27254a0 .............() : void @@ -2667,7 +2703,7 @@ NIL > -HOL-LCF version 2.02 (GCL) created 26/8/26 +HOL-LCF version 2.02 (GCL) created 24/7/25 #;; start address for /build/reproducible-path/hol88-2.02.19940316dfsg/ml/ml-curry_ml.o 0x27254a0 .............() : void @@ -2892,7 +2928,7 @@ NIL > -HOL-LCF version 2.02 (GCL) created 26/8/26 +HOL-LCF version 2.02 (GCL) created 24/7/25 # concat = - : (string -> string -> string) @@ -3033,7 +3069,7 @@ ;; Finished loading "lisp/f-ol-net" ;; Finished loading "lisp/mk-hol-lcf" - version 2.02 (GCL) created 26/8/26 + version 2.02 (GCL) created 24/7/25 #;; start address for /build/reproducible-path/hol88-2.02.19940316dfsg/ml/site_ml.o 0x27254a0 ...() : void @@ -3382,7 +3418,7 @@ /build/reproducible-path/hol88-2.02.19940316dfsg/hol-lcf < /build/reproducible-path/hol88-2.02.19940316dfsg/theories/mk_PPLAMB.ml;\ cd /build/reproducible-path/hol88-2.02.19940316dfsg -HOL-LCF version 2.02 (GCL) created 26/8/26 +HOL-LCF version 2.02 (GCL) created 24/7/25 ###########################() : void @@ -3395,7 +3431,7 @@ /build/reproducible-path/hol88-2.02.19940316dfsg/hol-lcf < /build/reproducible-path/hol88-2.02.19940316dfsg/theories/mk_bool.ml;\ cd /build/reproducible-path/hol88-2.02.19940316dfsg -HOL-LCF version 2.02 (GCL) created 26/8/26 +HOL-LCF version 2.02 (GCL) created 24/7/25 ################################################################################################() : void @@ -3540,7 +3576,7 @@ /build/reproducible-path/hol88-2.02.19940316dfsg/hol-lcf < /build/reproducible-path/hol88-2.02.19940316dfsg/theories/mk_ind.ml;\ cd /build/reproducible-path/hol88-2.02.19940316dfsg -HOL-LCF version 2.02 (GCL) created 26/8/26 +HOL-LCF version 2.02 (GCL) created 24/7/25 ############################() : void @@ -3583,7 +3619,7 @@ /build/reproducible-path/hol88-2.02.19940316dfsg/hol-lcf < /build/reproducible-path/hol88-2.02.19940316dfsg/theories/mk_BASIC-HOL.ml;\ cd /build/reproducible-path/hol88-2.02.19940316dfsg -HOL-LCF version 2.02 (GCL) created 26/8/26 +HOL-LCF version 2.02 (GCL) created 24/7/25 ############################Theory ind loaded () : void @@ -3620,7 +3656,7 @@ 'quit();;'\ | hol-lcf -HOL-LCF version 2.02 (GCL) created 26/8/26 +HOL-LCF version 2.02 (GCL) created 24/7/25 # map2 = - : (((* # **) -> ***) -> (* list # ** list) -> *** list) @@ -3661,7 +3697,7 @@ 'quit();;'\ | hol-lcf -HOL-LCF version 2.02 (GCL) created 26/8/26 +HOL-LCF version 2.02 (GCL) created 24/7/25 #() : void @@ -4063,7 +4099,7 @@ 'quit();;'\ | hol-lcf -HOL-LCF version 2.02 (GCL) created 26/8/26 +HOL-LCF version 2.02 (GCL) created 24/7/25 #() : void @@ -4131,7 +4167,7 @@ 'quit();;'\ | hol-lcf -HOL-LCF version 2.02 (GCL) created 26/8/26 +HOL-LCF version 2.02 (GCL) created 24/7/25 #() : void @@ -4336,7 +4372,7 @@ 'quit();;'\ | hol-lcf -HOL-LCF version 2.02 (GCL) created 26/8/26 +HOL-LCF version 2.02 (GCL) created 24/7/25 #() : void @@ -4460,7 +4496,7 @@ 'quit();;'\ | hol-lcf -HOL-LCF version 2.02 (GCL) created 26/8/26 +HOL-LCF version 2.02 (GCL) created 24/7/25 #() : void @@ -4546,7 +4582,7 @@ 'quit();;'\ | hol-lcf -HOL-LCF version 2.02 (GCL) created 26/8/26 +HOL-LCF version 2.02 (GCL) created 24/7/25 #() : void @@ -4639,7 +4675,7 @@ 'quit();;'\ | hol-lcf -HOL-LCF version 2.02 (GCL) created 26/8/26 +HOL-LCF version 2.02 (GCL) created 24/7/25 #() : void @@ -4708,7 +4744,7 @@ 'quit();;'\ | hol-lcf -HOL-LCF version 2.02 (GCL) created 26/8/26 +HOL-LCF version 2.02 (GCL) created 24/7/25 #() : void @@ -4813,7 +4849,7 @@ 'quit();;'\ | hol-lcf -HOL-LCF version 2.02 (GCL) created 26/8/26 +HOL-LCF version 2.02 (GCL) created 24/7/25 #() : void @@ -5048,7 +5084,7 @@ 'quit();;'\ | hol-lcf -HOL-LCF version 2.02 (GCL) created 26/8/26 +HOL-LCF version 2.02 (GCL) created 24/7/25 #() : void @@ -5074,7 +5110,7 @@ 'quit();;'\ | hol-lcf -HOL-LCF version 2.02 (GCL) created 26/8/26 +HOL-LCF version 2.02 (GCL) created 24/7/25 #() : void @@ -5202,7 +5238,7 @@ 'quit();;'\ | hol-lcf -HOL-LCF version 2.02 (GCL) created 26/8/26 +HOL-LCF version 2.02 (GCL) created 24/7/25 #() : void @@ -5250,7 +5286,7 @@ 'quit();;'\ | hol-lcf -HOL-LCF version 2.02 (GCL) created 26/8/26 +HOL-LCF version 2.02 (GCL) created 24/7/25 #() : void @@ -5317,7 +5353,7 @@ 'quit();;'\ | hol-lcf -HOL-LCF version 2.02 (GCL) created 26/8/26 +HOL-LCF version 2.02 (GCL) created 24/7/25 #() : void @@ -5376,7 +5412,7 @@ 'quit();;'\ | hol-lcf -HOL-LCF version 2.02 (GCL) created 26/8/26 +HOL-LCF version 2.02 (GCL) created 24/7/25 #() : void @@ -5432,7 +5468,7 @@ 'lisp `(setup)`;;' >foo1 echo 'lisp `(throw (quote eof) t)`;; #+native-reloc(progn (with-open-file (s "foo1") (let ((*standard-input* s)) (tml)))(ml-save "basic-hol")) #-native-reloc(let ((si::*collect-binary-modules* t)(si::*binary-modules* (with-open-file (s "bm.l") (read s)))) (with-open-file (s "foo1") (let ((*standard-input* s)) (tml)))(compiler::link (remove-duplicates si::*binary-modules* :test (function equal)) "basic-hol" "(progn (load \"debian/gcl_patch.l\")(load \"foo\")(with-open-file (s \"foo1\") (let ((*standard-input* s)) (tml)))(ml-save \"basic-hol\")(quit))" "" nil)(with-open-file (s "bm.l" :direction :output) (prin1 si::*binary-modules* s))(quit))`;;' | hol-lcf -HOL-LCF version 2.02 (GCL) created 26/8/26 +HOL-LCF version 2.02 (GCL) created 24/7/25 #GCL (GNU Common Lisp) 2.7.1 Thu Apr 10 09:38:27 PM EDT 2025 CLtL1 git: Version_2_7_2ore3 Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl) @@ -5444,7 +5480,7 @@ Temporary directory for compiler files set to /tmp/ > -HOL-LCF version 2.02 (GCL) created 26/8/26 +HOL-LCF version 2.02 (GCL) created 24/7/25 #() : void @@ -5496,7 +5532,7 @@ /build/reproducible-path/hol88-2.02.19940316dfsg/basic-hol < /build/reproducible-path/hol88-2.02.19940316dfsg/theories/mk_combin.ml;\ cd /build/reproducible-path/hol88-2.02.19940316dfsg -BASIC-HOL version 2.02 (GCL) created 26/8/26 +BASIC-HOL version 2.02 (GCL) created 24/7/25 ##########################() : void @@ -5527,7 +5563,7 @@ /build/reproducible-path/hol88-2.02.19940316dfsg/basic-hol < /build/reproducible-path/hol88-2.02.19940316dfsg/theories/mk_num.ml;\ cd /build/reproducible-path/hol88-2.02.19940316dfsg -BASIC-HOL version 2.02 (GCL) created 26/8/26 +BASIC-HOL version 2.02 (GCL) created 24/7/25 ##############################() : void @@ -5614,7 +5650,7 @@ /build/reproducible-path/hol88-2.02.19940316dfsg/basic-hol < /build/reproducible-path/hol88-2.02.19940316dfsg/theories/mk_prim_rec.ml;\ cd /build/reproducible-path/hol88-2.02.19940316dfsg -BASIC-HOL version 2.02 (GCL) created 26/8/26 +BASIC-HOL version 2.02 (GCL) created 24/7/25 #######################################################################() : void @@ -5767,7 +5803,7 @@ /build/reproducible-path/hol88-2.02.19940316dfsg/basic-hol < /build/reproducible-path/hol88-2.02.19940316dfsg/theories/mk_fun.ml;\ cd /build/reproducible-path/hol88-2.02.19940316dfsg -BASIC-HOL version 2.02 (GCL) created 26/8/26 +BASIC-HOL version 2.02 (GCL) created 24/7/25 ###########################() : void @@ -5802,7 +5838,7 @@ /build/reproducible-path/hol88-2.02.19940316dfsg/basic-hol < /build/reproducible-path/hol88-2.02.19940316dfsg/theories/mk_arith_thms.ml;\ cd /build/reproducible-path/hol88-2.02.19940316dfsg -BASIC-HOL version 2.02 (GCL) created 26/8/26 +BASIC-HOL version 2.02 (GCL) created 24/7/25 #############################() : void @@ -5863,7 +5899,7 @@ #################() : void ## -BASIC-HOL version 2.02 (GCL) created 26/8/26 +BASIC-HOL version 2.02 (GCL) created 24/7/25 ###########################Theory arithmetic loaded () : void @@ -6358,7 +6394,7 @@ /build/reproducible-path/hol88-2.02.19940316dfsg/basic-hol < /build/reproducible-path/hol88-2.02.19940316dfsg/theories/mk_list_thms.ml;\ cd /build/reproducible-path/hol88-2.02.19940316dfsg -BASIC-HOL version 2.02 (GCL) created 26/8/26 +BASIC-HOL version 2.02 (GCL) created 24/7/25 ##################################() : void @@ -6505,7 +6541,7 @@ |- !x f. ?! fn. (fn[] = x) /\ (!h t. fn(CONS h t) = f(fn t)h t) ## -BASIC-HOL version 2.02 (GCL) created 26/8/26 +BASIC-HOL version 2.02 (GCL) created 24/7/25 #################################Theory list loaded () : void @@ -6844,7 +6880,7 @@ ##() : void ## -BASIC-HOL version 2.02 (GCL) created 26/8/26 +BASIC-HOL version 2.02 (GCL) created 24/7/25 ###############################Theory list loaded () : void @@ -8341,7 +8377,7 @@ /build/reproducible-path/hol88-2.02.19940316dfsg/basic-hol < /build/reproducible-path/hol88-2.02.19940316dfsg/theories/mk_tree.ml;\ cd /build/reproducible-path/hol88-2.02.19940316dfsg -BASIC-HOL version 2.02 (GCL) created 26/8/26 +BASIC-HOL version 2.02 (GCL) created 24/7/25 #############################() : void @@ -8725,7 +8761,7 @@ /build/reproducible-path/hol88-2.02.19940316dfsg/basic-hol < /build/reproducible-path/hol88-2.02.19940316dfsg/theories/mk_ltree.ml;\ cd /build/reproducible-path/hol88-2.02.19940316dfsg -BASIC-HOL version 2.02 (GCL) created 26/8/26 +BASIC-HOL version 2.02 (GCL) created 24/7/25 ############################() : void @@ -9023,7 +9059,7 @@ /build/reproducible-path/hol88-2.02.19940316dfsg/basic-hol < /build/reproducible-path/hol88-2.02.19940316dfsg/theories/mk_tydefs.ml;\ cd /build/reproducible-path/hol88-2.02.19940316dfsg -BASIC-HOL version 2.02 (GCL) created 26/8/26 +BASIC-HOL version 2.02 (GCL) created 24/7/25 ############################() : void @@ -9163,7 +9199,7 @@ /build/reproducible-path/hol88-2.02.19940316dfsg/basic-hol < /build/reproducible-path/hol88-2.02.19940316dfsg/theories/mk_sum.ml;\ cd /build/reproducible-path/hol88-2.02.19940316dfsg -BASIC-HOL version 2.02 (GCL) created 26/8/26 +BASIC-HOL version 2.02 (GCL) created 24/7/25 ############################################() : void @@ -9260,7 +9296,7 @@ /build/reproducible-path/hol88-2.02.19940316dfsg/basic-hol < /build/reproducible-path/hol88-2.02.19940316dfsg/theories/mk_one.ml;\ cd /build/reproducible-path/hol88-2.02.19940316dfsg -BASIC-HOL version 2.02 (GCL) created 26/8/26 +BASIC-HOL version 2.02 (GCL) created 24/7/25 ##################################() : void @@ -9290,7 +9326,7 @@ | /build/reproducible-path/hol88-2.02.19940316dfsg/basic-hol;\ cd /build/reproducible-path/hol88-2.02.19940316dfsg -BASIC-HOL version 2.02 (GCL) created 26/8/26 +BASIC-HOL version 2.02 (GCL) created 24/7/25 #() : void @@ -9307,7 +9343,7 @@ 'quit();;'\ | basic-hol -BASIC-HOL version 2.02 (GCL) created 26/8/26 +BASIC-HOL version 2.02 (GCL) created 24/7/25 #Theory num loaded () : void @@ -9326,7 +9362,7 @@ 'quit();;'\ | basic-hol -BASIC-HOL version 2.02 (GCL) created 26/8/26 +BASIC-HOL version 2.02 (GCL) created 24/7/25 #() : void @@ -9483,7 +9519,7 @@ 'quit();;'\ | basic-hol -BASIC-HOL version 2.02 (GCL) created 26/8/26 +BASIC-HOL version 2.02 (GCL) created 24/7/25 # @@ -9521,7 +9557,7 @@ 'quit();;'\ | basic-hol -BASIC-HOL version 2.02 (GCL) created 26/8/26 +BASIC-HOL version 2.02 (GCL) created 24/7/25 # @@ -9555,7 +9591,7 @@ 'quit();;'\ | basic-hol -BASIC-HOL version 2.02 (GCL) created 26/8/26 +BASIC-HOL version 2.02 (GCL) created 24/7/25 #() : void @@ -9640,7 +9676,7 @@ 'quit();;'\ | basic-hol -BASIC-HOL version 2.02 (GCL) created 26/8/26 +BASIC-HOL version 2.02 (GCL) created 24/7/25 #() : void @@ -9681,7 +9717,7 @@ 'quit();;'\ | basic-hol -BASIC-HOL version 2.02 (GCL) created 26/8/26 +BASIC-HOL version 2.02 (GCL) created 24/7/25 #() : void @@ -9865,7 +9901,7 @@ 'quit();;'\ | basic-hol -BASIC-HOL version 2.02 (GCL) created 26/8/26 +BASIC-HOL version 2.02 (GCL) created 24/7/25 # define_load_lib_function = - : (string list -> void -> void) @@ -9941,7 +9977,7 @@ 'lisp `(setup)`;;' >foo2 echo 'lisp `(throw (quote eof) t)`;; #+native-reloc(progn (with-open-file (s "foo2") (let ((*standard-input* s)) (tml)))(ml-save "hol")) #-native-reloc(let ((si::*collect-binary-modules* t)(si::*binary-modules* (with-open-file (s "bm.l") (read s)))) (with-open-file (s "foo2") (let ((*standard-input* s)) (tml)))(compiler::link (remove-duplicates si::*binary-modules* :test (function equal)) "hol" "(progn (load \"debian/gcl_patch.l\")(load \"foo\")(with-open-file (s \"foo1\") (let ((*standard-input* s)) (tml)))(with-open-file (s \"foo2\") (let ((*standard-input* s)) (tml)))(ml-save \"hol\")(quit))" "" nil)(quit))`;;' | basic-hol -BASIC-HOL version 2.02 (GCL) created 26/8/26 +BASIC-HOL version 2.02 (GCL) created 24/7/25 #GCL (GNU Common Lisp) 2.7.1 Thu Apr 10 09:38:27 PM EDT 2025 CLtL1 git: Version_2_7_2ore3 Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl) @@ -9953,7 +9989,7 @@ Temporary directory for compiler files set to /tmp/ > -BASIC-HOL version 2.02 (GCL) created 26/8/26 +BASIC-HOL version 2.02 (GCL) created 24/7/25 #() : void @@ -10017,11 +10053,11 @@ =======> hol88 version 2.02 (GCL) made make[2]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg' date -Wed Aug 26 22:56:48 2026 +Thu Jul 24 16:43:21 2025 /usr/bin/make library make[2]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg' date -Wed Aug 26 22:56:48 2026 +Thu Jul 24 16:43:21 2025 (cd /build/reproducible-path/hol88-2.02.19940316dfsg/Library; /usr/bin/make LispType=cl\ Obj=o\ Lisp=gcl\ @@ -10044,7 +10080,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -10128,7 +10164,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -10234,7 +10270,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -10984,7 +11020,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -11007,7 +11043,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -11050,7 +11086,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -11086,7 +11122,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -11138,7 +11174,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -11170,7 +11206,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -11208,7 +11244,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -11236,7 +11272,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -11313,7 +11349,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -11335,7 +11371,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -11389,7 +11425,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -11438,7 +11474,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -11589,7 +11625,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -11633,7 +11669,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -11708,7 +11744,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -11758,7 +11794,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -11821,7 +11857,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -11874,7 +11910,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -11920,7 +11956,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -12008,7 +12044,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -12046,7 +12082,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -12107,7 +12143,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -12171,7 +12207,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -12197,7 +12233,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -12222,7 +12258,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -12261,7 +12297,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -12337,7 +12373,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -13074,7 +13110,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -13097,7 +13133,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -13140,7 +13176,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -13175,7 +13211,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -13216,7 +13252,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -13279,7 +13315,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -13302,7 +13338,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -13327,7 +13363,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -13354,7 +13390,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -13390,7 +13426,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -13922,7 +13958,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -13945,7 +13981,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -13979,7 +14015,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -14034,7 +14070,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -14125,7 +14161,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -14294,7 +14330,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -14527,7 +14563,7 @@ l(ms z,m) /\ l(ms z,n) ==> (f z = g z) -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 1165 WO_RECURSE_LOCAL = @@ -14646,7 +14682,7 @@ |- !l m. woset l ==> (m inseg l = (m = l) \/ (?a. fl l a /\ (m = linseg l a))) -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 1172 EXTEND_FL = @@ -14689,7 +14725,7 @@ Intermediate theorems generated: 2338 ORDINAL_UNION = |- !P. (!l. P l ==> ordinal l) ==> ordinal(Union P) -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 2015 ORDINAL_UNION_LEMMA = @@ -14710,7 +14746,7 @@ WO_FL_RESTRICT = |- !l. woset l ==> (!P. fl(\(x,y). P x /\ P y /\ l(x,y))x = P x /\ fl l x) -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 392 WO = |- !P. ?l. woset l /\ (fl l = P) @@ -14766,7 +14802,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -14897,7 +14933,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -14989,7 +15025,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -15081,12 +15117,12 @@ Run time: 0.1s Intermediate theorems generated: 6013 -===> abs_theory rebuilt on Wed Aug 26 22:57:36 2026 +===> abs_theory rebuilt on Thu Jul 24 16:44:00 2025 Making abs_theory.ml =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -15259,7 +15295,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -15563,7 +15599,7 @@ Intermediate theorems generated: 599 TRAT_SUCINT_0 = |- !n. (trat_sucint n) trat_eq (n,0) -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 233 Theorem LESS_ADD_NONZERO autoloading from theory `arithmetic` ... @@ -15696,7 +15732,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -16006,7 +16042,7 @@ Intermediate theorems generated: 37 CUT_DOWN = |- !X x y. cut X x /\ y hrat_lt x ==> cut X y -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 49 CUT_UP = |- !X x. cut X x ==> (?y. cut X y /\ x hrat_lt y) @@ -16018,7 +16054,7 @@ Intermediate theorems generated: 102 CUT_STRADDLE = |- !X x y. cut X x /\ ~cut X y ==> x hrat_lt y -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 137 Theorem LESS_SUC_REFL autoloading from theory `prim_rec` ... @@ -16131,7 +16167,7 @@ Intermediate theorems generated: 935 HREAL_MUL_LID = |- !X. hreal_1 hreal_mul X = X -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 278 HREAL_MUL_LINV = |- !X. (hreal_inv X) hreal_mul X = hreal_1 @@ -16206,7 +16242,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -16546,7 +16582,7 @@ TREAL_LT_TRANS = |- !x y z. x treal_lt y /\ y treal_lt z ==> x treal_lt z -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 1063 TREAL_LT_ADD = @@ -16636,7 +16672,7 @@ TREAL_INV_WELLDEF = |- !x1 x2. x1 treal_eq x2 ==> (treal_inv x1) treal_eq (treal_inv x2) -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 2545 REAL_10 = |- ~(r1 = r0) @@ -16665,7 +16701,7 @@ (!r. r0 real_lt r = (real_of_hreal(hreal_of_real r) = r)) REAL_ISO = |- !h i. h hreal_lt i ==> (real_of_hreal h) real_lt (real_of_hreal i) -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 7766 REAL_ISO_EQ = @@ -16735,7 +16771,7 @@ |- !x y z. y real_lt z ==> (x real_add y) real_lt (x real_add z); |- !x y. r0 real_lt x /\ r0 real_lt y ==> r0 real_lt (x real_mul y)] : thm list -Run time: 0.0s +Run time: 0.1s () : void Run time: 0.0s @@ -16744,7 +16780,7 @@ File realax.ml loaded () : void -Run time: 0.2s +Run time: 0.3s Intermediate theorems generated: 26795 #\ @@ -16754,7 +16790,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -17122,7 +17158,7 @@ Intermediate theorems generated: 79 REAL_LE_NEGTOTAL = |- !x. (& 0) <= x \/ (& 0) <= (-- x) -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 73 REAL_LE_MUL = |- !x y. (& 0) <= x /\ (& 0) <= y ==> (& 0) <= (x * y) @@ -17302,7 +17338,7 @@ Intermediate theorems generated: 18 REAL_NEG_INV = |- !x. ~(x = & 0) ==> (--(inv x) = inv(-- x)) -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 71 REAL_INV_1OVER = |- !x. inv x = (& 1) / x @@ -17444,7 +17480,7 @@ Intermediate theorems generated: 268 REAL_LT_FRACTION = |- !n d. 1 num_lt n ==> ((d / (& n)) < d = (& 0) < d) -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 184 Theorem NOT_SUC autoloading from theory `num` ... @@ -17513,7 +17549,7 @@ Intermediate theorems generated: 38 REAL_LT_NEG = |- !x y. (-- x) < (-- y) = y < x -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 79 REAL_LE_NEG = |- !x y. (-- x) <= (-- y) = y <= x @@ -17580,7 +17616,7 @@ Intermediate theorems generated: 24 REAL_EQ_SUB_RADD = |- !x y z. (x - y = z) = (x = z + y) -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 17 REAL_INV_MUL = @@ -17639,7 +17675,7 @@ REAL_LE_LMUL_IMP = |- !x y z. (& 0) <= x /\ y <= z ==> (x * y) <= (x * z) -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 65 REAL_LE_RMUL_IMP = @@ -17693,7 +17729,7 @@ REAL_DIV_MUL2 = |- !x z. ~(x = & 0) /\ ~(z = & 0) ==> (!y. y / z = (x * y) / (x * z)) -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 169 REAL_MIDDLE1 = |- !a b. a <= b ==> a <= ((a + b) / (& 2)) @@ -17787,7 +17823,7 @@ Intermediate theorems generated: 29 ABS_BETWEEN1 = |- !x y z. x < z /\ (abs(y - x)) < (z - x) ==> y < z -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 102 ABS_SIGN = |- !x y. (abs(x - y)) < y ==> (& 0) < x @@ -17829,7 +17865,7 @@ Intermediate theorems generated: 250 pow = |- (!x. x pow 0 = & 1) /\ (!x n. x pow (SUC n) = x * (x pow n)) -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 175 POW_0 = |- !n. (& 0) pow (SUC n) = & 0 @@ -17878,7 +17914,7 @@ Intermediate theorems generated: 68 POW_LE = |- !n x y. (& 0) <= x /\ x <= y ==> (x pow n) <= (y pow n) -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 160 POW_M1 = |- !n. abs((--(& 1)) pow n) = & 1 @@ -17930,7 +17966,7 @@ Intermediate theorems generated: 103 POW_MINUS1 = |- !n. (--(& 1)) pow (2 num_mul n) = & 1 -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 231 REAL_SUP_SOMEPOS = @@ -17977,7 +18013,7 @@ REAL_SUP_UBOUND = |- !P. (?x. P x) /\ (?z. !x. P x ==> x < z) ==> (!y. P y ==> y <= (sup P)) -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 87 SETOK_LE_LT = @@ -18039,7 +18075,7 @@ Intermediate theorems generated: 109 SUM_DIFF = |- !f m n. Sum(m,n)f = (Sum(0,m num_add n)f) - (Sum(0,m)f) -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 30 ABS_SUM = |- !f m n. (abs(Sum(m,n)f)) <= (Sum(m,n)(\n'. abs(f n'))) @@ -18084,7 +18120,7 @@ Intermediate theorems generated: 42 SUM_ABS_LE = |- !f m n. (abs(Sum(m,n)f)) <= (Sum(m,n)(\n'. abs(f n'))) -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 105 Theorem ADD_ASSOC autoloading from theory `arithmetic` ... @@ -18170,7 +18206,7 @@ Intermediate theorems generated: 56 SUM_2 = |- !f n. Sum(n,2)f = (f n) + (f(n num_add 1)) -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 81 SUM_OFFSET = @@ -18233,7 +18269,7 @@ |- !n p. (!y. y num_lt n ==> (?! x. x num_lt n /\ (p x = y))) ==> (!f. Sum(0,n)(\n'. f(p n')) = Sum(0,n)f) -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 2469 SUM_CANCEL = @@ -18249,7 +18285,7 @@ File real.ml loaded () : void -Run time: 0.9s +Run time: 1.0s Intermediate theorems generated: 23746 #\ @@ -18259,7 +18295,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -18537,7 +18573,7 @@ Run time: 0.0s METRIC_SYM = |- !m x y. dist m(x,y) = dist m(y,x) -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 99 METRIC_TRIANGLE = @@ -18753,7 +18789,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -19430,7 +19466,7 @@ (!x x0 y y0. (x --> x0)(mtop mr1,g) /\ (y --> y0)(mtop mr1,g) /\ ~(y0 = & 0) ==> ((\n. (x n) / (y n)) --> (x0 / y0))(mtop mr1,g)) -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 106 Theorem ABS_SUB_ABS autoloading from theory `REAL` ... @@ -19488,7 +19524,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -19826,7 +19862,7 @@ Theorem REAL_LE_TRANS autoloading from theory `REAL` ... REAL_LE_TRANS = |- !x y z. x <= y /\ y <= z ==> x <= z -Run time: 0.1s +Run time: 0.0s Theorem REAL_LE_REFL autoloading from theory `REAL` ... REAL_LE_REFL = |- !x. x <= x @@ -20256,7 +20292,7 @@ Run time: 0.0s SEQ_POWER_ABS = |- !c. (abs c) < (& 1) ==> (\n. (abs c) pow n) --> (& 0) -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 573 Theorem POW_ABS autoloading from theory `REAL` ... @@ -20424,7 +20460,7 @@ ?d. (& 0) < d /\ (!a b. a <= x /\ x <= b /\ (b - a) < d ==> P(a,b))) ==> (!a b. a <= b ==> P(a,b)) -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 3396 sums = |- !f s. f sums s = (\n. Sum(0,n)f) --> s @@ -20484,7 +20520,7 @@ |- !f n. summable f /\ (!m. n num_le m ==> (& 0) <= (f m)) ==> (Sum(0,n)f) <= (suminf f) -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 220 Theorem Sum autoloading from theory `REAL` ... @@ -20705,7 +20741,7 @@ |- !x. ~(x = & 1) ==> (!n. Sum(0,n)(\n'. x pow n') = ((x pow n) - (& 1)) / (x - (& 1))) -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 411 Theorem REAL_NEG_INV autoloading from theory `REAL` ... @@ -20747,7 +20783,7 @@ Theorem REAL_LE_LMUL autoloading from theory `REAL` ... REAL_LE_LMUL = |- !x y z. (& 0) < x ==> ((x * y) <= (x * z) = y <= z) -Run time: 0.0s +Run time: 0.1s Theorem POW_ADD autoloading from theory `REAL` ... POW_ADD = |- !c m n. c pow (m num_add n) = (c pow m) * (c pow n) @@ -20782,7 +20818,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -21512,7 +21548,7 @@ DIFF_CHAIN = |- !f g x. (f diffl l)(g x) /\ (g diffl m)x ==> ((\x. f(g x)) diffl (l * m))x -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 2058 Theorem REAL_DIV_REFL autoloading from theory `REAL` ... @@ -21669,7 +21705,7 @@ |- !f a b. a <= b /\ (!x. a <= x /\ x <= b ==> f contl x) ==> (?M. !x. a <= x /\ x <= b ==> (f x) <= M) -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 1866 Theorem REAL_LE_LT autoloading from theory `REAL` ... @@ -21694,7 +21730,7 @@ Theorem REAL_LT_SUB_RADD autoloading from theory `REAL` ... REAL_LT_SUB_RADD = |- !x y z. (x - y) < z = x < (z + y) -Run time: 0.0s +Run time: 0.1s Theorem REAL_LT_SUB_LADD autoloading from theory `REAL` ... REAL_LT_SUB_LADD = |- !x y z. x < (y - z) = (x + z) < y @@ -21834,7 +21870,7 @@ (!x. a <= x /\ x <= b ==> f contl x) /\ (!x. a < x /\ x < b ==> f differentiable x) ==> (?z. a < z /\ z < b /\ (f diffl (& 0))z) -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 3178 gfn = "\x. (f x) - ((((f b) - (f a)) / (b - a)) * x)" : term @@ -21866,7 +21902,7 @@ (!x. a < x /\ x < b ==> f differentiable x) ==> (?l z. a < z /\ z < b /\ (f diffl l)z /\ ((f b) - (f a) = (b - a) * l)) -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 612 DIFF_ISCONST_END = @@ -21908,7 +21944,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -22724,7 +22760,7 @@ Theorem ABS_ZERO autoloading from theory `REAL` ... ABS_ZERO = |- !x. (abs x = & 0) = (x = & 0) -Run time: 0.1s +Run time: 0.0s Theorem ABS_CIRCLE autoloading from theory `REAL` ... ABS_CIRCLE = @@ -22780,7 +22816,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -22866,7 +22902,7 @@ Theory POWSER loaded () : void -Run time: 0.0s +Run time: 0.1s Theorem ADD_CLAUSES autoloading from theory `arithmetic` ... ADD_CLAUSES = @@ -22944,7 +22980,7 @@ Run time: 0.0s () : void -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 48 () : void @@ -23800,7 +23836,7 @@ Run time: 0.0s COS_0 = |- cos(& 0) = & 1 -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 454 SIN_CIRCLE = |- !x. ((sin x) pow 2) + ((cos x) pow 2) = & 1 @@ -23892,7 +23928,7 @@ (((sin(x + y)) - (((sin x) * (cos y)) + ((cos x) * (sin y)))) pow 2) + (((cos(x + y)) - (((cos x) * (cos y)) - ((sin x) * (sin y)))) pow 2) = & 0 -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 1747 SIN_COS_NEG = @@ -24009,7 +24045,7 @@ Run time: 0.0s SIN_POS = |- !x. (& 0) < x /\ x < (& 2) ==> (& 0) < (sin x) -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 2052 COS_PAIRED = @@ -24145,7 +24181,7 @@ Intermediate theorems generated: 84 SIN_PI = |- sin pi = & 0 -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 79 SIN_COS = |- !x. sin x = cos((pi / (& 2)) - x) @@ -24169,7 +24205,7 @@ Intermediate theorems generated: 47 COS_PERIODIC = |- !x. cos(x + ((& 2) * pi)) = cos x -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 47 COS_NPI = |- !n. cos((& n) * pi) = (--(& 1)) pow n @@ -24461,7 +24497,7 @@ TAN_TOTAL = |- !y. ?! x. (--(pi / (& 2))) < x /\ x < (pi / (& 2)) /\ (tan x = y) -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 1301 asn = @@ -24521,7 +24557,7 @@ ACS_BOUNDS = |- !y. (--(& 1)) <= y /\ y <= (& 1) ==> (& 0) <= (acs y) /\ (acs y) <= pi -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 17 COS_ACS = |- !x. (& 0) <= x /\ x <= pi ==> (acs(cos x) = x) @@ -24556,7 +24592,7 @@ File transc.ml loaded () : void -Run time: 0.8s +Run time: 0.7s Intermediate theorems generated: 30503 #make[5]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library/reals/theories' @@ -24569,7 +24605,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -24591,7 +24627,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -24657,7 +24693,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -24689,7 +24725,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -24798,7 +24834,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -24951,7 +24987,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -25024,7 +25060,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -25104,7 +25140,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -25261,7 +25297,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -25416,7 +25452,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -25633,7 +25669,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -25655,7 +25691,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -25674,7 +25710,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -25719,7 +25755,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -25784,7 +25820,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -25834,7 +25870,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -25904,7 +25940,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -25974,7 +26010,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -26010,7 +26046,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -26063,7 +26099,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -26135,7 +26171,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -26214,7 +26250,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -26409,7 +26445,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -26446,7 +26482,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -27132,7 +27168,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -27604,7 +27640,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -27868,7 +27904,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -28113,7 +28149,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -28577,7 +28613,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -29045,7 +29081,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -29101,7 +29137,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -29191,7 +29227,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -29390,7 +29426,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -29422,7 +29458,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -29556,7 +29592,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -29859,7 +29895,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -29891,7 +29927,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -29930,7 +29966,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -29962,7 +29998,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -30123,7 +30159,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -30256,7 +30292,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -30445,7 +30481,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -30505,7 +30541,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -30630,7 +30666,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -30741,7 +30777,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -30766,7 +30802,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -30794,7 +30830,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -30907,7 +30943,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -31410,7 +31446,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -31658,7 +31694,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -31884,7 +31920,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -31926,7 +31962,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -31958,7 +31994,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -32181,7 +32217,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -32574,7 +32610,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -32687,7 +32723,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -33190,7 +33226,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -33438,7 +33474,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -33664,7 +33700,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -33699,7 +33735,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -33738,7 +33774,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -33775,7 +33811,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -33796,7 +33832,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -33893,7 +33929,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -33915,7 +33951,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -34411,7 +34447,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -34434,7 +34470,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -34512,7 +34548,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -34571,7 +34607,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -34615,7 +34651,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -34633,7 +34669,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -34660,7 +34696,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -34704,7 +34740,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -34817,7 +34853,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -34864,7 +34900,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -34903,7 +34939,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -34977,7 +35013,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -35066,7 +35102,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -35137,7 +35173,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -35207,7 +35243,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -35256,7 +35292,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -35297,7 +35333,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -35338,7 +35374,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -35362,7 +35398,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -35463,7 +35499,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -35484,7 +35520,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -35509,7 +35545,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -36135,7 +36171,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -36212,7 +36248,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -36239,7 +36275,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -36356,7 +36392,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -36451,7 +36487,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -36537,7 +36573,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -36652,7 +36688,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -36745,7 +36781,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -36921,7 +36957,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -37025,7 +37061,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -37320,7 +37356,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -37423,7 +37459,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -37491,7 +37527,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -37553,7 +37589,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -37733,7 +37769,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -37774,7 +37810,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -37804,7 +37840,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -37830,7 +37866,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -38348,7 +38384,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -38885,7 +38921,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -39073,7 +39109,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #false : bool @@ -39091,10 +39127,10 @@ =======> library rebuilt make[3]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Library' date -Wed Aug 26 23:00:42 2026 +Thu Jul 24 16:46:36 2025 make[2]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg' date -Wed Aug 26 23:00:42 2026 +Thu Jul 24 16:46:36 2025 make permissions make[2]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg' find $(ls -1 | grep -v debian) \ @@ -39112,13 +39148,13 @@ printf 'install `'/usr/share/hol88-2.02.19940316dfsg'`;;\nlisp `(ml-save "foo")`;;\n' | ./$i &&\ mv foo $i; done -HOL-LCF version 2.02 (GCL) created 26/8/26 +HOL-LCF version 2.02 (GCL) created 24/7/25 #HOL installed (`/usr/share/hol88-2.02.19940316dfsg`) () : void # -BASIC-HOL version 2.02 (GCL) created 26/8/26 +BASIC-HOL version 2.02 (GCL) created 24/7/25 #HOL installed (`/usr/share/hol88-2.02.19940316dfsg`) () : void @@ -39126,7 +39162,7 @@ # =============================================================================== - HOL88 Version 2.02 (GCL), built on 26/8/26 + HOL88 Version 2.02 (GCL), built on 24/7/25 =============================================================================== #HOL installed (`/usr/share/hol88-2.02.19940316dfsg`) @@ -39631,7 +39667,7 @@ ### simple group (level 1) entered at line 168 ({) ### bottom level (see the transcript file for additional information) -Output written on tutorial.dvi (112 pages, 316556 bytes). +Output written on tutorial.dvi (112 pages, 316552 bytes). Transcript written on tutorial.log. make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Manual/Tutorial' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Manual/Tutorial' @@ -41489,7 +41525,7 @@ ) (see the transcript file for additional information) -Output written on description.dvi (346 pages, 1000240 bytes). +Output written on description.dvi (346 pages, 1000236 bytes). Transcript written on description.log. make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Manual/Description' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Manual/Description' @@ -46459,7 +46495,7 @@ [663]) (./reference.aux (./title.aux) (./preface.aux) (./ack.aux) (./contents.aux) (./entries.aux) (./theorems.aux) (./index.aux)) ) (see the transcript file for additional information) -Output written on reference.dvi (669 pages, 1155408 bytes). +Output written on reference.dvi (669 pages, 1155404 bytes). Transcript written on reference.log. make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Manual/Reference' make[3]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Manual/Reference' @@ -52530,7 +52566,7 @@ [1] [2]) (./preface.tex) [3] (./libraries.aux (./title.aux) (./preface.aux)) ) -Output written on libraries.dvi (3 pages, 2288 bytes). +Output written on libraries.dvi (3 pages, 2284 bytes). Transcript written on libraries.log. make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Manual/Libraries' make[3]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg/Manual/Libraries' @@ -52601,7 +52637,7 @@ ===> endpages.dvi created dvips endpages > endpages.ps This is dvips(k) 2024.1 (TeX Live 2025/dev) Copyright 2024 Radical Eye Software (www.radicaleye.com) -' TeX output 2026.08.26:2302' -> endpages.ps +' TeX output 2025.07.24:1648' -> endpages.ps @@ -52673,7 +52709,7 @@ ===> titlepages.dvi created dvips titlepages > titlepages.ps This is dvips(k) 2024.1 (TeX Live 2025/dev) Copyright 2024 Radical Eye Software (www.radicaleye.com) -' TeX output 2026.08.26:2302' -> titlepages.ps +' TeX output 2025.07.24:1648' -> titlepages.ps @@ -52738,8 +52774,8 @@ dpkg-deb: building package 'hol88-help' in '../hol88-help_2.02.19940316dfsg-6_all.deb'. dpkg-deb: building package 'hol88-library-source' in '../hol88-library-source_2.02.19940316dfsg-6_all.deb'. dpkg-deb: building package 'hol88-library-help' in '../hol88-library-help_2.02.19940316dfsg-6_all.deb'. -dpkg-deb: building package 'hol88-contrib-help' in '../hol88-contrib-help_2.02.19940316dfsg-6_all.deb'. dpkg-deb: building package 'hol88-contrib-source' in '../hol88-contrib-source_2.02.19940316dfsg-6_all.deb'. +dpkg-deb: building package 'hol88-contrib-help' in '../hol88-contrib-help_2.02.19940316dfsg-6_all.deb'. dpkg-deb: building package 'hol88-doc' in '../hol88-doc_2.02.19940316dfsg-6_all.deb'. make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316dfsg' dpkg-genbuildinfo --build=binary -O../hol88_2.02.19940316dfsg-6_amd64.buildinfo @@ -52749,12 +52785,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/1192208/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/1192208/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/2599294 and its subdirectories -I: Current time: Wed Aug 26 11:02:22 -12 2026 -I: pbuilder-time-stamp: 1787785342 +I: removing directory /srv/workspace/pbuilder/1192208 and its subdirectories +I: Current time: Fri Jul 25 06:48:53 +14 2025 +I: pbuilder-time-stamp: 1753375733