Diff of the two buildlogs: -- --- b1/build.log 2024-01-07 05:57:09.194642481 +0000 +++ b2/build.log 2024-01-07 05:58:24.023377910 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Sat Feb 8 00:19:07 -12 2025 -I: pbuilder-time-stamp: 1739017147 +I: Current time: Sun Jan 7 19:57:12 +14 2024 +I: pbuilder-time-stamp: 1704607032 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/bullseye-reproducible-base.tgz] I: copying local configuration @@ -17,7 +17,7 @@ I: copying [./cafeobj_1.6.0-2.debian.tar.xz] I: Extracting source gpgv: unknown type of key resource 'trustedkeys.kbx' -gpgv: keyblock resource '/tmp/dpkg-verify-sig.kUBqW9xj/trustedkeys.kbx': General error +gpgv: keyblock resource '/tmp/dpkg-verify-sig.YEeEdEaH/trustedkeys.kbx': General error gpgv: Signature made Tue Feb 18 20:32:50 2020 gpgv: using RSA key EBCC2CD2FAC0DAFA105F9DC8D80E09B087140066 gpgv: Can't check signature: No public key @@ -29,49 +29,80 @@ dpkg-source: info: applying armhf-remove-buildopts I: using fakeroot in build. I: Installing the build-deps -I: user script /srv/workspace/pbuilder/789727/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/3035325/tmp/hooks/D01_modify_environment starting +debug: Running on ionos11-amd64. +I: Changing host+domainname to test build reproducibility +I: Adding a custom variable just for the fun of it... +I: Changing /bin/sh to bash +'/bin/sh' -> '/bin/bash' +lrwxrwxrwx 1 root root 9 Jan 7 05:57 /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/3035325/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/3035325/tmp/hooks/D02_print_environment starting I: set - BUILDDIR='/build/reproducible-path' - BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' - BUILDUSERNAME='pbuilder1' - BUILD_ARCH='amd64' - DEBIAN_FRONTEND='noninteractive' - DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all,-fixfilepath parallel=16 ' - DISTRIBUTION='bullseye' - HOME='/root' - HOST_ARCH='amd64' + 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]="x86_64-pc-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=amd64 + DEBIAN_FRONTEND=noninteractive + DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all,-fixfilepath parallel=15 ' + DIRSTACK=() + DISTRIBUTION=bullseye + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/root + HOSTNAME=i-capture-the-hostname + HOSTTYPE=x86_64 + HOST_ARCH=amd64 IFS=' ' - INVOCATION_ID='00db365891b24bc0a437fb6d9615c96b' - 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='789727' - PS1='# ' - PS2='> ' + INVOCATION_ID=059264e5addb447f838260be615427d8 + LANG=C + LANGUAGE=et_EE:et + LC_ALL=C + MACHTYPE=x86_64-pc-linux-gnu + MAIL=/var/mail/root + OPTERR=1 + OPTIND=1 + OSTYPE=linux-gnu + PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path + PBCURRENTCOMMANDLINEOPERATION=build + PBUILDER_OPERATION=build + PBUILDER_PKGDATADIR=/usr/share/pbuilder + PBUILDER_PKGLIBDIR=/usr/lib/pbuilder + PBUILDER_SYSCONFDIR=/etc + PIPESTATUS=([0]="0") + POSIXLY_CORRECT=y + PPID=3035325 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.2dZQKJBp/pbuilderrc_v2O7 --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.2dZQKJBp/b1 --logfile b1/build.log cafeobj_1.6.0-2.dsc' - SUDO_GID='111' - SUDO_UID='106' - SUDO_USER='jenkins' - TERM='unknown' - TZ='/usr/share/zoneinfo/Etc/GMT+12' - USER='root' - _='/usr/bin/systemd-run' - http_proxy='http://85.184.249.68: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.2dZQKJBp/pbuilderrc_oso0 --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.2dZQKJBp/b2 --logfile b2/build.log cafeobj_1.6.0-2.dsc' + SUDO_GID=111 + SUDO_UID=106 + SUDO_USER=jenkins + TERM=unknown + TZ=/usr/share/zoneinfo/Etc/GMT-14 + UID=0 + USER=root + _='I: set' + http_proxy=http://78.137.99.97:3128 I: uname -a - Linux ionos15-amd64 6.5.0-0.deb12.4-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.5.10-1~bpo12+1 (2023-11-23) x86_64 GNU/Linux + Linux i-capture-the-hostname 6.1.0-17-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.69-1 (2023-12-30) x86_64 GNU/Linux I: ls -l /bin total 5476 -rwxr-xr-x 1 root root 1234376 Mar 27 2022 bash @@ -131,7 +162,7 @@ -rwxr-xr-x 1 root root 52032 Sep 24 2020 rmdir -rwxr-xr-x 1 root root 27472 Sep 27 2020 run-parts -rwxr-xr-x 1 root root 122224 Dec 22 2018 sed - lrwxrwxrwx 1 root root 4 Jan 8 15:47 sh -> dash + lrwxrwxrwx 1 root root 9 Jan 7 05:57 sh -> /bin/bash -rwxr-xr-x 1 root root 43808 Sep 24 2020 sleep -rwxr-xr-x 1 root root 84928 Sep 24 2020 stty -rwsr-xr-x 1 root root 71912 Jan 20 2022 su @@ -157,7 +188,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/789727/tmp/hooks/D02_print_environment finished +I: user script /srv/workspace/pbuilder/3035325/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -227,7 +258,7 @@ Get: 30 http://deb.debian.org/debian bullseye/main amd64 po-debconf all 1.0.21+nmu1 [248 kB] Get: 31 http://deb.debian.org/debian bullseye/main amd64 debhelper all 13.3.4 [1049 kB] Get: 32 http://deb.debian.org/debian bullseye/main amd64 sbcl amd64 2:2.1.1-2 [9187 kB] -Fetched 27.5 MB in 0s (84.1 MB/s) +Fetched 27.5 MB in 2s (17.9 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 ... 17743 files and directories currently installed.) @@ -376,7 +407,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/cafeobj-1.6.0/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-genchanges -S > ../cafeobj_1.6.0-2_source.changes +I: user script /srv/workspace/pbuilder/3035325/tmp/hooks/A99_set_merged_usr starting +Not re-configuring usrmerge for bullseye +I: user script /srv/workspace/pbuilder/3035325/tmp/hooks/A99_set_merged_usr finished +hostname: Name or service not known +I: Running cd /build/reproducible-path/cafeobj-1.6.0/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-genchanges -S > ../cafeobj_1.6.0-2_source.changes dpkg-buildpackage: info: source package cafeobj dpkg-buildpackage: info: source version 1.6.0-2 dpkg-buildpackage: info: source distribution unstable @@ -569,7 +604,7 @@ ; processing (LET (#) ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/specials-tmpAAURSO1.fasl -; compilation finished in 0:00:00.012 +; compilation finished in 0:00:00.015 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/util.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CL-PPCRE) ; processing (DEFMACRO DEFCONSTANT ...) @@ -612,7 +647,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/util-tmp5GEXGEG5.fasl -; compilation finished in 0:00:00.040 +; compilation finished in 0:00:00.056 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/errors.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CL-PPCRE) ; processing (DEFVAR *SYNTAX-ERROR-STRING* ...) @@ -626,7 +661,7 @@ ; processing (DEFMACRO SIGNAL-INVOCATION-ERROR ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/errors-tmpAR3FSGEY.fasl -; compilation finished in 0:00:00.016 +; compilation finished in 0:00:00.015 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/charset.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CL-PPCRE) ; processing (DEFCONSTANT +PROBE-DEPTH+ ...) @@ -1046,7 +1081,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/charset-tmpJAIDFZTC.fasl -; compilation finished in 0:00:00.040 +; compilation finished in 0:00:00.055 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/charmap.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CL-PPCRE) ; processing (DEFSTRUCT (CHARMAP #) ...) @@ -1215,7 +1250,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/charmap-tmp8V3J6PE9.fasl -; compilation finished in 0:00:00.040 +; compilation finished in 0:00:00.043 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/chartest.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CL-PPCRE) ; processing (DEFUN CREATE-HASH-TABLE-FROM-TEST-FUNCTION ...) @@ -1560,7 +1595,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/chartest-tmp9V47YWQF.fasl -; compilation finished in 0:00:00.016 +; compilation finished in 0:00:00.028 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/lexer.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CL-PPCRE) ; processing (DECLAIM (INLINE MAP-CHAR-TO-SPECIAL-CLASS)) @@ -1642,7 +1677,7 @@ ; processing (DEFUN START-OF-SUBEXPR-P ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/lexer-tmp9BN22RMA.fasl -; compilation finished in 0:00:00.104 +; compilation finished in 0:00:00.119 WARNING: Lisp compilation had style-warnings while compiling # @@ -1663,7 +1698,7 @@ ; processing (DEFUN PARSE-STRING ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/parser-tmp1CXFJSK9.fasl -; compilation finished in 0:00:00.016 +; compilation finished in 0:00:00.020 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/regex-class.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CL-PPCRE) ; processing (DEFCLASS REGEX ...) @@ -1708,7 +1743,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/regex-class-tmpX4BRKI0R.fasl -; compilation finished in 0:00:00.016 +; compilation finished in 0:00:00.023 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/regex-class-util.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CL-PPCRE) ; processing (DEFMETHOD LEN ...) @@ -2893,7 +2928,7 @@ ; processing (DEFMETHOD COMPUTE-OFFSETS ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/regex-class-util-tmpQ371UGST.fasl -; compilation finished in 0:00:00.160 +; compilation finished in 0:00:00.175 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/convert.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CL-PPCRE) ; processing (DEFMACRO CASE-INSENSITIVE-MODE-P ...) @@ -3642,7 +3677,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/convert-tmp2OWI3Q7U.fasl -; compilation finished in 0:00:00.172 +; compilation finished in 0:00:00.187 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/optimize.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CL-PPCRE) ; processing (DEFGENERIC FLATTEN ...) @@ -4570,7 +4605,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/optimize-tmp9KKTJMYV.fasl -; compilation finished in 0:00:00.128 +; compilation finished in 0:00:00.171 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/closures.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CL-PPCRE) ; processing (DECLAIM (INLINE *STRING*= ...)) @@ -4723,7 +4758,7 @@ ; processing (DEFMETHOD CREATE-MATCHER-AUX ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/closures-tmpJU0JWO19.fasl -; compilation finished in 0:00:00.104 +; compilation finished in 0:00:00.131 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/repetition-closures.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CL-PPCRE) ; processing (DEFMACRO INCF-AFTER ...) @@ -6867,7 +6902,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/repetition-closures-tmpZX2WN8N4.fasl -; compilation finished in 0:00:00.236 +; compilation finished in 0:00:00.275 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/scanner.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CL-PPCRE) ; processing (DEFMACRO BMH-MATCHER-AUX ...) @@ -8380,7 +8415,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/scanner-tmpOU81XRV0.fasl -; compilation finished in 0:00:00.336 +; compilation finished in 0:00:00.347 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/api.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CL-PPCRE) ; processing (DEFGENERIC CREATE-SCANNER ...) @@ -8600,7 +8635,7 @@ ; #<(SIMPLE-ARRAY CHARACTER ; (495)) Iterates over TARGET-STRING and tries to match REGEX as often as ; possible evaluating BODY with MATCH-START, MATCH-END, REG-STARTS, and -; REG-ENDS bound to the four return values of each match in turn. ... {100BED75EF}> +; REG-ENDS bound to the four return values of each match in turn. ... {100BDE451F}> ; (CL-PPCRE::WITH-REBINDING (CL-PPCRE::TARGET-STRING) ; (CL-PPCRE::WITH-UNIQUE-NAMES (CL-PPCRE::%START CL-PPCRE::%END ; CL-PPCRE::%REGEX CL-PPCRE::SCANNER) @@ -8635,7 +8670,7 @@ ; (477)) Iterates over TARGET-STRING and tries to match REGEX as often as ; possible evaluating BODY with MATCH-START and MATCH-END bound to the ; start/end positions of each match in turn. After the last match, -; ... {100C32270F}> +; ... {100C228C3F}> ; (CL-PPCRE::WITH-UNIQUE-NAMES (CL-PPCRE::REG-STARTS CL-PPCRE::REG-ENDS) ; `(CL-PPCRE:DO-SCANS (,CL-PPCRE::MATCH-START ,CL-PPCRE::MATCH-END ; ,CL-PPCRE::REG-STARTS ,CL-PPCRE::REG-ENDS @@ -8668,7 +8703,7 @@ ; (569)) Iterates over TARGET-STRING and tries to match REGEX as often as ; possible evaluating BODY with MATCH-VAR bound to the substring of ; TARGET-STRING corresponding to each match in turn. After the last -; ma... {100C49A60F}> +; ma... {100C39DDFF}> ; (CL-PPCRE::WITH-REBINDING (CL-PPCRE::TARGET-STRING) ; (CL-PPCRE::WITH-UNIQUE-NAMES (CL-PPCRE::MATCH-START CL-PPCRE::MATCH-END ; CL-PPCRE::SUBSTR-FN) @@ -8700,7 +8735,7 @@ ; (820)) Iterates over TARGET-STRING and tries to match REGEX as often as ; possible evaluating BODY with the variables in VAR-LIST bound to the ; corresponding register groups for each match in turn, i.e. each -; va... {100C68B9DF}> +; va... {100C58C6EF}> ; (CL-PPCRE::WITH-REBINDING (CL-PPCRE::TARGET-STRING) ; (CL-PPCRE::WITH-UNIQUE-NAMES (CL-PPCRE::SUBSTR-FN CL-PPCRE::MATCH-START ; CL-PPCRE::MATCH-END CL-PPCRE::REG-STARTS @@ -10244,7 +10279,7 @@ ; (221)) Similar to the standard function APROPOS-LIST but returns a list of ; all symbols which match the regular expression REGEX. If ; CASE-INSENSITIVE is true and REGEX isn't already a scanner, a -; case-insensi... {10018894BF}> +; case-insensi... {100E5F468F}> ; (LET ((CL-PPCRE::COLLECTOR 'NIL)) ; (CL-PPCRE::REGEX-APROPOS-AUX (CL-PPCRE::REGEX CL-PPCRE::PACKAGES ; CL-PPCRE::CASE-INSENSITIVE @@ -10260,7 +10295,7 @@ ; (221)) Similar to the standard function APROPOS-LIST but returns a list of ; all symbols which match the regular expression REGEX. If ; CASE-INSENSITIVE is true and REGEX isn't already a scanner, a -; case-insensi... {10018894BF}> +; case-insensi... {100E5F468F}> ; (DECLARE ; (OPTIMIZE SPEED (SAFETY 0) (SPACE 0) (DEBUG 1) (COMPILATION-SPEED 0))) ; (BLOCK CL-PPCRE:REGEX-APROPOS-LIST @@ -10286,7 +10321,7 @@ ; #<(SIMPLE-ARRAY CHARACTER ; (216)) Similar to the standard function APROPOS but returns a list of all ; symbols which match the regular expression REGEX. If CASE-INSENSITIVE -; is true and REGEX isn't already a scanner, a case-insensitive ... {1001DB4EAF}> +; is true and REGEX isn't already a scanner, a case-insensitive ... {1001C84CCF}> ; (DECLARE ; (OPTIMIZE SPEED (SAFETY 0) (SPACE 0) (DEBUG 1) (COMPILATION-SPEED 0))) ; (CL-PPCRE::REGEX-APROPOS-AUX (CL-PPCRE::REGEX CL-PPCRE::PACKAGES @@ -10302,7 +10337,7 @@ ; #<(SIMPLE-ARRAY CHARACTER ; (216)) Similar to the standard function APROPOS but returns a list of all ; symbols which match the regular expression REGEX. If CASE-INSENSITIVE -; is true and REGEX isn't already a scanner, a case-insensitive ... {1001DB4EAF}> +; is true and REGEX isn't already a scanner, a case-insensitive ... {1001C84CCF}> ; (DECLARE ; (OPTIMIZE SPEED (SAFETY 0) (SPACE 0) (DEBUG 1) (COMPILATION-SPEED 0))) ; (BLOCK CL-PPCRE:REGEX-APROPOS @@ -10324,7 +10359,7 @@ ; processing (DEFMACRO DEFINE-PARSE-TREE-SYNONYM ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/api-tmpY2ML9CFA.fasl -; compilation finished in 0:00:00.324 +; compilation finished in 0:00:00.351 WARNING: Lisp compilation had style-warnings while compiling # @@ -10342,8 +10377,8 @@ ; processing (DEFPACKAGE "CHAOS" ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos-package-tmpX2JYJDQE.fasl -; compilation finished in 0:00:00.004 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/version.lisp" (written 08 FEB 2025 12:19:26 PM): +; compilation finished in 0:00:00.000 +; compiling file "/build/reproducible-path/cafeobj-1.6.0/version.lisp" (written 07 JAN 2024 05:57:33 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DEFVAR CAFEOBJ-VERSION) ; processing (DEFVAR CAFEOBJ-VERSION-MAJOR) @@ -10357,7 +10392,7 @@ ; processing (SETQ CAFEOBJ-VERSION ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/version-tmpOPCILR65.fasl -; compilation finished in 0:00:00.000 +; compilation finished in 0:00:00.004 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/comlib/globals.lisp" (written 17 JAN 2019 06:56:23 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -10758,7 +10793,7 @@ ; processing (DEFVAR *TOP-LEVEL-TAG* ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/comlib/globals-tmpRV9F8A9A.fasl -; compilation finished in 0:00:00.032 +; compilation finished in 0:00:00.035 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/comlib/macros.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -10781,7 +10816,7 @@ ; processing (DEFMACRO FIXNUMP ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/comlib/macros-tmpK2ZAJT4I.fasl -; compilation finished in 0:00:00.036 +; compilation finished in 0:00:00.039 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/comlib/print-utils.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -10907,7 +10942,7 @@ ; processing (DEFUN PRINT-SIMPLE-PRINC-OPEN ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/comlib/print-utils-tmpUX5S4ADN.fasl -; compilation finished in 0:00:00.024 +; compilation finished in 0:00:00.023 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/comlib/message.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -11091,7 +11126,7 @@ ; processing (DEFMACRO I-MISS-CURRENT-MODULE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/comlib/message-tmp10401X32.fasl -; compilation finished in 0:00:00.068 +; compilation finished in 0:00:00.079 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/comlib/error.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -11107,7 +11142,7 @@ ; processing (DEFMACRO IGNORING-CHAOS-ERROR ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/comlib/error-tmpZ7CBRM0G.fasl -; compilation finished in 0:00:00.012 +; compilation finished in 0:00:00.015 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/comlib/misc.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -11363,7 +11398,7 @@ ; processing (DEFMACRO EXPT2 ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/comlib/misc-tmp9OZEQ0G2.fasl -; compilation finished in 0:00:00.132 +; compilation finished in 0:00:00.139 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/comlib/string.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -11372,7 +11407,7 @@ ; processing (DEFMACRO NUMERIC-CHAR-P ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/comlib/string-tmpB2JTL1W9.fasl -; compilation finished in 0:00:00.016 +; compilation finished in 0:00:00.015 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/comlib/list.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -11405,7 +11440,7 @@ ; processing (DEFUN GET-BDAG-PARENTS ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/comlib/dag-tmpQDARA81Z.fasl -; compilation finished in 0:00:00.056 +; compilation finished in 0:00:00.055 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/comlib/fsys.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -11539,7 +11574,7 @@ ; processing (DEFUN CHAOS-INITIALIZE-FSYS ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/comlib/fsys-tmpYEMMM7SE.fasl -; compilation finished in 0:00:00.172 +; compilation finished in 0:00:00.195 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/comlib/tree-display.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -12226,7 +12261,7 @@ ; processing (DEFUN PRINT-TREES ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/comlib/tree-display-tmp73HU0RPK.fasl -; compilation finished in 0:00:00.076 +; compilation finished in 0:00:00.087 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/comlib/lex.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -12506,7 +12541,7 @@ ; processing (DEFUN !LEX-READ-INIT ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/comlib/lex-tmpIO5N7K88.fasl -; compilation finished in 0:00:00.144 +; compilation finished in 0:00:00.155 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/comlib/reader.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -12620,7 +12655,7 @@ ; processing (DEFUN WAIT-UNTIL-NON-WHITE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/comlib/reader-tmpCM21U60Z.fasl -; compilation finished in 0:00:00.132 +; compilation finished in 0:00:00.147 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/comlib/let-over-lambda.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (IF (STRING-LESSP # ...) ...) @@ -12687,7 +12722,7 @@ ; processing (DEFMACRO WHEN-MATCH ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/comlib/let-over-lambda-tmp9DT7SEFG.fasl -; compilation finished in 0:00:00.152 +; compilation finished in 0:00:00.159 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bterm.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -12851,7 +12886,7 @@ ; processing (DEFUN SIMPLE-COPY-TERM ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bterm-tmp8065ESJT.fasl -; compilation finished in 0:00:00.272 +; compilation finished in 0:00:00.275 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/defterm.lisp" (written 17 JAN 2019 06:56:23 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -13022,7 +13057,7 @@ ; processing (DEFUN IS-AST ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/defterm-tmp7S8Z6FGF.fasl -; compilation finished in 0:00:00.280 +; compilation finished in 0:00:00.295 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bobject.lisp" (written 04 MAR 2019 06:26:47 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -13091,7 +13126,7 @@ ; processing (DEFSTRUCT (STABLE) ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bobject-tmpSIT3QPKP.fasl -; compilation finished in 0:00:00.252 +; compilation finished in 0:00:00.243 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/absntax.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -13132,7 +13167,7 @@ ; processing (DEFTERM VIEW-DECL ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/absntax-tmpE0PA0714.fasl -; compilation finished in 0:00:00.516 +; compilation finished in 0:00:00.543 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/script.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -13189,7 +13224,7 @@ ; processing (DEFTERM GENDOC ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/script-tmpJRWHHVG0.fasl -; compilation finished in 0:00:00.760 +; compilation finished in 0:00:00.815 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/op-theory.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -13308,7 +13343,7 @@ ; processing (DEFUN THEORY-CONTAINS-AZ-DIRECT ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/op-theory-tmp4WZVROCX.fasl -; compilation finished in 0:00:00.096 +; compilation finished in 0:00:00.123 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bmodexp.lisp" (written 04 MAR 2019 06:39:10 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -13344,7 +13379,7 @@ ; processing (DEFMACRO MODMORPH-ASSOC-IMAGES ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bmodexp-tmpA0I3UKX8.fasl -; compilation finished in 0:00:00.172 +; compilation finished in 0:00:00.191 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bmodule2.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -13555,7 +13590,7 @@ ; processing (DEFUN CLEAN-UP-MODULE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bmodule2-tmp267Y2N80.fasl -; compilation finished in 0:00:00.244 +; compilation finished in 0:00:00.283 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bview2.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -13598,7 +13633,7 @@ ; processing (DEFUN IS-DUMMY-MODULE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bview2-tmpOUPE5FSJ.fasl -; compilation finished in 0:00:00.036 +; compilation finished in 0:00:00.035 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/parse-modexp.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -13661,7 +13696,7 @@ ; processing (DEFUN PARSE-BALANCED-CONTEXT-ONE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/parse-modexp-tmpIGHCU6ZA.fasl -; compilation finished in 0:00:00.096 +; compilation finished in 0:00:00.103 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/normodexp.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -13681,7 +13716,7 @@ ; processing (DEFUN NORMALIZE-VIEW ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/normodexp-tmpBO0TUGLK.fasl -; compilation finished in 0:00:00.020 +; compilation finished in 0:00:00.019 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bsort.lisp" (written 17 JAN 2019 06:56:23 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -13834,7 +13869,7 @@ ; processing (DEFUN GET-FAMILY ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bsort-tmpIIXPIQNW.fasl -; compilation finished in 0:00:00.328 +; compilation finished in 0:00:00.347 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/boperator.lisp" (written 10 DEC 2019 02:26:49 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -14109,7 +14144,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/boperator-tmpOHM494YR.fasl -; compilation finished in 0:00:00.444 +; compilation finished in 0:00:00.503 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/baxioms.lisp" (written 17 JAN 2019 06:56:23 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -14152,7 +14187,7 @@ ; processing (DEFUN AXIOM-CONTAINS-ERROR-METHOD? ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/baxioms-tmpOVFB07XF.fasl -; compilation finished in 0:00:00.120 +; compilation finished in 0:00:00.131 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bmacro.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -14210,7 +14245,7 @@ ; processing (DEFUN EVAL-AST2 ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/gen-eval-tmp4QIPRMOF.fasl -; compilation finished in 0:00:00.012 +; compilation finished in 0:00:00.019 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/meta.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DEFUN CLEAR-METALEVEL-SORT ...) @@ -14258,7 +14293,7 @@ ; processing (DEFUN CHECK-RWL-COHERENCY ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/meta-tmpGW0QV22K.fasl -; compilation finished in 0:00:00.100 +; compilation finished in 0:00:00.115 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/gen-print.lisp" (written 30 SEP 2019 05:33:23 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -14509,7 +14544,7 @@ ; processing (DEFUN DUMP-MODEXP-VIEW ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/gen-print-tmp2K9J0HSR.fasl -; compilation finished in 0:00:00.148 +; compilation finished in 0:00:00.175 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/context.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -14528,7 +14563,7 @@ ; processing (DEFUN CONTEXT-POP-AND-RECOVER ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/context-tmpP44I4E0Y.fasl -; compilation finished in 0:00:00.020 +; compilation finished in 0:00:00.028 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/term-utils.lisp" (written 17 JAN 2019 06:56:23 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -14813,7 +14848,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/term-utils-tmp63LQ7EX6.fasl -; compilation finished in 0:00:00.448 +; compilation finished in 0:00:00.471 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/find.lisp" (written 17 JAN 2019 06:56:23 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -14966,7 +15001,7 @@ ; processing (DEFUN SYMBOL-TABLE-GET ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/find-tmp86F1A8FB.fasl -; compilation finished in 0:00:00.156 +; compilation finished in 0:00:00.151 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/print-object.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -15142,7 +15177,7 @@ ; processing (DEFUN PRINT-INSTANCE-DB ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/print-object-tmpH7D4HL98.fasl -; compilation finished in 0:00:00.272 +; compilation finished in 0:00:00.279 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/term-parser/parse-macro.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -15195,7 +15230,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/term-parser/parse-macro-tmpCDM7YXYI.fasl -; compilation finished in 0:00:00.028 +; compilation finished in 0:00:00.024 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/term-parser/parse-engine.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -15381,7 +15416,7 @@ ; processing (DEFUN ARE-WELL-DEFINED-TERMS ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/term-parser/parse-engine-tmpLM57P5P.fasl -; compilation finished in 0:00:00.184 +; compilation finished in 0:00:00.183 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/term-parser/parse-top.lisp" (written 10 DEC 2019 02:30:56 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -15479,7 +15514,7 @@ ; processing (DEFUN METHOD-COMPRESS-OVERLOADED-SET ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/term-parser/parse-top-tmpZE69DN33.fasl -; compilation finished in 0:00:00.152 +; compilation finished in 0:00:00.151 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-utils.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -15555,7 +15590,7 @@ ; processing (DEFUN MATCH-SYSTEM-MODIF-M-SYS ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-system-tmpTASQCYAW.fasl -; compilation finished in 0:00:00.172 +; compilation finished in 0:00:00.183 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-state.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -15606,7 +15641,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-state-tmp35U57IV6.fasl -; compilation finished in 0:00:00.044 +; compilation finished in 0:00:00.051 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-e.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -15615,7 +15650,7 @@ ; processing (DEFUN MATCH-EMPTY-EQUAL ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-e-tmpTZOONXRW.fasl -; compilation finished in 0:00:00.016 +; compilation finished in 0:00:00.024 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-idem.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -15623,7 +15658,7 @@ ; processing (DEFUN IDEM-EXT-MATCH ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-idem-tmpWN0UKDSV.fasl -; compilation finished in 0:00:00.012 +; compilation finished in 0:00:00.015 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-z.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -15633,7 +15668,7 @@ ; processing (DEFUN MATCH-Z-EQUAL ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-z-tmpBF3HHBTQ.fasl -; compilation finished in 0:00:00.032 +; compilation finished in 0:00:00.035 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-a.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -15671,7 +15706,7 @@ ; processing (DEFUN MATCH-A-EQUAL ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-a-tmpGYUNPZCY.fasl -; compilation finished in 0:00:00.092 +; compilation finished in 0:00:00.115 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-c.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -15681,7 +15716,7 @@ ; processing (DEFUN MATCH-C-EQUAL ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-c-tmpD68Q8WCA.fasl -; compilation finished in 0:00:00.016 +; compilation finished in 0:00:00.023 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-az.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -15708,7 +15743,7 @@ ; processing (DEFUN MATCH-EQUATION-COMP-UNPARSE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-az-tmp7MK9KM9C.fasl -; compilation finished in 0:00:00.072 +; compilation finished in 0:00:00.095 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-cz.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -15718,7 +15753,7 @@ ; processing (DEFUN MATCH-CZ-EQUAL ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-cz-tmpJJ71X849.fasl -; compilation finished in 0:00:00.024 +; compilation finished in 0:00:00.031 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-ac.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -16091,7 +16126,7 @@ ; processing (SETF (GET # ...) ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-ac-tmp1VUK6SR2.fasl -; compilation finished in 0:00:00.272 +; compilation finished in 0:00:00.355 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-acz.lisp" (written 17 JAN 2019 06:56:23 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -16380,7 +16415,7 @@ ; processing (SETF (GET # ...) ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-acz-tmpR2FIHSUG.fasl -; compilation finished in 0:00:00.360 +; compilation finished in 0:00:00.375 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -16417,7 +16452,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-tmp8PYELRKX.fasl -; compilation finished in 0:00:00.016 +; compilation finished in 0:00:00.020 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match2.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -16455,7 +16490,7 @@ ; processing (DEFUN MATCH-IS-IDEM-EXT-OK? ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match2-tmpEHTOKYT0.fasl -; compilation finished in 0:00:00.088 +; compilation finished in 0:00:00.087 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/construct/sort.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -16669,7 +16704,7 @@ ; processing (DEFUN SORT-IS-PARAMETERIZED ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/construct/sort-tmpS6U1VHI9.fasl -; compilation finished in 0:00:00.120 +; compilation finished in 0:00:00.123 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/construct/operator.lisp" (written 04 MAR 2019 07:13:56 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -16828,7 +16863,7 @@ ; processing (DEFUN PROPAGATE-ATTRIBUTES ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/construct/operator-tmpVTFK6ZJW.fasl -; compilation finished in 0:00:00.392 +; compilation finished in 0:00:00.403 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/construct/variable.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -16905,7 +16940,7 @@ ; processing (DEFUN DECLARE-ERROR-VARIABLES-IN ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/construct/variable-tmp75WVSJEW.fasl -; compilation finished in 0:00:00.032 +; compilation finished in 0:00:00.035 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/construct/match-method.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -17022,7 +17057,7 @@ ; processing (DEFUN RECREATE-ERROR-AXIOM ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/construct/axiom-tmpOBHVA3CD.fasl -; compilation finished in 0:00:00.168 +; compilation finished in 0:00:00.175 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/construct/gen-rule.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -17139,7 +17174,7 @@ ; processing (DEFUN NORMALIZE-FOR-IDENTITY ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/construct/gen-rule-tmpJ6ELVFLF.fasl -; compilation finished in 0:00:00.144 +; compilation finished in 0:00:00.151 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/construct/rwl.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -17148,7 +17183,7 @@ ; processing (DEFUN ADD-RWL-AXIOMS ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/construct/rwl-tmpULDB0RG.fasl -; compilation finished in 0:00:00.036 +; compilation finished in 0:00:00.035 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/construct/beh.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -17224,7 +17259,7 @@ ; processing (DEFUN BEH-REWRITE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/construct/beh-tmpUTZ0UUTE.fasl -; compilation finished in 0:00:00.108 +; compilation finished in 0:00:00.123 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/construct/module.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -17322,7 +17357,7 @@ ; processing (DEFUN DELETE-VIEW ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/construct/module-tmpOOSRA8PZ.fasl -; compilation finished in 0:00:00.068 +; compilation finished in 0:00:00.063 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/construct/trs.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -17601,7 +17636,7 @@ ; processing (DEFUN TRS-AXIOM-IS-BUILT-IN ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/construct/trs-tmpDMIL0RVK.fasl -; compilation finished in 0:00:00.220 +; compilation finished in 0:00:00.231 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/decafe/mutils.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -17612,7 +17647,7 @@ ; processing (DEFUN MODMORPH-CHECK-RANK ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/decafe/mutils-tmp8MR9IMIO.fasl -; compilation finished in 0:00:00.008 +; compilation finished in 0:00:00.012 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/decafe/modmorph.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -17809,7 +17844,7 @@ ; processing (DEFUN MODMORPH-GET-IMAGE-OF-AXIOMS ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/decafe/modmorph-tmpJQDKAVAY.fasl -; compilation finished in 0:00:00.224 +; compilation finished in 0:00:00.243 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/decafe/mrmap.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -17920,7 +17955,7 @@ ; processing (DEFUN RECREATE-RENAMED-SORT ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/decafe/mrmap-tmp3I8CEEQY.fasl -; compilation finished in 0:00:00.108 +; compilation finished in 0:00:00.099 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/decafe/meval.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -17941,7 +17976,7 @@ ; processing (DEFUN CREATE-RENAME ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/decafe/meval-tmpA3RHFLWZ.fasl -; compilation finished in 0:00:00.052 +; compilation finished in 0:00:00.055 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/decafe/view.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -18062,7 +18097,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/decafe/view-tmpYZIB7VXO.fasl -; compilation finished in 0:00:00.152 +; compilation finished in 0:00:00.183 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/decafe/mimport.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -18150,7 +18185,7 @@ ; processing (DEFUN IMPORT-VARIABLES ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/decafe/mimport-tmpR8PK79V8.fasl -; compilation finished in 0:00:00.124 +; compilation finished in 0:00:00.131 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/cafein/rengine.lisp" (written 17 JAN 2019 06:56:23 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -18483,7 +18518,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/cafein/rengine-tmpN1ZVB1HZ.fasl -; compilation finished in 0:00:00.308 +; compilation finished in 0:00:00.347 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/cafein/cbred.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -18657,7 +18692,7 @@ ; processing (DEFUN DO-CBRED ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/cafein/cbred-tmpZGRRPISB.fasl -; compilation finished in 0:00:00.096 +; compilation finished in 0:00:00.087 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/cafein/reducer.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -18697,7 +18732,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/cafein/reducer-tmpFNKDE5XP.fasl -; compilation finished in 0:00:00.080 +; compilation finished in 0:00:00.103 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/tools/regcheck.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -18744,7 +18779,7 @@ ; processing (DEFUN CHECK-REGULARITY ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/tools/regcheck-tmpRJTU435C.fasl -; compilation finished in 0:00:00.088 +; compilation finished in 0:00:00.115 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/tools/regularize.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -18794,7 +18829,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/tools/regularize-tmpI9WG87JK.fasl -; compilation finished in 0:00:00.012 +; compilation finished in 0:00:00.015 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/tools/describe.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -19044,7 +19079,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/tools/describe-tmpYDE6I9E6.fasl -; compilation finished in 0:00:00.168 +; compilation finished in 0:00:00.179 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/tools/sort-tree.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -19154,7 +19189,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/tools/module-tree-tmpLYQINFYS.fasl -; compilation finished in 0:00:00.040 +; compilation finished in 0:00:00.051 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/tools/show.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -19384,7 +19419,7 @@ ; processing (DEFUN PRINT-TERM-HORIZONTAL ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/tools/show-tmpGA31XWNO.fasl -; compilation finished in 0:00:00.080 +; compilation finished in 0:00:00.099 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/tools/set.lisp" (written 18 OCT 2019 12:45:43 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -19481,7 +19516,7 @@ ; processing (DEFUN CHAOS-SET-BOOL-PATH ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/tools/set-tmp5HT23M6C.fasl -; compilation finished in 0:00:00.072 +; compilation finished in 0:00:00.095 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/tools/op-check.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -19688,7 +19723,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/tools/op-check-tmpA60KLDKY.fasl -; compilation finished in 0:00:00.144 +; compilation finished in 0:00:00.203 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/tools/compat.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -19710,7 +19745,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/tools/compat-tmpD801X3GJ.fasl -; compilation finished in 0:00:00.020 +; compilation finished in 0:00:00.031 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/tools/help.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -19719,7 +19754,7 @@ ; processing (DEFUN READ-HELP-DB ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/tools/help-tmpGOW1GC70.fasl -; compilation finished in 0:00:00.036 +; compilation finished in 0:00:00.043 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/tools/inspect.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -20279,7 +20314,7 @@ ; processing (DEFUN !LOOK-UP ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/tools/inspect-tmpPQ1X28TL.fasl -; compilation finished in 0:00:00.072 +; compilation finished in 0:00:00.091 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/tools/sensible.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -20310,7 +20345,7 @@ ; processing (DEFUN IS-SENSIBLE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/tools/sensible-tmpE92ECU7O.fasl -; compilation finished in 0:00:00.012 +; compilation finished in 0:00:00.019 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/eval/eval-mod.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -20409,7 +20444,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/eval/eval-mod-tmp8S0II570.fasl -; compilation finished in 0:00:00.012 +; compilation finished in 0:00:00.023 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/eval/eval-ast.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -20816,7 +20851,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/eval/eval-ast-tmpJE88A12F.fasl -; compilation finished in 0:00:00.148 +; compilation finished in 0:00:00.195 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/eval/eval-ast2.lisp" (written 24 OCT 2019 08:53:43 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -21456,7 +21491,7 @@ ; processing (DEFUN EVAL-GENDOC ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/eval/eval-ast2-tmpA5FNLPLT.fasl -; compilation finished in 0:00:00.332 +; compilation finished in 0:00:00.307 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/eval/chaos-top.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DEFUN DEFINE-BUILTIN-MODULE ...) @@ -21472,7 +21507,7 @@ ; processing (DEFUN CHAOS-TOP ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/eval/chaos-top-tmpHKCV9TP8.fasl -; compilation finished in 0:00:00.020 +; compilation finished in 0:00:00.019 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/boot/preproc.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DEFUN TOKEN-IS-SORT-ID ...) @@ -21550,7 +21585,7 @@ ; processing (DEFUN S-RFIND ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/boot/preproc-tmpZ18MA7XE.fasl -; compilation finished in 0:00:00.100 +; compilation finished in 0:00:00.095 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/boot/prelude.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DEFVAR *LAST-TERM-OP-TERM* ...) @@ -21584,7 +21619,7 @@ ; processing (DEFUN INSTALL-PRELUDE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/boot/prelude-tmp6LQJ9T0C.fasl -; compilation finished in 0:00:00.036 +; compilation finished in 0:00:00.039 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/boot/builtins.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (CLEAR-GLOBAL-DB) @@ -21627,7 +21662,7 @@ ; processing (CHAOS-MISC-INIT) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/boot/builtins-tmpTX7OA81T.fasl -; compilation finished in 0:00:00.028 +; compilation finished in 0:00:00.032 -- defining module* TRIV done. -- defining module! TRUTH-VALUE done. @@ -21745,7 +21780,7 @@ ; processing (DEFUN TRAM-SEND-REDUCE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/tram/tram-tmpWOTC3PB7.fasl -; compilation finished in 0:00:00.216 +; compilation finished in 0:00:00.243 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/psup/psup.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -22086,7 +22121,7 @@ ; processing (DEFUN PSUP-IMAGE-OF-AXIOMS* ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/chaos/psup/psup-tmpHQE95SAC.fasl -; compilation finished in 0:00:00.120 +; compilation finished in 0:00:00.127 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/thstuff/parse-apply.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -22137,7 +22172,7 @@ ; processing (DEFUN PARSE-APPLY-COMMAND ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/thstuff/parse-apply-tmpO87FP9NR.fasl -; compilation finished in 0:00:00.092 +; compilation finished in 0:00:00.099 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/thstuff/basics.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -22744,7 +22779,7 @@ ; processing (DEFUN COMPUTE-EXTRA-VARIABLES ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/thstuff/basics-tmpP6A3E92I.fasl -; compilation finished in 0:00:00.120 +; compilation finished in 0:00:00.131 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/thstuff/eval-match.lisp" (written 17 JAN 2019 06:56:23 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -22836,7 +22871,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/thstuff/eval-match-tmpUSHT8RIL.fasl -; compilation finished in 0:00:00.044 +; compilation finished in 0:00:00.051 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/thstuff/eval-apply.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -22889,7 +22924,7 @@ ; processing (DEFUN APPLY-PRINT-RULE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/thstuff/eval-apply-tmp7YCPD44Y.fasl -; compilation finished in 0:00:00.060 +; compilation finished in 0:00:00.051 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/thstuff/cexec.lisp" (written 10 DEC 2019 06:00:23 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (SPECIAL $$CEXEC-TERM)) @@ -23092,7 +23127,7 @@ ; processing (DEFUN TERM-PATTERN-INCLUDED-IN-CEXEC ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/thstuff/cexec-tmpQXR7SNXD.fasl -; compilation finished in 0:00:00.416 +; compilation finished in 0:00:00.455 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/thstuff/case.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DEFPARAMETER .CASE-MODULE-TRUE. ...) @@ -23102,7 +23137,7 @@ ; processing (DEFUN PERFORM-CASE-REDUCTION ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/thstuff/case-tmp6FLI1OC3.fasl -; compilation finished in 0:00:00.020 +; compilation finished in 0:00:00.023 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/thstuff/proof-struct.lisp" (written 16 DEC 2019 07:35:07 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -24000,7 +24035,7 @@ ; processing (DEFMACRO WITH-IN-CONTEXT ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/thstuff/proof-struct-tmpWBK8JTS9.fasl -; compilation finished in 0:00:00.448 +; compilation finished in 0:00:00.467 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/thstuff/apply-tactic.lisp" (written 20 JAN 2020 01:13:27 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -24750,7 +24785,7 @@ ; processing (DEFUN APPLY-TACTICS-TO-GOAL ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/thstuff/apply-tactic-tmpUVEUD2ZN.fasl -; compilation finished in 0:00:00.436 +; compilation finished in 0:00:00.503 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/thstuff/citp.lisp" (written 16 DEC 2019 07:35:07 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -25048,7 +25083,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/thstuff/citp-tmpOWNJOEU.fasl -; compilation finished in 0:00:00.100 +; compilation finished in 0:00:00.115 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/thstuff/bterm-inspector.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -25637,7 +25672,7 @@ ; processing (DEFUN BGRIND-BOOL-TERM ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/thstuff/bterm-inspector-tmpVT5BMTA5.fasl -; compilation finished in 0:00:00.172 +; compilation finished in 0:00:00.199 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/types.lisp" (written 17 JAN 2019 06:56:23 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -25738,7 +25773,7 @@ ; processing (DEFSTRUCT (OPTION-SET) ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/types-tmpN3CFVWZF.fasl -; compilation finished in 0:00:00.184 +; compilation finished in 0:00:00.179 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/glob.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -26197,7 +26232,7 @@ ; processing (DEFUN SETUP-PIGNOSE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/glob-tmpNK27C0R1.fasl -; compilation finished in 0:00:00.060 +; compilation finished in 0:00:00.083 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/proof-sys.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -26257,7 +26292,7 @@ ; processing (DEFMACRO WITH-PROOF-CONTEXT ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/proof-sys-tmp3BPE71HR.fasl -; compilation finished in 0:00:00.012 +; compilation finished in 0:00:00.016 WARNING: Lisp compilation had style-warnings while compiling # @@ -26299,7 +26334,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/syntax-tmp758YUXMV.fasl -; compilation finished in 0:00:00.032 +; compilation finished in 0:00:00.036 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/index.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -27070,7 +27105,7 @@ ; processing (DEFUN GET-CLASHABLE-CLAUSES-FROM-ATOM ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/index-tmpGMQXK1HK.fasl -; compilation finished in 0:00:00.172 +; compilation finished in 0:00:00.199 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/butils.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -29468,7 +29503,7 @@ ; processing (DEFUN INCLUDE-FOPL ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/butils-tmp49Q238TW.fasl -; compilation finished in 0:00:00.336 +; compilation finished in 0:00:00.299 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/unify.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -29519,7 +29554,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/unify-tmpMXPMJ5KG.fasl -; compilation finished in 0:00:00.064 +; compilation finished in 0:00:00.051 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/clause.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -29946,7 +29981,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/clause-tmpB69313KI.fasl -; compilation finished in 0:00:00.148 +; compilation finished in 0:00:00.131 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/formula.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -30117,7 +30152,7 @@ ; processing (DEFUN CNF-TO-LIST ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/formula-tmp9ZT99EEA.fasl -; compilation finished in 0:00:00.268 +; compilation finished in 0:00:00.315 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/modconv.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -30188,7 +30223,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/modconv-tmpW045U8V2.fasl -; compilation finished in 0:00:00.104 +; compilation finished in 0:00:00.111 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/weight.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -30339,7 +30374,7 @@ ; processing (DEFUN TERM-IDENT-X-VARS ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/weight-tmp6XOIRI3N.fasl -; compilation finished in 0:00:00.180 +; compilation finished in 0:00:00.199 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/lrpo.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -30372,7 +30407,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/lrpo-tmp9ZHTLHSG.fasl -; compilation finished in 0:00:00.028 +; compilation finished in 0:00:00.035 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/resolve.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -30672,7 +30707,7 @@ ; processing (DEFUN FACTOR-SIMPLIFY ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/resolve-tmpRW73Q691.fasl -; compilation finished in 0:00:00.104 +; compilation finished in 0:00:00.115 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/paramod.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -31118,7 +31153,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/paramod-tmp4TM0ME1F.fasl -; compilation finished in 0:00:00.092 +; compilation finished in 0:00:00.095 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/demod.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -31413,7 +31448,7 @@ ; processing (DEFUN SETUP-DEMODULATORS ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/demod-tmpU2IL9N4.fasl -; compilation finished in 0:00:00.108 +; compilation finished in 0:00:00.111 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/infer.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -33274,7 +33309,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/infer-tmpOPW41KDL.fasl -; compilation finished in 0:00:00.168 +; compilation finished in 0:00:00.167 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/sigmatch.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -33323,7 +33358,7 @@ ; processing (DEFUN GENERATE-SIGMATCH-VIEW ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/sigmatch-tmpIPVWLON2.fasl -; compilation finished in 0:00:00.040 +; compilation finished in 0:00:00.039 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/refine.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -33410,7 +33445,7 @@ ; processing (DEFUN PN-CHECK-REFINEMENT ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/refine-tmpO0LCOIDS.fasl -; compilation finished in 0:00:00.016 +; compilation finished in 0:00:00.019 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/commands.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -33746,7 +33781,7 @@ ; processing (DEFUN EVAL-PN-LEX ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/commands-tmpP264WQ6O.fasl -; compilation finished in 0:00:00.320 +; compilation finished in 0:00:00.343 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/inv.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -34149,7 +34184,7 @@ ; processing (DEFUN PN-CHECK-SAFETY ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/inv-tmpESC43OCR.fasl -; compilation finished in 0:00:00.132 +; compilation finished in 0:00:00.135 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/cafeobj/cafeobjvar.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DEFVAR *CAFEOBJ-NO-BANNER* ...) @@ -34166,7 +34201,7 @@ ; processing (DEFPARAMETER *CAFEOBJ-MOD-ELTS* ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/cafeobj/cafeobjvar-tmpWCAM54ZJ.fasl -; compilation finished in 0:00:00.000 +; compilation finished in 0:00:00.004 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/cafeobj/creader.lisp" (written 16 DEC 2019 07:35:07 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -34212,7 +34247,7 @@ ; processing (SETQ *CAFEOBJ-SCHEMAS* ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/cafeobj/creader-tmpVTMW561L.fasl -; compilation finished in 0:00:00.008 +; compilation finished in 0:00:00.011 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/cafeobj/oldoc.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -34666,7 +34701,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/cafeobj/oldoc-tmpUNNGT9CF.fasl -; compilation finished in 0:00:00.240 +; compilation finished in 0:00:00.247 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/cafeobj/define.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -34822,7 +34857,7 @@ ; processing (DEFUN PRINT-COMDE-USAGE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/cafeobj/define-tmp4L3W83SU.fasl -; compilation finished in 0:00:00.040 +; compilation finished in 0:00:00.035 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/cafeobj/trans-com.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -34935,7 +34970,7 @@ ; processing (DEFUN PARSE-GENDOC-COMMAND ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/cafeobj/trans-com-tmpGE7QNNEE.fasl -; compilation finished in 0:00:00.064 +; compilation finished in 0:00:00.063 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/cafeobj/trans-decl.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -35016,7 +35051,7 @@ ; processing (DEFUN EVAL-DECL-DO-NOTHING ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/cafeobj/trans-decl-tmp9B0UZGT4.fasl -; compilation finished in 0:00:00.104 +; compilation finished in 0:00:00.103 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/cafeobj/trans-form.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -35096,7 +35131,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/cafeobj/trans-form-tmpAJ5U325P.fasl -; compilation finished in 0:00:00.008 +; compilation finished in 0:00:00.012 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/cafeobj/command-top.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -35325,7 +35360,7 @@ ; processing (DEFUN HANDLE-CAFEOBJ-TOP-ERROR ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/cafeobj/command-top-tmpAOF1CYAS.fasl -; compilation finished in 0:00:00.116 +; compilation finished in 0:00:00.111 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/cafeobj/commands.lisp" (written 20 JAN 2020 04:55:35 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -35527,7 +35562,7 @@ ; processing (DEFINE ("?com" "?command") ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/cafeobj/commands-tmpIXCQTSHA.fasl -; compilation finished in 0:00:00.160 +; compilation finished in 0:00:00.155 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/cafeobj/declarations.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -35565,7 +35600,7 @@ ; processing (DEFINE (".") ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/cafeobj/declarations-tmp5E6VIEMS.fasl -; compilation finished in 0:00:00.028 +; compilation finished in 0:00:00.027 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/cafeobj/cafeobj-top.lisp" (written 17 JAN 2019 06:56:23 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -35621,7 +35656,7 @@ ; processing (DEFUN CAFEOBJ-TOP-LEVEL ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x64/build/reproducible-path/cafeobj-1.6.0/cafeobj/cafeobj-top-tmpI0PODGVV.fasl -; compilation finished in 0:00:00.036 +; compilation finished in 0:00:00.035 ; ; compilation unit finished ; caught 1 STYLE-WARNING condition @@ -35725,12 +35760,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/3035325/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/3035325/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/789727 and its subdirectories -I: Current time: Sat Feb 8 00:20:11 -12 2025 -I: pbuilder-time-stamp: 1739017211 +I: removing directory /srv/workspace/pbuilder/3035325 and its subdirectories +I: Current time: Sun Jan 7 19:58:23 +14 2024 +I: pbuilder-time-stamp: 1704607103