Diff of the two buildlogs: -- --- b1/build.log 2024-01-06 20:45:14.248075650 +0000 +++ b2/build.log 2024-01-06 20:53:39.857831247 +0000 @@ -1,6 +1,7 @@ +W: cgroups are not available on the host, not using them. I: pbuilder: network access will be disabled during build -I: Current time: Sat Jan 6 08:37:48 -12 2024 -I: pbuilder-time-stamp: 1704573468 +I: Current time: Sat Feb 8 17:08:17 +14 2025 +I: pbuilder-time-stamp: 1738984097 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/bullseye-reproducible-base.tgz] I: copying local configuration @@ -17,7 +18,7 @@ I: copying [./hol88_2.02.19940316-35.1.debian.tar.xz] I: Extracting source gpgv: unknown type of key resource 'trustedkeys.kbx' -gpgv: keyblock resource '/tmp/dpkg-verify-sig.yIJZniWf/trustedkeys.kbx': General error +gpgv: keyblock resource '/tmp/dpkg-verify-sig.hqvlqU7t/trustedkeys.kbx': General error gpgv: Signature made Tue Jan 5 11:49:56 2021 gpgv: using RSA key B8BF54137B09D35CF026FE9D091AB856069AAA1C gpgv: Can't check signature: No public key @@ -30,49 +31,79 @@ dpkg-source: info: applying FTBFS_detection_fix I: using fakeroot in build. I: Installing the build-deps -I: user script /srv/workspace/pbuilder/930061/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/1553967/tmp/hooks/D01_modify_environment starting +debug: Running on codethink01-arm64. +I: Changing host+domainname to test build reproducibility +I: Adding a custom variable just for the fun of it... +I: Changing /bin/sh to bash +'/bin/sh' -> '/bin/bash' +lrwxrwxrwx 1 root root 9 Feb 8 03:08 /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/1553967/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/1553967/tmp/hooks/D02_print_environment starting I: set - BUILDDIR='/build/reproducible-path' - BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' - BUILDUSERNAME='pbuilder1' - BUILD_ARCH='arm64' - DEBIAN_FRONTEND='noninteractive' + BASH=/bin/sh + BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:hostcomplete:interactive_comments:progcomp:promptvars:sourcepath + BASH_ALIASES=() + BASH_ARGC=() + BASH_ARGV=() + BASH_CMDS=() + BASH_LINENO=([0]="12" [1]="0") + BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment") + BASH_VERSINFO=([0]="5" [1]="1" [2]="4" [3]="1" [4]="release" [5]="aarch64-unknown-linux-gnu") + BASH_VERSION='5.1.4(1)-release' + BUILDDIR=/build/reproducible-path + BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other' + BUILDUSERNAME=pbuilder2 + BUILD_ARCH=arm64 + DEBIAN_FRONTEND=noninteractive DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all,-fixfilepath parallel=12 ' - DISTRIBUTION='bullseye' - HOME='/root' - HOST_ARCH='arm64' + DIRSTACK=() + DISTRIBUTION=bullseye + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/root + HOSTNAME=i-capture-the-hostname + HOSTTYPE=aarch64 + HOST_ARCH=arm64 IFS=' ' - INVOCATION_ID='8b7f905b75da458b8ef97f3f7cffd49e' - 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='930061' - PS1='# ' - PS2='> ' + LANG=C + LANGUAGE=nl_BE:nl + LC_ALL=C + MACHTYPE=aarch64-unknown-linux-gnu + MAIL=/var/mail/root + OPTERR=1 + OPTIND=1 + OSTYPE=linux-gnu + PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path + PBCURRENTCOMMANDLINEOPERATION=build + PBUILDER_OPERATION=build + PBUILDER_PKGDATADIR=/usr/share/pbuilder + PBUILDER_PKGLIBDIR=/usr/lib/pbuilder + PBUILDER_SYSCONFDIR=/etc + PIPESTATUS=([0]="0") + POSIXLY_CORRECT=y + PPID=1553967 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.z6oGVtsa/pbuilderrc_pJmu --distribution bullseye --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/bullseye-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.z6oGVtsa/b1 --logfile b1/build.log hol88_2.02.19940316-35.1.dsc' - SUDO_GID='109' - SUDO_UID='104' - SUDO_USER='jenkins' - TERM='unknown' - TZ='/usr/share/zoneinfo/Etc/GMT+12' - USER='root' - _='/usr/bin/systemd-run' - http_proxy='http://192.168.101.104: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.z6oGVtsa/pbuilderrc_icqr --distribution bullseye --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/bullseye-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/r-b-build.z6oGVtsa/b2 --logfile b2/build.log hol88_2.02.19940316-35.1.dsc' + SUDO_GID=109 + SUDO_UID=104 + SUDO_USER=jenkins + TERM=unknown + TZ=/usr/share/zoneinfo/Etc/GMT-14 + UID=0 + USER=root + _='I: set' + http_proxy=http://192.168.101.104:3128 I: uname -a - Linux codethink02-arm64 6.1.0-17-cloud-arm64 #1 SMP Debian 6.1.69-1 (2023-12-30) aarch64 GNU/Linux + Linux i-capture-the-hostname 6.1.0-17-cloud-arm64 #1 SMP Debian 6.1.69-1 (2023-12-30) aarch64 GNU/Linux I: ls -l /bin total 5252 -rwxr-xr-x 1 root root 1282512 Mar 27 2022 bash @@ -132,7 +163,7 @@ -rwxr-xr-x 1 root root 43880 Sep 22 2020 rmdir -rwxr-xr-x 1 root root 19208 Sep 27 2020 run-parts -rwxr-xr-x 1 root root 114016 Dec 22 2018 sed - lrwxrwxrwx 1 root root 4 Dec 7 09:24 sh -> dash + lrwxrwxrwx 1 root root 9 Feb 8 03:08 sh -> /bin/bash -rwxr-xr-x 1 root root 35656 Sep 22 2020 sleep -rwxr-xr-x 1 root root 72640 Sep 22 2020 stty -rwsr-xr-x 1 root root 67776 Jan 20 2022 su @@ -158,7 +189,7 @@ -rwxr-xr-x 1 root root 2206 Apr 10 2022 zless -rwxr-xr-x 1 root root 1842 Apr 10 2022 zmore -rwxr-xr-x 1 root root 4577 Apr 10 2022 znew -I: user script /srv/workspace/pbuilder/930061/tmp/hooks/D02_print_environment finished +I: user script /srv/workspace/pbuilder/1553967/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -333,7 +364,7 @@ Get: 125 http://deb.debian.org/debian bullseye/main arm64 xdg-utils all 1.1.3-4.1 [75.5 kB] Get: 126 http://deb.debian.org/debian bullseye/main arm64 texlive-base all 2020.20210202-3 [20.8 MB] Get: 127 http://deb.debian.org/debian bullseye/main arm64 texlive-latex-base all 2020.20210202-3 [1120 kB] -Fetched 125 MB in 1s (86.7 MB/s) +Fetched 125 MB in 1s (125 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package bsdextrautils. (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 ... 17734 files and directories currently installed.) @@ -751,8 +782,8 @@ Setting up tzdata (2021a-1+deb11u10) ... Current default time zone: 'Etc/UTC' -Local time is now: Sat Jan 6 20:38:14 UTC 2024. -Universal Time is now: Sat Jan 6 20:38:14 UTC 2024. +Local time is now: Sat Feb 8 03:08:47 UTC 2025. +Universal Time is now: Sat Feb 8 03:08:47 UTC 2025. Run 'dpkg-reconfigure tzdata' if you wish to change it. Setting up xtrans-dev (1.4.0-1) ... @@ -931,7 +962,11 @@ fakeroot is already the newest version (1.25.3-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.19940316/ && 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.19940316-35.1_source.changes +I: user script /srv/workspace/pbuilder/1553967/tmp/hooks/A99_set_merged_usr starting +Not re-configuring usrmerge for bullseye +I: user script /srv/workspace/pbuilder/1553967/tmp/hooks/A99_set_merged_usr finished +hostname: Name or service not known +I: Running cd /build/reproducible-path/hol88-2.02.19940316/ && 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.19940316-35.1_source.changes dpkg-buildpackage: info: source package hol88 dpkg-buildpackage: info: source version 2.02.19940316-35.1 dpkg-buildpackage: info: source distribution unstable @@ -1324,7 +1359,7 @@ >PATH=$(pwd):$PATH /usr/bin/make all make[1]: Entering directory '/build/reproducible-path/hol88-2.02.19940316' date -Sat Jan 6 08:38:31 -12 2024 +Sat Feb 8 17:09:12 +14 2025 /usr/bin/make hol make[2]: Entering directory '/build/reproducible-path/hol88-2.02.19940316' if [ cl = cl ]; then\ @@ -2498,7 +2533,7 @@ NIL > -HOL-LCF version 2.02 (GCL) created 6/1/24 +HOL-LCF version 2.02 (GCL) created 8/2/25 # mem = - : (* -> * list -> bool) @@ -2636,7 +2671,7 @@ NIL > -HOL-LCF version 2.02 (GCL) created 6/1/24 +HOL-LCF version 2.02 (GCL) created 8/2/25 #.............start address -T 0xdfa1b0 () : void @@ -2795,7 +2830,7 @@ NIL > -HOL-LCF version 2.02 (GCL) created 6/1/24 +HOL-LCF version 2.02 (GCL) created 8/2/25 #.............start address -T 0xdfa1b0 () : void @@ -2987,7 +3022,7 @@ NIL > -HOL-LCF version 2.02 (GCL) created 6/1/24 +HOL-LCF version 2.02 (GCL) created 8/2/25 # concat = - : (string -> string -> string) @@ -3097,7 +3132,7 @@ start address -T 0xdf2360 ;; Finished loading "lisp/f-ol-net" start address -T 0xc58480 ;; Finished loading "lisp/mk-hol-lcf" - version 2.02 (GCL) created 6/1/24 + version 2.02 (GCL) created 8/2/25 #...start address -T 0xdfe390 () : void @@ -3410,7 +3445,7 @@ /build/reproducible-path/hol88-2.02.19940316/hol-lcf < /build/reproducible-path/hol88-2.02.19940316/theories/mk_PPLAMB.ml;\ cd /build/reproducible-path/hol88-2.02.19940316 -HOL-LCF version 2.02 (GCL) created 6/1/24 +HOL-LCF version 2.02 (GCL) created 8/2/25 ###########################() : void @@ -3423,7 +3458,7 @@ /build/reproducible-path/hol88-2.02.19940316/hol-lcf < /build/reproducible-path/hol88-2.02.19940316/theories/mk_bool.ml;\ cd /build/reproducible-path/hol88-2.02.19940316 -HOL-LCF version 2.02 (GCL) created 6/1/24 +HOL-LCF version 2.02 (GCL) created 8/2/25 ################################################################################################() : void @@ -3568,7 +3603,7 @@ /build/reproducible-path/hol88-2.02.19940316/hol-lcf < /build/reproducible-path/hol88-2.02.19940316/theories/mk_ind.ml;\ cd /build/reproducible-path/hol88-2.02.19940316 -HOL-LCF version 2.02 (GCL) created 6/1/24 +HOL-LCF version 2.02 (GCL) created 8/2/25 ############################() : void @@ -3611,7 +3646,7 @@ /build/reproducible-path/hol88-2.02.19940316/hol-lcf < /build/reproducible-path/hol88-2.02.19940316/theories/mk_BASIC-HOL.ml;\ cd /build/reproducible-path/hol88-2.02.19940316 -HOL-LCF version 2.02 (GCL) created 6/1/24 +HOL-LCF version 2.02 (GCL) created 8/2/25 ############################Theory ind loaded () : void @@ -3648,7 +3683,7 @@ 'quit();;'\ | hol-lcf -HOL-LCF version 2.02 (GCL) created 6/1/24 +HOL-LCF version 2.02 (GCL) created 8/2/25 # map2 = - : (((* # **) -> ***) -> (* list # ** list) -> *** list) @@ -3689,7 +3724,7 @@ 'quit();;'\ | hol-lcf -HOL-LCF version 2.02 (GCL) created 6/1/24 +HOL-LCF version 2.02 (GCL) created 8/2/25 #() : void @@ -4091,7 +4126,7 @@ 'quit();;'\ | hol-lcf -HOL-LCF version 2.02 (GCL) created 6/1/24 +HOL-LCF version 2.02 (GCL) created 8/2/25 #() : void @@ -4159,7 +4194,7 @@ 'quit();;'\ | hol-lcf -HOL-LCF version 2.02 (GCL) created 6/1/24 +HOL-LCF version 2.02 (GCL) created 8/2/25 #() : void @@ -4364,7 +4399,7 @@ 'quit();;'\ | hol-lcf -HOL-LCF version 2.02 (GCL) created 6/1/24 +HOL-LCF version 2.02 (GCL) created 8/2/25 #() : void @@ -4488,7 +4523,7 @@ 'quit();;'\ | hol-lcf -HOL-LCF version 2.02 (GCL) created 6/1/24 +HOL-LCF version 2.02 (GCL) created 8/2/25 #() : void @@ -4574,7 +4609,7 @@ 'quit();;'\ | hol-lcf -HOL-LCF version 2.02 (GCL) created 6/1/24 +HOL-LCF version 2.02 (GCL) created 8/2/25 #() : void @@ -4667,7 +4702,7 @@ 'quit();;'\ | hol-lcf -HOL-LCF version 2.02 (GCL) created 6/1/24 +HOL-LCF version 2.02 (GCL) created 8/2/25 #() : void @@ -4736,7 +4771,7 @@ 'quit();;'\ | hol-lcf -HOL-LCF version 2.02 (GCL) created 6/1/24 +HOL-LCF version 2.02 (GCL) created 8/2/25 #() : void @@ -4841,7 +4876,7 @@ 'quit();;'\ | hol-lcf -HOL-LCF version 2.02 (GCL) created 6/1/24 +HOL-LCF version 2.02 (GCL) created 8/2/25 #() : void @@ -5076,7 +5111,7 @@ 'quit();;'\ | hol-lcf -HOL-LCF version 2.02 (GCL) created 6/1/24 +HOL-LCF version 2.02 (GCL) created 8/2/25 #() : void @@ -5102,7 +5137,7 @@ 'quit();;'\ | hol-lcf -HOL-LCF version 2.02 (GCL) created 6/1/24 +HOL-LCF version 2.02 (GCL) created 8/2/25 #() : void @@ -5230,7 +5265,7 @@ 'quit();;'\ | hol-lcf -HOL-LCF version 2.02 (GCL) created 6/1/24 +HOL-LCF version 2.02 (GCL) created 8/2/25 #() : void @@ -5278,7 +5313,7 @@ 'quit();;'\ | hol-lcf -HOL-LCF version 2.02 (GCL) created 6/1/24 +HOL-LCF version 2.02 (GCL) created 8/2/25 #() : void @@ -5345,7 +5380,7 @@ 'quit();;'\ | hol-lcf -HOL-LCF version 2.02 (GCL) created 6/1/24 +HOL-LCF version 2.02 (GCL) created 8/2/25 #() : void @@ -5404,7 +5439,7 @@ 'quit();;'\ | hol-lcf -HOL-LCF version 2.02 (GCL) created 6/1/24 +HOL-LCF version 2.02 (GCL) created 8/2/25 #() : void @@ -5460,7 +5495,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 6/1/24 +HOL-LCF version 2.02 (GCL) created 8/2/25 #GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016 Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl) @@ -5473,7 +5508,7 @@ /tmp/ > -HOL-LCF version 2.02 (GCL) created 6/1/24 +HOL-LCF version 2.02 (GCL) created 8/2/25 #() : void @@ -5525,7 +5560,7 @@ /build/reproducible-path/hol88-2.02.19940316/basic-hol < /build/reproducible-path/hol88-2.02.19940316/theories/mk_combin.ml;\ cd /build/reproducible-path/hol88-2.02.19940316 -BASIC-HOL version 2.02 (GCL) created 6/1/24 +BASIC-HOL version 2.02 (GCL) created 8/2/25 ##########################() : void @@ -5556,7 +5591,7 @@ /build/reproducible-path/hol88-2.02.19940316/basic-hol < /build/reproducible-path/hol88-2.02.19940316/theories/mk_num.ml;\ cd /build/reproducible-path/hol88-2.02.19940316 -BASIC-HOL version 2.02 (GCL) created 6/1/24 +BASIC-HOL version 2.02 (GCL) created 8/2/25 ##############################() : void @@ -5643,7 +5678,7 @@ /build/reproducible-path/hol88-2.02.19940316/basic-hol < /build/reproducible-path/hol88-2.02.19940316/theories/mk_prim_rec.ml;\ cd /build/reproducible-path/hol88-2.02.19940316 -BASIC-HOL version 2.02 (GCL) created 6/1/24 +BASIC-HOL version 2.02 (GCL) created 8/2/25 #######################################################################() : void @@ -5796,7 +5831,7 @@ /build/reproducible-path/hol88-2.02.19940316/basic-hol < /build/reproducible-path/hol88-2.02.19940316/theories/mk_fun.ml;\ cd /build/reproducible-path/hol88-2.02.19940316 -BASIC-HOL version 2.02 (GCL) created 6/1/24 +BASIC-HOL version 2.02 (GCL) created 8/2/25 ###########################() : void @@ -5831,7 +5866,7 @@ /build/reproducible-path/hol88-2.02.19940316/basic-hol < /build/reproducible-path/hol88-2.02.19940316/theories/mk_arith_thms.ml;\ cd /build/reproducible-path/hol88-2.02.19940316 -BASIC-HOL version 2.02 (GCL) created 6/1/24 +BASIC-HOL version 2.02 (GCL) created 8/2/25 #############################() : void @@ -5892,7 +5927,7 @@ #################() : void ## -BASIC-HOL version 2.02 (GCL) created 6/1/24 +BASIC-HOL version 2.02 (GCL) created 8/2/25 ###########################Theory arithmetic loaded () : void @@ -6387,7 +6422,7 @@ /build/reproducible-path/hol88-2.02.19940316/basic-hol < /build/reproducible-path/hol88-2.02.19940316/theories/mk_list_thms.ml;\ cd /build/reproducible-path/hol88-2.02.19940316 -BASIC-HOL version 2.02 (GCL) created 6/1/24 +BASIC-HOL version 2.02 (GCL) created 8/2/25 ##################################() : void @@ -6534,7 +6569,7 @@ |- !x f. ?! fn. (fn[] = x) /\ (!h t. fn(CONS h t) = f(fn t)h t) ## -BASIC-HOL version 2.02 (GCL) created 6/1/24 +BASIC-HOL version 2.02 (GCL) created 8/2/25 #################################Theory list loaded () : void @@ -6873,7 +6908,7 @@ ##() : void ## -BASIC-HOL version 2.02 (GCL) created 6/1/24 +BASIC-HOL version 2.02 (GCL) created 8/2/25 ###############################Theory list loaded () : void @@ -8370,7 +8405,7 @@ /build/reproducible-path/hol88-2.02.19940316/basic-hol < /build/reproducible-path/hol88-2.02.19940316/theories/mk_tree.ml;\ cd /build/reproducible-path/hol88-2.02.19940316 -BASIC-HOL version 2.02 (GCL) created 6/1/24 +BASIC-HOL version 2.02 (GCL) created 8/2/25 #############################() : void @@ -8754,7 +8789,7 @@ /build/reproducible-path/hol88-2.02.19940316/basic-hol < /build/reproducible-path/hol88-2.02.19940316/theories/mk_ltree.ml;\ cd /build/reproducible-path/hol88-2.02.19940316 -BASIC-HOL version 2.02 (GCL) created 6/1/24 +BASIC-HOL version 2.02 (GCL) created 8/2/25 ############################() : void @@ -9052,7 +9087,7 @@ /build/reproducible-path/hol88-2.02.19940316/basic-hol < /build/reproducible-path/hol88-2.02.19940316/theories/mk_tydefs.ml;\ cd /build/reproducible-path/hol88-2.02.19940316 -BASIC-HOL version 2.02 (GCL) created 6/1/24 +BASIC-HOL version 2.02 (GCL) created 8/2/25 ############################() : void @@ -9192,7 +9227,7 @@ /build/reproducible-path/hol88-2.02.19940316/basic-hol < /build/reproducible-path/hol88-2.02.19940316/theories/mk_sum.ml;\ cd /build/reproducible-path/hol88-2.02.19940316 -BASIC-HOL version 2.02 (GCL) created 6/1/24 +BASIC-HOL version 2.02 (GCL) created 8/2/25 ############################################() : void @@ -9289,7 +9324,7 @@ /build/reproducible-path/hol88-2.02.19940316/basic-hol < /build/reproducible-path/hol88-2.02.19940316/theories/mk_one.ml;\ cd /build/reproducible-path/hol88-2.02.19940316 -BASIC-HOL version 2.02 (GCL) created 6/1/24 +BASIC-HOL version 2.02 (GCL) created 8/2/25 ##################################() : void @@ -9319,7 +9354,7 @@ | /build/reproducible-path/hol88-2.02.19940316/basic-hol;\ cd /build/reproducible-path/hol88-2.02.19940316 -BASIC-HOL version 2.02 (GCL) created 6/1/24 +BASIC-HOL version 2.02 (GCL) created 8/2/25 #() : void @@ -9336,7 +9371,7 @@ 'quit();;'\ | basic-hol -BASIC-HOL version 2.02 (GCL) created 6/1/24 +BASIC-HOL version 2.02 (GCL) created 8/2/25 #Theory num loaded () : void @@ -9355,7 +9390,7 @@ 'quit();;'\ | basic-hol -BASIC-HOL version 2.02 (GCL) created 6/1/24 +BASIC-HOL version 2.02 (GCL) created 8/2/25 #() : void @@ -9512,7 +9547,7 @@ 'quit();;'\ | basic-hol -BASIC-HOL version 2.02 (GCL) created 6/1/24 +BASIC-HOL version 2.02 (GCL) created 8/2/25 # @@ -9550,7 +9585,7 @@ 'quit();;'\ | basic-hol -BASIC-HOL version 2.02 (GCL) created 6/1/24 +BASIC-HOL version 2.02 (GCL) created 8/2/25 # @@ -9584,7 +9619,7 @@ 'quit();;'\ | basic-hol -BASIC-HOL version 2.02 (GCL) created 6/1/24 +BASIC-HOL version 2.02 (GCL) created 8/2/25 #() : void @@ -9669,7 +9704,7 @@ 'quit();;'\ | basic-hol -BASIC-HOL version 2.02 (GCL) created 6/1/24 +BASIC-HOL version 2.02 (GCL) created 8/2/25 #() : void @@ -9710,7 +9745,7 @@ 'quit();;'\ | basic-hol -BASIC-HOL version 2.02 (GCL) created 6/1/24 +BASIC-HOL version 2.02 (GCL) created 8/2/25 #() : void @@ -9894,7 +9929,7 @@ 'quit();;'\ | basic-hol -BASIC-HOL version 2.02 (GCL) created 6/1/24 +BASIC-HOL version 2.02 (GCL) created 8/2/25 # define_load_lib_function = - : (string list -> void -> void) @@ -9968,7 +10003,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 6/1/24 +BASIC-HOL version 2.02 (GCL) created 8/2/25 #GCL (GNU Common Lisp) 2.6.12 CLtL1 Fri Apr 22 15:51:11 UTC 2016 Source License: LGPL(gcl,gmp), GPL(unexec,bfd,xgcl) @@ -9981,7 +10016,7 @@ /tmp/ > -BASIC-HOL version 2.02 (GCL) created 6/1/24 +BASIC-HOL version 2.02 (GCL) created 8/2/25 #() : void @@ -10045,11 +10080,11 @@ =======> hol88 version 2.02 (GCL) made make[2]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316' date -Sat Jan 6 08:40:39 -12 2024 +Sat Feb 8 17:11:19 +14 2025 /usr/bin/make library make[2]: Entering directory '/build/reproducible-path/hol88-2.02.19940316' date -Sat Jan 6 08:40:40 -12 2024 +Sat Feb 8 17:11:20 +14 2025 (cd /build/reproducible-path/hol88-2.02.19940316/Library; /usr/bin/make LispType=cl\ Obj=o\ Lisp=gcl\ @@ -10072,7 +10107,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -10156,7 +10191,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -10262,7 +10297,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -11012,7 +11047,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -11035,7 +11070,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -11078,7 +11113,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -11114,7 +11149,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -11166,7 +11201,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -11198,7 +11233,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -11236,7 +11271,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -11264,7 +11299,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -11341,7 +11376,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -11363,7 +11398,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -11417,7 +11452,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -11466,7 +11501,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -11617,7 +11652,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -11661,7 +11696,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -11736,7 +11771,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -11786,7 +11821,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -11849,7 +11884,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -11902,7 +11937,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -11948,7 +11983,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -12036,7 +12071,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -12074,7 +12109,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -12135,7 +12170,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -12199,7 +12234,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -12225,7 +12260,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -12250,7 +12285,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -12289,7 +12324,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -12365,7 +12400,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -13102,7 +13137,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -13125,7 +13160,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -13168,7 +13203,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -13203,7 +13238,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -13244,7 +13279,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -13307,7 +13342,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -13330,7 +13365,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -13355,7 +13390,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -13382,7 +13417,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -13418,7 +13453,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -13950,7 +13985,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -13973,7 +14008,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -14007,7 +14042,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -14062,7 +14097,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -14153,7 +14188,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -14322,7 +14357,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -14565,7 +14600,7 @@ (!f f' x. (!y. less l(ms y,ms x) ==> (f y = f' y)) ==> (h f x = h f' x)) ==> (!n. ?f. !x. l(ms x,n) ==> (f x = h f x)) -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 1556 WO_RECURSE_EXISTS = @@ -14575,7 +14610,7 @@ (!f f' x. (!y. less l(ms y,ms x) ==> (f y = f' y)) ==> (h f x = h f' x)) ==> (?f. !x. f x = h f x) -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 444 WO_RECURSE = @@ -14697,7 +14732,7 @@ ORDINAL_CHAINED = |- !l m. ordinal l /\ ordinal m ==> m inseg l \/ l inseg m -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 997 FL_SUC = @@ -14713,7 +14748,7 @@ ordinal (\(x,y). l(x,y) \/ (y = (@y. ~fl l y)) /\ (fl l x \/ (x = (@y. ~fl l y)))) -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 2338 ORDINAL_UNION = |- !P. (!l. P l ==> ordinal l) ==> ordinal(Union P) @@ -14756,7 +14791,7 @@ |- !l. poset l /\ (!P. chain l P ==> (?y. fl l y /\ (!x. P x ==> l(x,y)))) ==> (?y. fl l y /\ (!x. l(y,x) ==> (y = x))) -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 795 kl_tm = "\(c1,c2). C subset c1 /\ c1 subset c2 /\ chain l c2" : term @@ -14775,7 +14810,7 @@ (?P. (chain l P /\ C subset P) /\ (!R. chain l R /\ P subset R ==> (R = P)))) -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 1083 () : void @@ -14794,7 +14829,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -14925,7 +14960,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -15017,7 +15052,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -15109,12 +15144,12 @@ Run time: 0.0s Intermediate theorems generated: 6013 -===> abs_theory rebuilt on Sat Jan 6 08:41:33 -12 2024 +===> abs_theory rebuilt on Sat Feb 8 17:12:03 +14 2025 Making abs_theory.ml =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -15287,7 +15322,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -15572,7 +15607,7 @@ Theorem LESS_ADD_1 autoloading from theory `arithmetic` ... LESS_ADD_1 = |- !m n. n < m ==> (?p. m = n + (p + 1)) -Run time: 0.1s +Run time: 0.0s Theorem ADD1 autoloading from theory `arithmetic` ... ADD1 = |- !m. SUC m = m + 1 @@ -15654,7 +15689,7 @@ HRAT_SUCINT = |- (hrat_sucint 0 = hrat_1) /\ (!n. hrat_sucint(SUC n) = (hrat_sucint n) hrat_add hrat_1) -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 6487 HRAT_ADD_SYM = |- !h i. h hrat_add i = i hrat_add h @@ -15724,7 +15759,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -16065,7 +16100,7 @@ Theorem num_CASES autoloading from theory `arithmetic` ... num_CASES = |- !m. (m = 0) \/ (?n. m = SUC n) -Run time: 0.0s +Run time: 0.1s Theorem HRAT_ARCH autoloading from theory `HRAT` ... HRAT_ARCH = |- !h. ?n d. hrat_sucint n = h hrat_add d @@ -16095,7 +16130,7 @@ |- !X Y. X hreal_mul Y = hreal(\w. ?x y. (w = x hrat_mul y) /\ cut X x /\ cut Y y) -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 2 hreal_inv = @@ -16195,7 +16230,7 @@ Intermediate theorems generated: 492 HREAL_LT = |- !X Y. X hreal_lt Y = (?D. Y = X hreal_add D) -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 196 HREAL_ADD_TOTAL = @@ -16214,7 +16249,7 @@ |- !P. (?X. P X) /\ (?Y. !X. P X ==> X hreal_lt Y) ==> (!Y. (?X. P X /\ Y hreal_lt X) = Y hreal_lt (hreal_sup P)) -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 553 () : void @@ -16234,7 +16269,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -16574,12 +16609,12 @@ 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 = |- !x y z. y treal_lt z ==> (x treal_add y) treal_lt (x treal_add z) -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 1045 TREAL_LT_MUL = @@ -16782,7 +16817,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -17346,11 +17381,11 @@ Intermediate theorems generated: 17 REAL_LT_ADDR = |- !x y. x < (x + y) = (& 0) < y -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 20 REAL_LT_ADDL = |- !x y. y < (x + y) = (& 0) < x -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 17 REAL = |- !n. &(SUC n) = (& n) + (& 1) @@ -17549,7 +17584,7 @@ Intermediate theorems generated: 37 REAL_ADD2_SUB2 = |- !a b c d. (a + b) - (c + d) = (a - c) + (b - d) -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 73 REAL_SUB_LZERO = |- !x. (& 0) - x = -- x @@ -17700,11 +17735,11 @@ Run time: 0.0s REAL_FACT_NZ = |- !n. ~(&(FACT n) = & 0) -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 25 REAL_DIFFSQ = |- !x y. (x + y) * (x - y) = (x * x) - (y * y) -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 165 REAL_POSSQ = |- !x. (& 0) < (x * x) = ~(x = & 0) @@ -17799,7 +17834,7 @@ ABS_BETWEEN = |- !x y d. (& 0) < d /\ (x - d) < y /\ y < (x + d) = (abs(y - x)) < d -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 372 ABS_BOUND = |- !x y d. (abs(x - y)) < d ==> y < (x + d) @@ -17811,7 +17846,7 @@ Intermediate theorems generated: 56 ABS_CASES = |- !x. (x = & 0) \/ (& 0) < (abs x) -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 29 ABS_BETWEEN1 = |- !x y z. x < z /\ (abs(y - x)) < (z - x) ==> y < z @@ -17918,7 +17953,7 @@ Intermediate theorems generated: 135 REAL_LE_POW2 = |- !x. (& 0) <= (x pow 2) -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 14 ABS_POW2 = |- !x. abs(x pow 2) = x pow 2 @@ -17926,7 +17961,7 @@ Intermediate theorems generated: 13 REAL_POW2_ABS = |- !x. (abs x) pow 2 = x pow 2 -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 62 REAL_LE1_POW2 = |- !x. (& 1) <= x ==> (& 1) <= (x pow 2) @@ -18059,7 +18094,7 @@ Sum = |- (Sum(n,0)f = & 0) /\ (Sum(n,SUC m)f = (Sum(n,m)f) + (f(n num_add m))) -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 51 SUM_TWO = |- !f n p. (Sum(0,n)f) + (Sum(n,p)f) = Sum(0,n num_add p)f @@ -18149,7 +18184,7 @@ SUM_SUB = |- !f g m n. Sum(m,n)(\n. (f n) - (g n)) = (Sum(m,n)f) - (Sum(m,n)g) -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 74 Theorem LESS_MONO_ADD autoloading from theory `arithmetic` ... @@ -18194,7 +18229,7 @@ Intermediate theorems generated: 169 SUM_1 = |- !f n. Sum(n,1)f = f n -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 56 SUM_2 = |- !f n. Sum(n,2)f = (f n) + (f(n num_add 1)) @@ -18287,7 +18322,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -18612,7 +18647,7 @@ |- !m. open(mtop m)S = (!x. S x ==> (?e. (& 0) < e /\ (!y. (dist m(x,y)) < e ==> S y))) -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 38 ball = |- !m x e. B m(x,e) = (\y. (dist m(x,y)) < e) @@ -18781,7 +18816,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -19155,7 +19190,7 @@ MR1_BOUNDED = |- !g f. bounded(mr1,g)f = (?k N. g N N /\ (!n. g n N ==> (abs(f n)) < k)) -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 331 Theorem REAL_NEG_SUB autoloading from theory `REAL` ... @@ -19516,7 +19551,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -20321,7 +20356,7 @@ ((!n. (f n) <= l) /\ f --> l) /\ (!n. m <= (g n)) /\ g --> m) -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 2190 Theorem REAL_SUB_0 autoloading from theory `REAL` ... @@ -20452,7 +20487,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 @@ -20666,7 +20701,7 @@ |- !f g. (?N. !n. n num_ge N ==> (abs(f n)) <= (g n)) /\ summable g ==> summable f -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 395 SER_COMPARA = @@ -20684,7 +20719,7 @@ |- !f g. (!n. (f n) <= (g n)) /\ summable f /\ summable g ==> (suminf f) <= (suminf g) -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 191 SER_LE2 = @@ -20810,7 +20845,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -21276,7 +21311,7 @@ Theorem REAL_LE_NEG autoloading from theory `REAL` ... REAL_LE_NEG = |- !x y. (-- x) <= (-- y) = y <= x -Run time: 0.0s +Run time: 0.1s Theorem REAL_LE_LADD autoloading from theory `REAL` ... REAL_LE_LADD = |- !x y z. (x + y) <= (x + z) = y <= z @@ -21561,7 +21596,7 @@ Theorem num_CASES autoloading from theory `arithmetic` ... num_CASES = |- !m. (m = 0) \/ (?n. m = SUC n) -Run time: 0.1s +Run time: 0.0s Theorem ADD_SUB autoloading from theory `arithmetic` ... ADD_SUB = |- !a c. (a num_add c) num_sub c = a @@ -21599,7 +21634,7 @@ Theorem REAL_NEG_RMUL autoloading from theory `REAL` ... REAL_NEG_RMUL = |- !x y. --(x * y) = x * (-- y) -Run time: 0.0s +Run time: 0.1s Theorem REAL_NEG_LMUL autoloading from theory `REAL` ... REAL_NEG_LMUL = |- !x y. --(x * y) = (-- x) * y @@ -21801,7 +21836,7 @@ |- !f x l. (f diffl l)x /\ l < (& 0) ==> (?d. (& 0) < d /\ (!h. (& 0) < h /\ h < d ==> (f x) < (f(x - h)))) -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 469 Theorem REAL_ADD_SUB2 autoloading from theory `REAL` ... @@ -21844,7 +21879,7 @@ |- !a b x. a < x /\ x < b ==> (?d. (& 0) < d /\ (!y. (abs(x - y)) < d ==> a <= y /\ y <= b)) -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 466 Theorem REAL_MEAN autoloading from theory `REAL` ... @@ -21936,7 +21971,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -22414,7 +22449,7 @@ summable(\n. (diffs c n) * (x pow n)) ==> (\n. (& n) * ((c n) * (x pow (n num_sub 1)))) sums (suminf(\n. (diffs c n) * (x pow n))) -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 180 Theorem SUB_ADD autoloading from theory `arithmetic` ... @@ -22507,7 +22542,7 @@ (\q. ((z + h) pow q) * (z pow (((n num_sub 2) num_sub p) num_sub q))))))) -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 866 Theorem INV_SUC_EQ autoloading from theory `prim_rec` ... @@ -22788,7 +22823,7 @@ ((\x. suminf(\n. (c n) * (x pow n))) diffl (suminf(\n. (diffs c n) * (x pow n)))) x -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 2494 () : void @@ -22798,7 +22833,7 @@ File powser.ml loaded () : void -Run time: 0.2s +Run time: 0.1s Intermediate theorems generated: 8507 #\ @@ -22808,7 +22843,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -23090,7 +23125,7 @@ Theorem LESS_EQ_SUC_REFL autoloading from theory `arithmetic` ... LESS_EQ_SUC_REFL = |- !m. m num_le (SUC m) -Run time: 0.1s +Run time: 0.0s Theorem LESS_EQ_TRANS autoloading from theory `arithmetic` ... LESS_EQ_TRANS = |- !m n p. m num_le n /\ n num_le p ==> m num_le p @@ -23335,7 +23370,7 @@ & 0 | ((--(& 1)) pow ((n num_sub 1) DIV 2)) / (&(FACT n)))) = (\n. (EVEN n => ((--(& 1)) pow (n DIV 2)) / (&(FACT n)) | & 0)) -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 361 Theorem REAL_NEG_MINUS1 autoloading from theory `REAL` ... @@ -23761,7 +23796,7 @@ ROOT_LT_LEMMA = |- !n x. (& 0) < x ==> ((exp((ln x) / (&(SUC n)))) pow (SUC n) = x) -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 123 ROOT_LN = @@ -23920,7 +23955,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 = @@ -23961,7 +23996,7 @@ Run time: 0.0s SIN_DOUBLE = |- !x. sin((& 2) * x) = (& 2) * ((sin x) * (cos x)) -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 29 COS_DOUBLE = |- !x. cos((& 2) * x) = ((cos x) pow 2) - ((sin x) pow 2) @@ -24077,7 +24112,7 @@ Run time: 0.0s COS_2 = |- (cos(& 2)) < (& 0) -Run time: 0.1s +Run time: 0.0s Intermediate theorems generated: 3794 Theorem REAL_LET_TRANS autoloading from theory `REAL` ... @@ -24197,7 +24232,7 @@ Intermediate theorems generated: 47 COS_PERIODIC = |- !x. cos(x + ((& 2) * pi)) = cos x -Run time: 0.0s +Run time: 0.1s Intermediate theorems generated: 47 COS_NPI = |- !n. cos((& n) * pi) = (--(& 1)) pow n @@ -24584,7 +24619,7 @@ File transc.ml loaded () : void -Run time: 0.6s +Run time: 0.5s Intermediate theorems generated: 30503 #make[5]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316/Library/reals/theories' @@ -24597,7 +24632,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -24619,7 +24654,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -24685,7 +24720,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -24717,7 +24752,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -24826,7 +24861,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -24979,7 +25014,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -25052,7 +25087,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -25132,7 +25167,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -25289,7 +25324,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -25444,7 +25479,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -25661,7 +25696,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -25683,7 +25718,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -25702,7 +25737,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -25747,7 +25782,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -25812,7 +25847,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -25862,7 +25897,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -25932,7 +25967,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -26002,7 +26037,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -26038,7 +26073,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -26091,7 +26126,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -26163,7 +26198,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -26242,7 +26277,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -26437,7 +26472,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -26474,7 +26509,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -27160,7 +27195,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -27632,7 +27667,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -27896,7 +27931,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -28141,7 +28176,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -28605,7 +28640,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -29073,7 +29108,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -29129,7 +29164,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -29219,7 +29254,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -29418,7 +29453,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -29450,7 +29485,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -29584,7 +29619,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -29887,7 +29922,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -29919,7 +29954,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -29958,7 +29993,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -29990,7 +30025,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -30151,7 +30186,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -30284,7 +30319,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -30473,7 +30508,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -30533,7 +30568,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -30658,7 +30693,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -30769,7 +30804,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -30794,7 +30829,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -30822,7 +30857,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -30935,7 +30970,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -31438,7 +31473,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -31686,7 +31721,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -31912,7 +31947,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -31954,7 +31989,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -31986,7 +32021,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -32209,7 +32244,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -32602,7 +32637,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -32715,7 +32750,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -33218,7 +33253,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -33466,7 +33501,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -33692,7 +33727,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -33727,7 +33762,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -33766,7 +33801,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -33803,7 +33838,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -33824,7 +33859,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -33921,7 +33956,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -33943,7 +33978,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -34439,7 +34474,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -34462,7 +34497,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -34540,7 +34575,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -34599,7 +34634,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -34643,7 +34678,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -34661,7 +34696,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -34688,7 +34723,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -34732,7 +34767,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -34845,7 +34880,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -34892,7 +34927,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -34931,7 +34966,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -35005,7 +35040,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -35094,7 +35129,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -35165,7 +35200,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -35235,7 +35270,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -35284,7 +35319,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -35325,7 +35360,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -35366,7 +35401,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -35390,7 +35425,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -35491,7 +35526,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -35512,7 +35547,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -35537,7 +35572,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -36163,7 +36198,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -36240,7 +36275,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -36267,7 +36302,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -36384,7 +36419,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -36479,7 +36514,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -36565,7 +36600,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -36680,7 +36715,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -36773,7 +36808,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -36949,7 +36984,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -37053,7 +37088,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -37348,7 +37383,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -37451,7 +37486,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -37519,7 +37554,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -37581,7 +37616,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -37761,7 +37796,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -37802,7 +37837,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -37832,7 +37867,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -37858,7 +37893,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -38376,7 +38411,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -38913,7 +38948,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -39101,7 +39136,7 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #false : bool @@ -39119,10 +39154,10 @@ =======> library rebuilt make[3]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316/Library' date -Sat Jan 6 08:43:50 -12 2024 +Sat Feb 8 17:14:22 +14 2025 make[2]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316' date -Sat Jan 6 08:43:50 -12 2024 +Sat Feb 8 17:14:22 +14 2025 make permissions make[2]: Entering directory '/build/reproducible-path/hol88-2.02.19940316' find $(ls -1 | grep -v debian) \ @@ -39142,20 +39177,20 @@ =============================================================================== - HOL88 Version 2.02 (GCL), built on 6/1/24 + HOL88 Version 2.02 (GCL), built on 8/2/25 =============================================================================== #HOL installed (`/usr/share/hol88-2.02.19940316`) () : void # -BASIC-HOL version 2.02 (GCL) created 6/1/24 +BASIC-HOL version 2.02 (GCL) created 8/2/25 #HOL installed (`/usr/share/hol88-2.02.19940316`) () : void # -HOL-LCF version 2.02 (GCL) created 6/1/24 +HOL-LCF version 2.02 (GCL) created 8/2/25 #HOL installed (`/usr/share/hol88-2.02.19940316`) () : void @@ -39503,7 +39538,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, 313732 bytes). +Output written on tutorial.dvi (112 pages, 313736 bytes). Transcript written on tutorial.log. make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316/Manual/Tutorial' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316/Manual/Tutorial' @@ -40892,7 +40927,7 @@ make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316/Manual/Description' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316/Manual/Description' ../LaTeX/makeindex ../../ description.idx index.tex -../LaTeX/makeindex: 1: /bin/arch: not found +../LaTeX/makeindex: line 5: /bin/arch: No such file or directory makeindex is not built for . @@ -41099,7 +41134,7 @@ (./drules.aux) (./conv.aux) (./tactics.aux) (./see.aux) (./references.aux) (./version2.aux) (./index.aux)) ) (see the transcript file for additional information) -Output written on description.dvi (353 pages, 1079640 bytes). +Output written on description.dvi (353 pages, 1079644 bytes). Transcript written on description.log. make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316/Manual/Description' make[3]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316/Manual/Description' @@ -42658,7 +42693,7 @@ make[4]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316/Manual/Reference' make[4]: Entering directory '/build/reproducible-path/hol88-2.02.19940316/Manual/Reference' ../LaTeX/makeindex ../../ reference.idx index.tex -../LaTeX/makeindex: 1: /bin/arch: not found +../LaTeX/makeindex: line 5: /bin/arch: No such file or directory makeindex is not built for . @@ -44402,7 +44437,7 @@ make[6]: Entering directory '/build/reproducible-path/hol88-2.02.19940316/Library/abs_theory/Manual' \ ../../../Manual/LaTeX/makeindex ../../../ abs_theory.idx index.tex -../../../Manual/LaTeX/makeindex: 1: /bin/arch: not found +../../../Manual/LaTeX/makeindex: line 5: /bin/arch: No such file or directory makeindex is not built for . @@ -44657,7 +44692,7 @@ make[6]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316/Library/arith/Manual' make[6]: Entering directory '/build/reproducible-path/hol88-2.02.19940316/Library/arith/Manual' ../../../Manual/LaTeX/makeindex ../../../ arith.idx index.tex -../../../Manual/LaTeX/makeindex: 1: /bin/arch: not found +../../../Manual/LaTeX/makeindex: line 5: /bin/arch: No such file or directory makeindex is not built for . @@ -44894,7 +44929,7 @@ make[6]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316/Library/finite_sets/Manual' make[6]: Entering directory '/build/reproducible-path/hol88-2.02.19940316/Library/finite_sets/Manual' ../../../Manual/LaTeX/makeindex ../../../ finite_sets.idx index.tex -../../../Manual/LaTeX/makeindex: 1: /bin/arch: not found +../../../Manual/LaTeX/makeindex: line 5: /bin/arch: No such file or directory makeindex is not built for . @@ -45072,7 +45107,7 @@ make[6]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316/Library/more_arithmetic/Manual' make[6]: Entering directory '/build/reproducible-path/hol88-2.02.19940316/Library/more_arithmetic/Manual' ../../../Manual/LaTeX/makeindex ../../../ more_arithmetic.idx index.tex -../../../Manual/LaTeX/makeindex: 1: /bin/arch: not found +../../../Manual/LaTeX/makeindex: line 5: /bin/arch: No such file or directory makeindex is not built for . @@ -45261,7 +45296,7 @@ make[6]: Entering directory '/build/reproducible-path/hol88-2.02.19940316/Library/numeral/Manual' \ ../../../Manual/LaTeX/makeindex ../../../ numeral.idx index.tex -../../../Manual/LaTeX/makeindex: 1: /bin/arch: not found +../../../Manual/LaTeX/makeindex: line 5: /bin/arch: No such file or directory makeindex is not built for . @@ -45380,7 +45415,7 @@ make[6]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316/Library/pair/Manual' make[6]: Entering directory '/build/reproducible-path/hol88-2.02.19940316/Library/pair/Manual' ../../../Manual/LaTeX/makeindex ../../../ index.tex pair -../../../Manual/LaTeX/makeindex: 1: /bin/arch: not found +../../../Manual/LaTeX/makeindex: line 5: /bin/arch: No such file or directory makeindex is not built for . @@ -45496,7 +45531,7 @@ make[6]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316/Library/parser/Manual' make[6]: Entering directory '/build/reproducible-path/hol88-2.02.19940316/Library/parser/Manual' ../../../Manual/LaTeX/makeindex ../../../ parser.idx index.tex -../../../Manual/LaTeX/makeindex: 1: /bin/arch: not found +../../../Manual/LaTeX/makeindex: line 5: /bin/arch: No such file or directory makeindex is not built for . @@ -45736,7 +45771,7 @@ make[6]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316/Library/pred_sets/Manual' make[6]: Entering directory '/build/reproducible-path/hol88-2.02.19940316/Library/pred_sets/Manual' ../../../Manual/LaTeX/makeindex ../../../ pred_sets.idx index.tex -../../../Manual/LaTeX/makeindex: 1: /bin/arch: not found +../../../Manual/LaTeX/makeindex: line 5: /bin/arch: No such file or directory makeindex is not built for . @@ -46077,7 +46112,7 @@ make[6]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316/Library/prettyp/Manual' make[6]: Entering directory '/build/reproducible-path/hol88-2.02.19940316/Library/prettyp/Manual' ../../../Manual/LaTeX/makeindex ../../../ prettyp.idx index.tex -../../../Manual/LaTeX/makeindex: 1: /bin/arch: not found +../../../Manual/LaTeX/makeindex: line 5: /bin/arch: No such file or directory makeindex is not built for . @@ -46284,7 +46319,7 @@ make[6]: Entering directory '/build/reproducible-path/hol88-2.02.19940316/Library/reals/Manual' \ ../../../Manual/LaTeX/makeindex ../../../ reals.idx index.tex -../../../Manual/LaTeX/makeindex: 1: /bin/arch: not found +../../../Manual/LaTeX/makeindex: line 5: /bin/arch: No such file or directory makeindex is not built for . @@ -46627,7 +46662,7 @@ make[6]: Entering directory '/build/reproducible-path/hol88-2.02.19940316/Library/reduce/Manual' \ ../../../Manual/LaTeX/makeindex ../../../ reduce.idx index.tex -../../../Manual/LaTeX/makeindex: 1: /bin/arch: not found +../../../Manual/LaTeX/makeindex: line 5: /bin/arch: No such file or directory makeindex is not built for . @@ -46819,7 +46854,7 @@ make[6]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316/Library/res_quan/Manual' make[6]: Entering directory '/build/reproducible-path/hol88-2.02.19940316/Library/res_quan/Manual' ../../../Manual/LaTeX/makeindex ../../../ res_quan.idx index.tex -../../../Manual/LaTeX/makeindex: 1: /bin/arch: not found +../../../Manual/LaTeX/makeindex: line 5: /bin/arch: No such file or directory makeindex is not built for . @@ -47087,7 +47122,7 @@ make[6]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316/Library/sets/Manual' make[6]: Entering directory '/build/reproducible-path/hol88-2.02.19940316/Library/sets/Manual' ../../../Manual/LaTeX/makeindex ../../../ sets.idx index.tex -../../../Manual/LaTeX/makeindex: 1: /bin/arch: not found +../../../Manual/LaTeX/makeindex: line 5: /bin/arch: No such file or directory makeindex is not built for . @@ -47248,7 +47283,7 @@ make[6]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316/Library/string/Manual' make[6]: Entering directory '/build/reproducible-path/hol88-2.02.19940316/Library/string/Manual' ../../../Manual/LaTeX/makeindex ../../../ string.idx index.tex -../../../Manual/LaTeX/makeindex: 1: /bin/arch: not found +../../../Manual/LaTeX/makeindex: line 5: /bin/arch: No such file or directory makeindex is not built for . @@ -47393,7 +47428,7 @@ make[6]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316/Library/taut/Manual' make[6]: Entering directory '/build/reproducible-path/hol88-2.02.19940316/Library/taut/Manual' ../../../Manual/LaTeX/makeindex ../../../ taut.idx index.tex -../../../Manual/LaTeX/makeindex: 1: /bin/arch: not found +../../../Manual/LaTeX/makeindex: line 5: /bin/arch: No such file or directory makeindex is not built for . @@ -47545,7 +47580,7 @@ make[6]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316/Library/trs/Manual' make[6]: Entering directory '/build/reproducible-path/hol88-2.02.19940316/Library/trs/Manual' ../../../Manual/LaTeX/makeindex ../../../ trs.idx index.tex -../../../Manual/LaTeX/makeindex: 1: /bin/arch: not found +../../../Manual/LaTeX/makeindex: line 5: /bin/arch: No such file or directory makeindex is not built for . @@ -47701,7 +47736,7 @@ make[6]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316/Library/unwind/Manual' make[6]: Entering directory '/build/reproducible-path/hol88-2.02.19940316/Library/unwind/Manual' ../../../Manual/LaTeX/makeindex ../../../ unwind.idx index.tex -../../../Manual/LaTeX/makeindex: 1: /bin/arch: not found +../../../Manual/LaTeX/makeindex: line 5: /bin/arch: No such file or directory makeindex is not built for . @@ -47879,7 +47914,7 @@ make[6]: Entering directory '/build/reproducible-path/hol88-2.02.19940316/Library/wellorder/Manual' \ ../../../Manual/LaTeX/makeindex ../../../ wellorder.idx index.tex -../../../Manual/LaTeX/makeindex: 1: /bin/arch: not found +../../../Manual/LaTeX/makeindex: line 5: /bin/arch: No such file or directory makeindex is not built for . @@ -48075,7 +48110,7 @@ make[6]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316/Library/window/Manual' make[6]: Entering directory '/build/reproducible-path/hol88-2.02.19940316/Library/window/Manual' ../../../Manual/LaTeX/makeindex ../../../ window.idx index.tex -../../../Manual/LaTeX/makeindex: 1: /bin/arch: not found +../../../Manual/LaTeX/makeindex: line 5: /bin/arch: No such file or directory makeindex is not built for . @@ -48300,7 +48335,7 @@ make[6]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316/Library/word/Manual' make[6]: Entering directory '/build/reproducible-path/hol88-2.02.19940316/Library/word/Manual' ../../../Manual/LaTeX/makeindex ../../../ word.idx index.tex -../../../Manual/LaTeX/makeindex: 1: /bin/arch: not found +../../../Manual/LaTeX/makeindex: line 5: /bin/arch: No such file or directory makeindex is not built for . @@ -48561,7 +48596,7 @@ ===> endpages.dvi created dvips endpages > endpages.ps This is dvips(k) 2020.1 Copyright 2020 Radical Eye Software (www.radicaleye.com) -' TeX output 2024.01.06:0844' -> endpages.ps +' TeX output 2025.02.08:1715' -> endpages.ps @@ -48624,7 +48659,7 @@ ===> titlepages.dvi created dvips titlepages > titlepages.ps This is dvips(k) 2020.1 Copyright 2020 Radical Eye Software (www.radicaleye.com) -' TeX output 2024.01.06:0844' -> titlepages.ps +' TeX output 2025.02.08:1715' -> titlepages.ps @@ -48772,13 +48807,13 @@ dh_gencontrol dh_md5sums dh_builddeb -dpkg-deb: building package 'hol88-source' in '../hol88-source_2.02.19940316-35.1_all.deb'. -dpkg-deb: building package 'hol88-contrib-help' in '../hol88-contrib-help_2.02.19940316-35.1_all.deb'. dpkg-deb: building package 'hol88-library-source' in '../hol88-library-source_2.02.19940316-35.1_all.deb'. +dpkg-deb: building package 'hol88-contrib-help' in '../hol88-contrib-help_2.02.19940316-35.1_all.deb'. +dpkg-deb: building package 'hol88-doc' in '../hol88-doc_2.02.19940316-35.1_all.deb'. +dpkg-deb: building package 'hol88-contrib-source' in '../hol88-contrib-source_2.02.19940316-35.1_all.deb'. dpkg-deb: building package 'hol88-library-help' in '../hol88-library-help_2.02.19940316-35.1_all.deb'. dpkg-deb: building package 'hol88-help' in '../hol88-help_2.02.19940316-35.1_all.deb'. -dpkg-deb: building package 'hol88-contrib-source' in '../hol88-contrib-source_2.02.19940316-35.1_all.deb'. -dpkg-deb: building package 'hol88-doc' in '../hol88-doc_2.02.19940316-35.1_all.deb'. +dpkg-deb: building package 'hol88-source' in '../hol88-source_2.02.19940316-35.1_all.deb'. make[1]: Leaving directory '/build/reproducible-path/hol88-2.02.19940316' dpkg-genbuildinfo --build=binary dpkg-genchanges --build=binary >../hol88_2.02.19940316-35.1_arm64.changes @@ -48787,12 +48822,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/1553967/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/1553967/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/930061 and its subdirectories -I: Current time: Sat Jan 6 08:45:12 -12 2024 -I: pbuilder-time-stamp: 1704573912 +I: removing directory /srv/workspace/pbuilder/1553967 and its subdirectories +I: Current time: Sat Feb 8 17:16:38 +14 2025 +I: pbuilder-time-stamp: 1738984598