Diff of the two buildlogs: -- --- b1/build.log 2024-01-09 17:30:52.996532160 +0000 +++ b2/build.log 2024-01-09 17:32:24.652916984 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Mon Feb 10 11:52:54 -12 2025 -I: pbuilder-time-stamp: 1739231574 +I: Current time: Wed Jan 10 07:30:56 +14 2024 +I: pbuilder-time-stamp: 1704821456 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/bullseye-reproducible-base.tgz] I: copying local configuration @@ -18,7 +18,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.Ip4fhm_5/trustedkeys.kbx': General error +gpgv: keyblock resource '/tmp/dpkg-verify-sig.mfXSlELt/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 @@ -30,51 +30,82 @@ dpkg-source: info: applying armhf-remove-buildopts I: using fakeroot in build. I: Installing the build-deps -I: user script /srv/workspace/pbuilder/87129/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/31076/tmp/hooks/D01_modify_environment starting +debug: Running on ionos12-i386. +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 9 17:31 /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/31076/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/31076/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='i386' - DEBIAN_FRONTEND='noninteractive' - DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all,-fixfilepath parallel=16 ' - DISTRIBUTION='bullseye' - HOME='/root' - HOST_ARCH='i386' + 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]="i686-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=i386 + DEBIAN_FRONTEND=noninteractive + DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all,-fixfilepath parallel=7 ' + DIRSTACK=() + DISTRIBUTION=bullseye + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/root + HOSTNAME=i-capture-the-hostname + HOSTTYPE=i686 + HOST_ARCH=i386 IFS=' ' - INVOCATION_ID='8b47db397e7b42aca15eaf261ef1d981' - LANG='C' - LANGUAGE='en_US:en' - LC_ALL='C' - LD_LIBRARY_PATH='/usr/lib/libeatmydata' - LD_PRELOAD='libeatmydata.so' - 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='87129' - PS1='# ' - PS2='> ' + INVOCATION_ID=2c4d4cb5678a429c9eff5cfe39f8a80e + LANG=C + LANGUAGE=de_CH:de + LC_ALL=C + LD_LIBRARY_PATH=/usr/lib/libeatmydata + LD_PRELOAD=libeatmydata.so + MACHTYPE=i686-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=31076 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.ObNM8lNp/pbuilderrc_kc7y --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.ObNM8lNp/b1 --logfile b1/build.log cafeobj_1.6.0-2.dsc' - SUDO_GID='112' - SUDO_UID='107' - 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.ObNM8lNp/pbuilderrc_Qi8G --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.ObNM8lNp/b2 --logfile b2/build.log cafeobj_1.6.0-2.dsc' + SUDO_GID=112 + SUDO_UID=107 + 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 ionos16-i386 6.1.0-17-amd64 #1 SMP PREEMPT_DYNAMIC Debian 6.1.69-1 (2023-12-30) x86_64 GNU/Linux + Linux i-capture-the-hostname 6.1.0-17-686-pae #1 SMP PREEMPT_DYNAMIC Debian 6.1.69-1 (2023-12-30) i686 GNU/Linux I: ls -l /bin total 5776 -rwxr-xr-x 1 root root 1367848 Mar 27 2022 bash @@ -134,7 +165,7 @@ -rwxr-xr-x 1 root root 46984 Sep 22 2020 rmdir -rwxr-xr-x 1 root root 22292 Sep 27 2020 run-parts -rwxr-xr-x 1 root root 125036 Dec 22 2018 sed - lrwxrwxrwx 1 root root 4 Feb 8 15:47 sh -> dash + lrwxrwxrwx 1 root root 9 Jan 9 17:31 sh -> /bin/bash -rwxr-xr-x 1 root root 34696 Sep 22 2020 sleep -rwxr-xr-x 1 root root 83880 Sep 22 2020 stty -rwsr-xr-x 1 root root 79396 Jan 20 2022 su @@ -160,7 +191,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/87129/tmp/hooks/D02_print_environment finished +I: user script /srv/workspace/pbuilder/31076/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -230,7 +261,7 @@ Get: 30 http://deb.debian.org/debian bullseye/main i386 po-debconf all 1.0.21+nmu1 [248 kB] Get: 31 http://deb.debian.org/debian bullseye/main i386 debhelper all 13.3.4 [1049 kB] Get: 32 http://deb.debian.org/debian bullseye/main i386 sbcl i386 2:2.1.1-2 [8575 kB] -Fetched 27.1 MB in 0s (88.5 MB/s) +Fetched 27.1 MB in 2s (15.4 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 ... 17763 files and directories currently installed.) @@ -379,7 +410,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/31076/tmp/hooks/A99_set_merged_usr starting +Not re-configuring usrmerge for bullseye +I: user script /srv/workspace/pbuilder/31076/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 @@ -571,7 +606,7 @@ ; processing (LET (#) ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/specials-tmp74KGUNRZ.fasl -; compilation finished in 0:00:00.012 +; compilation finished in 0:00:00.020 ; 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 ...) @@ -614,7 +649,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/util-tmpCEL1YIM2.fasl -; compilation finished in 0:00:00.036 +; compilation finished in 0:00:00.060 ; 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* ...) @@ -628,7 +663,7 @@ ; processing (DEFMACRO SIGNAL-INVOCATION-ERROR ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/errors-tmpHAMQABTV.fasl -; compilation finished in 0:00:00.012 +; compilation finished in 0:00:00.024 ; 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+ ...) @@ -1107,7 +1142,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/charset-tmpUPMG0IBO.fasl -; compilation finished in 0:00:00.048 +; compilation finished in 0:00:00.108 ; 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 #) ...) @@ -1276,7 +1311,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/charmap-tmpAKM32D0F.fasl -; compilation finished in 0:00:00.040 +; compilation finished in 0:00:00.072 ; 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 ...) @@ -1683,7 +1718,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/chartest-tmp8UG37QJ5.fasl -; compilation finished in 0:00:00.024 +; compilation finished in 0:00:00.040 ; 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)) @@ -1778,7 +1813,7 @@ ; processing (DEFUN START-OF-SUBEXPR-P ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/lexer-tmp65YV5VYW.fasl -; compilation finished in 0:00:00.100 +; compilation finished in 0:00:00.168 WARNING: Lisp compilation had style-warnings while compiling # @@ -1803,7 +1838,7 @@ ; processing (DEFUN PARSE-STRING ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/parser-tmpGO4MNX7G.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/regex-class.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CL-PPCRE) ; processing (DEFCLASS REGEX ...) @@ -1848,7 +1883,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/regex-class-tmp9NXH2K1.fasl -; compilation finished in 0:00:00.016 +; compilation finished in 0:00:00.032 ; 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 ...) @@ -3528,7 +3563,7 @@ ; processing (DEFMETHOD COMPUTE-OFFSETS ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/regex-class-util-tmp6B86GLV2.fasl -; compilation finished in 0:00:00.144 +; compilation finished in 0:00:00.280 ; 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 ...) @@ -4347,7 +4382,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/convert-tmpZWLLOVAH.fasl -; compilation finished in 0:00:00.172 +; compilation finished in 0:00:00.312 ; 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 ...) @@ -5463,7 +5498,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/optimize-tmpS9M8BVBG.fasl -; compilation finished in 0:00:00.088 +; compilation finished in 0:00:00.164 ; 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*= ...)) @@ -5611,7 +5646,7 @@ ; processing (DEFMETHOD CREATE-MATCHER-AUX ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/closures-tmp205IFRLS.fasl -; compilation finished in 0:00:00.080 +; compilation finished in 0:00:00.156 ; 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 ...) @@ -6551,7 +6586,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/repetition-closures-tmpBW6GBZVX.fasl -; compilation finished in 0:00:00.180 +; compilation finished in 0:00:00.344 ; 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 ...) @@ -8425,7 +8460,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/scanner-tmpMDMI656Q.fasl -; compilation finished in 0:00:00.388 +; compilation finished in 0:00:00.692 ; 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 ...) @@ -8665,7 +8700,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. ... {7ADF3007}> +; REG-ENDS bound to the four return values of each match in turn. ... {3ADFF007}> ; (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) @@ -8700,7 +8735,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, -; ... {7B05A80F}> +; ... {3B06680F}> ; (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 @@ -8733,7 +8768,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... {7B12E007}> +; ma... {3B13A007}> ; (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) @@ -8765,7 +8800,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... {7B24D007}> +; va... {3B259007}> ; (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 @@ -10731,7 +10766,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... {7C5EE40F}> +; case-insensi... {3C60C40F}> ; (LET ((CL-PPCRE::COLLECTOR 'NIL)) ; (CL-PPCRE::REGEX-APROPOS-AUX (CL-PPCRE::REGEX CL-PPCRE::PACKAGES ; CL-PPCRE::CASE-INSENSITIVE @@ -10747,7 +10782,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... {7C5EE40F}> +; case-insensi... {3C60C40F}> ; (DECLARE ; (OPTIMIZE SPEED (SAFETY 0) (SPACE 0) (DEBUG 1) (COMPILATION-SPEED 0))) ; (BLOCK CL-PPCRE:REGEX-APROPOS-LIST @@ -10773,7 +10808,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 ... {7C8CC9B7}> +; is true and REGEX isn't already a scanner, a case-insensitive ... {3C8E99B7}> ; (DECLARE ; (OPTIMIZE SPEED (SAFETY 0) (SPACE 0) (DEBUG 1) (COMPILATION-SPEED 0))) ; (CL-PPCRE::REGEX-APROPOS-AUX (CL-PPCRE::REGEX CL-PPCRE::PACKAGES @@ -10789,7 +10824,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 ... {7C8CC9B7}> +; is true and REGEX isn't already a scanner, a case-insensitive ... {3C8E99B7}> ; (DECLARE ; (OPTIMIZE SPEED (SAFETY 0) (SPACE 0) (DEBUG 1) (COMPILATION-SPEED 0))) ; (BLOCK CL-PPCRE:REGEX-APROPOS @@ -10811,7 +10846,7 @@ ; processing (DEFMACRO DEFINE-PARSE-TREE-SYNONYM ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/api-tmpQN7VP0FI.fasl -; compilation finished in 0:00:00.236 +; compilation finished in 0:00:00.444 WARNING: Lisp compilation had style-warnings while compiling # @@ -10830,7 +10865,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos-package-tmpNOSTK6D0.fasl ; compilation finished in 0:00:00.004 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/version.lisp" (written 10 FEB 2025 11:53:13 PM): +; compiling file "/build/reproducible-path/cafeobj-1.6.0/version.lisp" (written 09 JAN 2024 05:31:22 PM): ; processing (IN-PACKAGE :CHAOS) ; processing (DEFVAR CAFEOBJ-VERSION) ; processing (DEFVAR CAFEOBJ-VERSION-MAJOR) @@ -10844,7 +10879,7 @@ ; processing (SETQ CAFEOBJ-VERSION ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/version-tmp9RA72042.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 # ...)) @@ -11245,7 +11280,7 @@ ; processing (DEFVAR *TOP-LEVEL-TAG* ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/comlib/globals-tmpGXZUHQQV.fasl -; compilation finished in 0:00:00.024 +; compilation finished in 0:00:00.040 ; 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 # ...)) @@ -11268,7 +11303,7 @@ ; processing (DEFMACRO FIXNUMP ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/comlib/macros-tmp1SBDRUB4.fasl -; compilation finished in 0:00:00.036 +; compilation finished in 0:00:00.064 ; 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 # ...)) @@ -11298,7 +11333,7 @@ ; processing (DEFUN PRINT-SIMPLE-PRINC-OPEN ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/comlib/print-utils-tmpFJI67R2A.fasl -; compilation finished in 0:00:00.020 +; compilation finished in 0:00:00.032 ; 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 # ...)) @@ -11512,7 +11547,7 @@ ; processing (DEFMACRO I-MISS-CURRENT-MODULE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/comlib/message-tmp2LAB0LT0.fasl -; compilation finished in 0:00:00.056 +; compilation finished in 0:00:00.112 ; 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 # ...)) @@ -11528,7 +11563,7 @@ ; processing (DEFMACRO IGNORING-CHAOS-ERROR ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/comlib/error-tmp5G8XXQL5.fasl -; compilation finished in 0:00:00.012 +; compilation finished in 0:00:00.020 ; 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 # ...)) @@ -11818,7 +11853,7 @@ ; processing (DEFMACRO EXPT2 ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/comlib/misc-tmp70X8ZE5V.fasl -; compilation finished in 0:00:00.128 +; compilation finished in 0:00:00.244 ; 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 # ...)) @@ -11827,7 +11862,7 @@ ; processing (DEFMACRO NUMERIC-CHAR-P ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/comlib/string-tmpRJ7B84T0.fasl -; compilation finished in 0:00:00.016 +; compilation finished in 0:00:00.028 ; 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 # ...)) @@ -11839,7 +11874,7 @@ ; processing (DEFUN DELETE-NTH ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/comlib/list-tmpOMGCSPAB.fasl -; compilation finished in 0:00:00.008 +; compilation finished in 0:00:00.012 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/comlib/dag.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -11860,7 +11895,7 @@ ; processing (DEFUN GET-BDAG-PARENTS ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/comlib/dag-tmpLEWWGRGS.fasl -; compilation finished in 0:00:00.044 +; compilation finished in 0:00:00.092 ; 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 # ...)) @@ -11994,7 +12029,7 @@ ; processing (DEFUN CHAOS-INITIALIZE-FSYS ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/comlib/fsys-tmp2VH9CUXA.fasl -; compilation finished in 0:00:00.136 +; compilation finished in 0:00:00.300 ; 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 # ...)) @@ -12765,7 +12800,7 @@ ; processing (DEFUN PRINT-TREES ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/comlib/tree-display-tmp21MKT5OO.fasl -; compilation finished in 0:00:00.056 +; compilation finished in 0:00:00.120 ; 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 # ...)) @@ -13055,7 +13090,7 @@ ; processing (DEFUN !LEX-READ-INIT ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/comlib/lex-tmpMXTBQGWB.fasl -; compilation finished in 0:00:00.116 +; compilation finished in 0:00:00.224 ; 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 # ...)) @@ -13172,7 +13207,7 @@ ; processing (DEFUN WAIT-UNTIL-NON-WHITE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/comlib/reader-tmpPPC4Z10Q.fasl -; compilation finished in 0:00:00.084 +; compilation finished in 0:00:00.176 ; 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 # ...) ...) @@ -13239,7 +13274,7 @@ ; processing (DEFMACRO WHEN-MATCH ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/comlib/let-over-lambda-tmpRD3N4073.fasl -; compilation finished in 0:00:00.124 +; compilation finished in 0:00:00.244 ; 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 # ...)) @@ -13403,7 +13438,7 @@ ; processing (DEFUN SIMPLE-COPY-TERM ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bterm-tmpFHOV2EXD.fasl -; compilation finished in 0:00:00.264 +; compilation finished in 0:00:00.456 ; 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 # ...)) @@ -13581,7 +13616,7 @@ ; processing (DEFUN IS-AST ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/defterm-tmp5P00NUE.fasl -; compilation finished in 0:00:00.268 +; compilation finished in 0:00:00.496 ; 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 # ...)) @@ -13659,7 +13694,7 @@ ; processing (DEFSTRUCT (STABLE) ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bobject-tmp94JO3ZTC.fasl -; compilation finished in 0:00:00.244 +; compilation finished in 0:00:00.356 ; 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 # ...)) @@ -13700,7 +13735,7 @@ ; processing (DEFTERM VIEW-DECL ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/absntax-tmp6OFDFVAR.fasl -; compilation finished in 0:00:00.588 +; compilation finished in 0:00:00.976 ; 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 # ...)) @@ -13757,7 +13792,7 @@ ; processing (DEFTERM GENDOC ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/script-tmpRYWTYMDY.fasl -; compilation finished in 0:00:00.680 +; compilation finished in 0:00:01.236 ; 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 # ...)) @@ -13876,7 +13911,7 @@ ; processing (DEFUN THEORY-CONTAINS-AZ-DIRECT ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/op-theory-tmpW78F18LW.fasl -; compilation finished in 0:00:00.092 +; compilation finished in 0:00:00.184 ; 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 # ...)) @@ -13912,7 +13947,7 @@ ; processing (DEFMACRO MODMORPH-ASSOC-IMAGES ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bmodexp-tmpWUHTUDVN.fasl -; compilation finished in 0:00:00.168 +; compilation finished in 0:00:00.252 ; 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 # ...)) @@ -14132,7 +14167,7 @@ ; processing (DEFUN CLEAN-UP-MODULE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bmodule2-tmpCK73UFEK.fasl -; compilation finished in 0:00:00.216 +; compilation finished in 0:00:00.352 ; 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 # ...)) @@ -14183,7 +14218,7 @@ ; processing (DEFUN IS-DUMMY-MODULE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bview2-tmpEBEIAP0J.fasl -; compilation finished in 0:00:00.028 +; compilation finished in 0:00:00.052 ; 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 # ...)) @@ -14246,7 +14281,7 @@ ; processing (DEFUN PARSE-BALANCED-CONTEXT-ONE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/parse-modexp-tmpSE943D3D.fasl -; compilation finished in 0:00:00.084 +; compilation finished in 0:00:00.136 ; 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 # ...)) @@ -14266,7 +14301,7 @@ ; processing (DEFUN NORMALIZE-VIEW ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/normodexp-tmpN5RKE5P2.fasl -; compilation finished in 0:00:00.020 +; compilation finished in 0:00:00.032 ; 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 # ...)) @@ -14419,7 +14454,7 @@ ; processing (DEFUN GET-FAMILY ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bsort-tmpNQZ6T1LT.fasl -; compilation finished in 0:00:00.284 +; compilation finished in 0:00:00.460 ; 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 # ...)) @@ -14704,7 +14739,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/boperator-tmpWLS9DP2S.fasl -; compilation finished in 0:00:00.376 +; compilation finished in 0:00:00.604 ; 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 # ...)) @@ -14759,7 +14794,7 @@ ; processing (DEFUN AXIOM-CONTAINS-ERROR-METHOD? ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/baxioms-tmp8VCF5G6M.fasl -; compilation finished in 0:00:00.120 +; compilation finished in 0:00:00.176 ; 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 # ...)) @@ -14773,7 +14808,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bmacro-tmp8DMZV8XU.fasl -; compilation finished in 0:00:00.012 +; compilation finished in 0:00:00.016 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/gen-eval.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -14823,7 +14858,7 @@ ; processing (DEFUN EVAL-AST2 ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/gen-eval-tmpEGA125WT.fasl -; compilation finished in 0:00:00.012 +; compilation finished in 0:00:00.016 ; 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 ...) @@ -14871,7 +14906,7 @@ ; processing (DEFUN CHECK-RWL-COHERENCY ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/meta-tmpE9RDNCMC.fasl -; compilation finished in 0:00:00.088 +; compilation finished in 0:00:00.132 ; 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 # ...)) @@ -15137,7 +15172,7 @@ ; processing (DEFUN DUMP-MODEXP-VIEW ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/gen-print-tmpGTSGBQIR.fasl -; compilation finished in 0:00:00.128 +; compilation finished in 0:00:00.192 ; 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 # ...)) @@ -15156,7 +15191,7 @@ ; processing (DEFUN CONTEXT-POP-AND-RECOVER ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/context-tmpRCRZ6VP.fasl -; compilation finished in 0:00:00.024 +; 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 # ...)) @@ -15441,7 +15476,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/term-utils-tmpC6WXNUWP.fasl -; compilation finished in 0:00:00.388 +; compilation finished in 0:00:00.604 ; 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 # ...)) @@ -15593,7 +15628,7 @@ ; processing (DEFUN SYMBOL-TABLE-GET ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/find-tmpB17HDEGA.fasl -; compilation finished in 0:00:00.140 +; compilation finished in 0:00:00.224 ; 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 # ...)) @@ -15769,7 +15804,7 @@ ; processing (DEFUN PRINT-INSTANCE-DB ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/print-object-tmpE3AQVWGT.fasl -; compilation finished in 0:00:00.232 +; compilation finished in 0:00:00.412 ; 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 # ...)) @@ -15832,7 +15867,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/term-parser/parse-macro-tmpYKOEPICF.fasl -; compilation finished in 0:00:00.024 +; compilation finished in 0:00:00.036 ; 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 # ...)) @@ -16018,7 +16053,7 @@ ; processing (DEFUN ARE-WELL-DEFINED-TERMS ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/term-parser/parse-engine-tmpQK8YY837.fasl -; compilation finished in 0:00:00.172 +; compilation finished in 0:00:00.352 ; 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 # ...)) @@ -16115,7 +16150,7 @@ ; processing (DEFUN METHOD-COMPRESS-OVERLOADED-SET ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/term-parser/parse-top-tmpJQI6KMRZ.fasl -; compilation finished in 0:00:00.100 +; compilation finished in 0:00:00.204 ; 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 # ...)) @@ -16125,7 +16160,7 @@ ; processing (DEFUN POSSIBLY-MATCHES ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-utils-tmpWUHK9UI0.fasl -; compilation finished in 0:00:00.008 +; compilation finished in 0:00:00.024 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-system.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -16191,7 +16226,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-x86/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-system-tmpUUOI3UDB.fasl -; compilation finished in 0:00:00.140 +; compilation finished in 0:00:00.252 ; 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 # ...)) @@ -16242,7 +16277,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-state-tmpG1IOPEUW.fasl -; compilation finished in 0:00:00.036 +; compilation finished in 0:00:00.060 ; 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 # ...)) @@ -16251,7 +16286,7 @@ ; processing (DEFUN MATCH-EMPTY-EQUAL ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-e-tmpM0NOM18K.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 # ...)) @@ -16259,7 +16294,7 @@ ; processing (DEFUN IDEM-EXT-MATCH ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-idem-tmpVIL8T0YR.fasl -; compilation finished in 0:00:00.012 +; compilation finished in 0:00:00.020 ; 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 # ...)) @@ -16278,7 +16313,7 @@ ; processing (DEFUN MATCH-Z-EQUAL ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-z-tmpBODYQO2B.fasl -; compilation finished in 0:00:00.024 +; compilation finished in 0:00:00.040 ; 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 # ...)) @@ -16316,7 +16351,7 @@ ; processing (DEFUN MATCH-A-EQUAL ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-a-tmpTLIPDLNH.fasl -; compilation finished in 0:00:00.080 +; compilation finished in 0:00:00.156 ; 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 # ...)) @@ -16326,7 +16361,7 @@ ; processing (DEFUN MATCH-C-EQUAL ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-c-tmpMOOD9PZK.fasl -; compilation finished in 0:00:00.016 +; compilation finished in 0:00:00.028 ; 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 # ...)) @@ -16353,7 +16388,7 @@ ; processing (DEFUN MATCH-EQUATION-COMP-UNPARSE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-az-tmpJSQEHKQD.fasl -; compilation finished in 0:00:00.060 +; compilation finished in 0:00:00.128 ; 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 # ...)) @@ -16372,7 +16407,7 @@ ; processing (DEFUN MATCH-CZ-EQUAL ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-cz-tmpX9RFG54G.fasl -; compilation finished in 0:00:00.016 +; compilation finished in 0:00:00.036 ; 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 # ...)) @@ -16815,7 +16850,7 @@ ; processing (SETF (GET # ...) ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-ac-tmpJZYZV5YE.fasl -; compilation finished in 0:00:00.264 +; compilation finished in 0:00:00.488 ; 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 # ...)) @@ -17172,7 +17207,7 @@ ; processing (SETF (GET # ...) ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-acz-tmp7AGT8VJK.fasl -; compilation finished in 0:00:00.344 +; compilation finished in 0:00:00.632 ; 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 # ...)) @@ -17209,7 +17244,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-tmpVX9R9U8P.fasl -; compilation finished in 0:00:00.016 +; compilation finished in 0:00:00.032 ; 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 # ...)) @@ -17247,7 +17282,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-x86/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match2-tmpQCDFKETQ.fasl -; compilation finished in 0:00:00.076 +; compilation finished in 0:00:00.136 ; 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 # ...)) @@ -17461,7 +17496,7 @@ ; processing (DEFUN SORT-IS-PARAMETERIZED ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/construct/sort-tmpO1PDDUR.fasl -; compilation finished in 0:00:00.104 +; compilation finished in 0:00:00.188 ; 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 # ...)) @@ -17620,7 +17655,7 @@ ; processing (DEFUN PROPAGATE-ATTRIBUTES ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/construct/operator-tmpIX4U16ZB.fasl -; compilation finished in 0:00:00.296 +; compilation finished in 0:00:00.584 ; 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 # ...)) @@ -17697,7 +17732,7 @@ ; processing (DEFUN DECLARE-ERROR-VARIABLES-IN ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/construct/variable-tmp93OFNPHA.fasl -; compilation finished in 0:00:00.024 +; compilation finished in 0:00:00.044 ; 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 # ...)) @@ -17720,7 +17755,7 @@ ; processing (DEFUN ID-GEN-MATCH ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/construct/match-method-tmpOH5AKS8D.fasl -; compilation finished in 0:00:00.012 +; compilation finished in 0:00:00.024 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/construct/axiom.lisp" (written 17 JAN 2019 06:56:23 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -17830,7 +17865,7 @@ ; processing (DEFUN RECREATE-ERROR-AXIOM ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/construct/axiom-tmpTNV77KDS.fasl -; compilation finished in 0:00:00.156 +; compilation finished in 0:00:00.288 ; 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 # ...)) @@ -17957,7 +17992,7 @@ ; processing (DEFUN NORMALIZE-FOR-IDENTITY ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/construct/gen-rule-tmp9AOKGDLT.fasl -; compilation finished in 0:00:00.128 +; compilation finished in 0:00:00.252 ; 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 # ...)) @@ -17966,7 +18001,7 @@ ; processing (DEFUN ADD-RWL-AXIOMS ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/construct/rwl-tmpXS9JOGMS.fasl -; compilation finished in 0:00:00.032 +; compilation finished in 0:00:00.064 ; 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 # ...)) @@ -18042,7 +18077,7 @@ ; processing (DEFUN BEH-REWRITE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/construct/beh-tmpERBDX74X.fasl -; compilation finished in 0:00:00.108 +; compilation finished in 0:00:00.204 ; 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 # ...)) @@ -18140,7 +18175,7 @@ ; processing (DEFUN DELETE-VIEW ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/construct/module-tmpTQIEF2IQ.fasl -; compilation finished in 0:00:00.048 +; compilation finished in 0:00:00.104 ; 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 # ...)) @@ -18429,7 +18464,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-x86/build/reproducible-path/cafeobj-1.6.0/chaos/construct/trs-tmpPAAFO6LP.fasl -; compilation finished in 0:00:00.180 +; compilation finished in 0:00:00.332 ; 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 # ...)) @@ -18440,7 +18475,7 @@ ; processing (DEFUN MODMORPH-CHECK-RANK ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/decafe/mutils-tmp4PCSVQUR.fasl -; compilation finished in 0:00:00.008 +; compilation finished in 0:00:00.016 ; 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 # ...)) @@ -18647,7 +18682,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-x86/build/reproducible-path/cafeobj-1.6.0/chaos/decafe/modmorph-tmpCUMSDKM4.fasl -; compilation finished in 0:00:00.188 +; compilation finished in 0:00:00.332 ; 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 # ...)) @@ -18758,7 +18793,7 @@ ; processing (DEFUN RECREATE-RENAMED-SORT ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/decafe/mrmap-tmpVBY1FQ3S.fasl -; compilation finished in 0:00:00.080 +; compilation finished in 0:00:00.160 ; 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 # ...)) @@ -18779,7 +18814,7 @@ ; processing (DEFUN CREATE-RENAME ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/decafe/meval-tmpS8NUOPMQ.fasl -; compilation finished in 0:00:00.044 +; compilation finished in 0:00:00.088 ; 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 # ...)) @@ -18900,7 +18935,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/decafe/view-tmpPYED056U.fasl -; compilation finished in 0:00:00.132 +; compilation finished in 0:00:00.240 ; 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 # ...)) @@ -18988,7 +19023,7 @@ ; processing (DEFUN IMPORT-VARIABLES ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/decafe/mimport-tmpUOCPY155.fasl -; compilation finished in 0:00:00.116 +; compilation finished in 0:00:00.204 ; 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 # ...)) @@ -19331,7 +19366,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/cafein/rengine-tmpP4BCARWB.fasl -; compilation finished in 0:00:00.252 +; compilation finished in 0:00:00.496 ; 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 # ...)) @@ -19545,7 +19580,7 @@ ; processing (DEFUN DO-CBRED ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/cafein/cbred-tmpOUEHOD9C.fasl -; compilation finished in 0:00:00.068 +; compilation finished in 0:00:00.136 ; 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 # ...)) @@ -19605,7 +19640,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/cafein/reducer-tmp5ZHGID8G.fasl -; compilation finished in 0:00:00.072 +; compilation finished in 0:00:00.132 ; 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 # ...)) @@ -19652,7 +19687,7 @@ ; processing (DEFUN CHECK-REGULARITY ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/tools/regcheck-tmp9D2N5DM.fasl -; compilation finished in 0:00:00.080 +; compilation finished in 0:00:00.132 ; 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 # ...)) @@ -19702,7 +19737,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/tools/regularize-tmpKDSLP2NX.fasl -; compilation finished in 0:00:00.012 +; compilation finished in 0:00:00.020 ; 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 # ...)) @@ -19952,7 +19987,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/tools/describe-tmp4QLHV6NG.fasl -; compilation finished in 0:00:00.112 +; compilation finished in 0:00:00.216 ; 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 # ...)) @@ -19984,7 +20019,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/tools/sort-tree-tmpMFQG7214.fasl -; compilation finished in 0:00:00.016 +; compilation finished in 0:00:00.032 ; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/tools/module-tree.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) @@ -20062,7 +20097,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/tools/module-tree-tmpEL1UBVEC.fasl -; compilation finished in 0:00:00.032 +; compilation finished in 0:00:00.076 ; 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 # ...)) @@ -20292,7 +20327,7 @@ ; processing (DEFUN PRINT-TERM-HORIZONTAL ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/tools/show-tmpO7N5WXBL.fasl -; compilation finished in 0:00:00.068 +; compilation finished in 0:00:00.152 ; 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 # ...)) @@ -20389,7 +20424,7 @@ ; processing (DEFUN CHAOS-SET-BOOL-PATH ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/tools/set-tmp7GPJW3WR.fasl -; compilation finished in 0:00:00.068 +; compilation finished in 0:00:00.128 ; 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 # ...)) @@ -20626,7 +20661,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/tools/op-check-tmpESZVJLGB.fasl -; compilation finished in 0:00:00.156 +; compilation finished in 0:00:00.260 ; 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 # ...)) @@ -20648,7 +20683,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/tools/compat-tmp861VENRV.fasl -; compilation finished in 0:00:00.020 +; compilation finished in 0:00:00.036 ; 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 # ...)) @@ -20657,7 +20692,7 @@ ; processing (DEFUN READ-HELP-DB ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/tools/help-tmp7MX18LSW.fasl -; compilation finished in 0:00:00.032 +; compilation finished in 0:00:00.048 ; 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 # ...)) @@ -21217,7 +21252,7 @@ ; processing (DEFUN !LOOK-UP ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/tools/inspect-tmp4CP5SEFX.fasl -; compilation finished in 0:00:00.048 +; compilation finished in 0:00:00.076 ; 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 # ...)) @@ -21248,7 +21283,7 @@ ; processing (DEFUN IS-SENSIBLE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/tools/sensible-tmpZ7L7FP0S.fasl -; compilation finished in 0:00:00.012 +; compilation finished in 0:00:00.020 ; 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 # ...)) @@ -21367,7 +21402,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/eval/eval-mod-tmpGCPRU2E.fasl -; compilation finished in 0:00:00.012 +; compilation finished in 0:00:00.024 ; 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 # ...)) @@ -21774,7 +21809,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/eval/eval-ast-tmpTYRYY2X9.fasl -; compilation finished in 0:00:00.124 +; compilation finished in 0:00:00.232 ; 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 # ...)) @@ -22523,7 +22558,7 @@ ; processing (DEFUN EVAL-GENDOC ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/eval/eval-ast2-tmpOMAPSGL7.fasl -; compilation finished in 0:00:00.240 +; compilation finished in 0:00:00.448 ; 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 ...) @@ -22539,7 +22574,7 @@ ; processing (DEFUN CHAOS-TOP ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/eval/chaos-top-tmpB76HJA0J.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/boot/preproc.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DEFUN TOKEN-IS-SORT-ID ...) @@ -22617,7 +22652,7 @@ ; processing (DEFUN S-RFIND ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/boot/preproc-tmp7QTM681J.fasl -; compilation finished in 0:00:00.088 +; compilation finished in 0:00:00.140 ; 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* ...) @@ -22651,7 +22686,7 @@ ; processing (DEFUN INSTALL-PRELUDE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/boot/prelude-tmpLGH8FB0W.fasl -; compilation finished in 0:00:00.040 +; compilation finished in 0:00:00.048 ; 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) @@ -22694,7 +22729,7 @@ ; processing (CHAOS-MISC-INIT) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/boot/builtins-tmpDGQGGEC4.fasl -; compilation finished in 0:00:00.080 +; compilation finished in 0:00:00.120 -- defining module* TRIV done. -- defining module! TRUTH-VALUE done. @@ -22812,7 +22847,7 @@ ; processing (DEFUN TRAM-SEND-REDUCE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/tram/tram-tmp6X5OKNPG.fasl -; compilation finished in 0:00:00.208 +; compilation finished in 0:00:00.399 ; 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 # ...)) @@ -23153,7 +23188,7 @@ ; processing (DEFUN PSUP-IMAGE-OF-AXIOMS* ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/chaos/psup/psup-tmpABKNHGCI.fasl -; compilation finished in 0:00:00.084 +; compilation finished in 0:00:00.152 ; 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 # ...)) @@ -23204,7 +23239,7 @@ ; processing (DEFUN PARSE-APPLY-COMMAND ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/thstuff/parse-apply-tmpDGT3OQUT.fasl -; compilation finished in 0:00:00.100 +; compilation finished in 0:00:00.164 ; 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 # ...)) @@ -23851,7 +23886,7 @@ ; processing (DEFUN COMPUTE-EXTRA-VARIABLES ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/thstuff/basics-tmpNF26V1SW.fasl -; compilation finished in 0:00:00.108 +; compilation finished in 0:00:00.184 ; 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 # ...)) @@ -23943,7 +23978,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/thstuff/eval-match-tmp2SBNA8NV.fasl -; compilation finished in 0:00:00.044 +; compilation finished in 0:00:00.072 ; 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 # ...)) @@ -23996,7 +24031,7 @@ ; processing (DEFUN APPLY-PRINT-RULE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/thstuff/eval-apply-tmpGXTLRZRR.fasl -; compilation finished in 0:00:00.048 +; compilation finished in 0:00:00.080 ; 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)) @@ -24370,7 +24405,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-x86/build/reproducible-path/cafeobj-1.6.0/thstuff/cexec-tmp2OV9B8J5.fasl -; compilation finished in 0:00:00.404 +; compilation finished in 0:00:00.764 ; 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. ...) @@ -24380,7 +24415,7 @@ ; processing (DEFUN PERFORM-CASE-REDUCTION ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/thstuff/case-tmpDWRCTFSG.fasl -; compilation finished in 0:00:00.016 +; compilation finished in 0:00:00.032 ; 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 # ...)) @@ -25298,7 +25333,7 @@ ; processing (DEFMACRO WITH-IN-CONTEXT ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/thstuff/proof-struct-tmpUJ89U641.fasl -; compilation finished in 0:00:00.376 +; compilation finished in 0:00:00.676 ; 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 # ...)) @@ -26108,7 +26143,7 @@ ; processing (DEFUN APPLY-TACTICS-TO-GOAL ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/thstuff/apply-tactic-tmpJAPE3FUS.fasl -; compilation finished in 0:00:00.404 +; compilation finished in 0:00:00.740 ; 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 # ...)) @@ -26416,7 +26451,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/thstuff/citp-tmp1V7T6W0W.fasl -; compilation finished in 0:00:00.096 +; compilation finished in 0:00:00.212 ; 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 # ...)) @@ -27017,7 +27052,7 @@ ; processing (DEFUN BGRIND-BOOL-TERM ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/thstuff/bterm-inspector-tmp952LXWTD.fasl -; compilation finished in 0:00:00.148 +; compilation finished in 0:00:00.296 ; 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 # ...)) @@ -27118,7 +27153,7 @@ ; processing (DEFSTRUCT (OPTION-SET) ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/types-tmpLVFWNUU9.fasl -; compilation finished in 0:00:00.168 +; compilation finished in 0:00:00.304 ; 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 # ...)) @@ -27577,7 +27612,7 @@ ; processing (DEFUN SETUP-PIGNOSE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/glob-tmpDKBKLORG.fasl -; compilation finished in 0:00:00.092 +; compilation finished in 0:00:00.132 ; 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 # ...)) @@ -27637,7 +27672,7 @@ ; processing (DEFMACRO WITH-PROOF-CONTEXT ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/proof-sys-tmpMO2T7PGC.fasl -; compilation finished in 0:00:00.016 +; compilation finished in 0:00:00.024 WARNING: Lisp compilation had style-warnings while compiling # @@ -27679,7 +27714,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/syntax-tmp5EVOKXWI.fasl -; compilation finished in 0:00:00.032 +; compilation finished in 0:00:00.060 ; 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 # ...)) @@ -28536,7 +28571,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-x86/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/index-tmp7EN5VFOC.fasl -; compilation finished in 0:00:00.168 +; compilation finished in 0:00:00.324 ; 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 # ...)) @@ -31009,7 +31044,7 @@ ; processing (DEFUN INCLUDE-FOPL ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/butils-tmpWA664A3J.fasl -; compilation finished in 0:00:00.272 +; compilation finished in 0:00:00.584 ; 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 # ...)) @@ -31060,7 +31095,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/unify-tmp3CS3QORN.fasl -; compilation finished in 0:00:00.028 +; compilation finished in 0:00:00.060 ; 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 # ...)) @@ -31496,7 +31531,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/clause-tmpD6CVA6PG.fasl -; compilation finished in 0:00:00.116 +; compilation finished in 0:00:00.248 ; 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 # ...)) @@ -31677,7 +31712,7 @@ ; processing (DEFUN CNF-TO-LIST ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/formula-tmpJTJ7UKVB.fasl -; compilation finished in 0:00:00.252 +; compilation finished in 0:00:00.532 ; 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 # ...)) @@ -31748,7 +31783,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/modconv-tmpI3M10D0B.fasl -; compilation finished in 0:00:00.084 +; compilation finished in 0:00:00.180 ; 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 # ...)) @@ -31899,7 +31934,7 @@ ; processing (DEFUN TERM-IDENT-X-VARS ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/weight-tmpMQ8L07M8.fasl -; compilation finished in 0:00:00.144 +; compilation finished in 0:00:00.320 ; 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 # ...)) @@ -31932,7 +31967,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/lrpo-tmp9HFLKKLP.fasl -; compilation finished in 0:00:00.028 +; compilation finished in 0:00:00.052 ; 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 # ...)) @@ -32232,7 +32267,7 @@ ; processing (DEFUN FACTOR-SIMPLIFY ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/resolve-tmpEHVBI5QP.fasl -; compilation finished in 0:00:00.084 +; compilation finished in 0:00:00.180 ; 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 # ...)) @@ -32678,7 +32713,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/paramod-tmp7ACGYN6Z.fasl -; compilation finished in 0:00:00.052 +; compilation finished in 0:00:00.120 ; 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 # ...)) @@ -32973,7 +33008,7 @@ ; processing (DEFUN SETUP-DEMODULATORS ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/demod-tmpROQG4ZG5.fasl -; compilation finished in 0:00:00.096 +; compilation finished in 0:00:00.196 ; 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 # ...)) @@ -34844,7 +34879,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/infer-tmpL8QH2EDP.fasl -; compilation finished in 0:00:00.124 +; compilation finished in 0:00:00.276 ; 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 # ...)) @@ -34893,7 +34928,7 @@ ; processing (DEFUN GENERATE-SIGMATCH-VIEW ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/sigmatch-tmpGMP33JVN.fasl -; compilation finished in 0:00:00.036 +; compilation finished in 0:00:00.064 ; 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 # ...)) @@ -34980,7 +35015,7 @@ ; processing (DEFUN PN-CHECK-REFINEMENT ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/refine-tmpYZLZO5XO.fasl -; compilation finished in 0:00:00.012 +; compilation finished in 0:00:00.028 ; 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 # ...)) @@ -35336,7 +35371,7 @@ ; processing (DEFUN EVAL-PN-LEX ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/commands-tmpHJEGXRNO.fasl -; compilation finished in 0:00:00.300 +; compilation finished in 0:00:00.556 ; 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 # ...)) @@ -35739,7 +35774,7 @@ ; processing (DEFUN PN-CHECK-SAFETY ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/inv-tmpLNAWKPET.fasl -; compilation finished in 0:00:00.108 +; compilation finished in 0:00:00.224 ; 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* ...) @@ -35802,7 +35837,7 @@ ; processing (SETQ *CAFEOBJ-SCHEMAS* ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/cafeobj/creader-tmp4JWQGV5Z.fasl -; compilation finished in 0:00:00.012 +; compilation finished in 0:00:00.016 ; 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 # ...)) @@ -36256,7 +36291,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/cafeobj/oldoc-tmpPQD2HT0O.fasl -; compilation finished in 0:00:00.196 +; compilation finished in 0:00:00.368 ; 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 # ...)) @@ -36412,7 +36447,7 @@ ; processing (DEFUN PRINT-COMDE-USAGE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/cafeobj/define-tmpH1FK4I19.fasl -; compilation finished in 0:00:00.032 +; compilation finished in 0:00:00.060 ; 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 # ...)) @@ -36528,7 +36563,7 @@ ; processing (DEFUN PARSE-GENDOC-COMMAND ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/cafeobj/trans-com-tmpOGMGFZE8.fasl -; compilation finished in 0:00:00.056 +; compilation finished in 0:00:00.096 ; 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 # ...)) @@ -36609,7 +36644,7 @@ ; processing (DEFUN EVAL-DECL-DO-NOTHING ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/cafeobj/trans-decl-tmpP2P3SY1J.fasl -; compilation finished in 0:00:00.088 +; compilation finished in 0:00:00.140 ; 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 # ...)) @@ -36689,7 +36724,7 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/cafeobj/trans-form-tmpH6YIZTI1.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 # ...)) @@ -36918,7 +36953,7 @@ ; processing (DEFUN HANDLE-CAFEOBJ-TOP-ERROR ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/cafeobj/command-top-tmpSJEPG7AU.fasl -; compilation finished in 0:00:00.088 +; compilation finished in 0:00:00.140 ; 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 # ...)) @@ -37120,7 +37155,7 @@ ; processing (DEFINE ("?com" "?command") ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/cafeobj/commands-tmpSNZATJRM.fasl -; compilation finished in 0:00:00.148 +; compilation finished in 0:00:00.212 ; 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 # ...)) @@ -37158,7 +37193,7 @@ ; processing (DEFINE (".") ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/cafeobj/declarations-tmpK93FRK93.fasl -; compilation finished in 0:00:00.024 +; compilation finished in 0:00:00.032 ; 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 # ...)) @@ -37214,7 +37249,7 @@ ; processing (DEFUN CAFEOBJ-TOP-LEVEL ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-x86/build/reproducible-path/cafeobj-1.6.0/cafeobj/cafeobj-top-tmpUIQ1NDZ1.fasl -; compilation finished in 0:00:00.032 +; compilation finished in 0:00:00.048 ; file: /build/reproducible-path/cafeobj-1.6.0/thstuff/cexec.lisp ; in: DEFUN CHAOS::TERM-HASH-COMB @@ -37251,7 +37286,7 @@ [saving current Lisp image into ./dumps/sbcl/cafeobj.sbcl: writing 0 bytes from the read-only space at 0x1000000 writing 6104 bytes from the static space at 0x1100000 -writing 37576704 bytes from the dynamic space at 0x77c0d000 +writing 37576704 bytes from the dynamic space at 0x37be1000 done] chmod +x dumps/sbcl/cafeobj.sbcl cat ./xbin/cafeobj.in | \ @@ -37342,12 +37377,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/31076/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/31076/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/87129 and its subdirectories -I: Current time: Mon Feb 10 11:53:48 -12 2025 -I: pbuilder-time-stamp: 1739231628 +I: removing directory /srv/workspace/pbuilder/31076 and its subdirectories +I: Current time: Wed Jan 10 07:32:23 +14 2024 +I: pbuilder-time-stamp: 1704821543