Diff of the two buildlogs: -- --- b1/build.log 2024-01-07 05:38:29.527413336 +0000 +++ b2/build.log 2024-01-07 05:42:27.293069721 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Sat Jan 6 17:34:57 -12 2024 -I: pbuilder-time-stamp: 1704605697 +I: Current time: Sun Jan 7 19:38:55 +14 2024 +I: pbuilder-time-stamp: 1704605935 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/bullseye-reproducible-base.tgz] I: copying local configuration @@ -17,8 +17,8 @@ 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.q9FWmm6R/trustedkeys.kbx': General error -gpgv: Signature made Tue Feb 18 08:32:50 2020 -12 +gpgv: keyblock resource '/tmp/dpkg-verify-sig.6q2SRrG3/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 dpkg-source: warning: failed to verify signature on ./cafeobj_1.6.0-2.dsc @@ -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/21036/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/29888/tmp/hooks/D01_modify_environment starting +debug: Running on virt32c. +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:39 /bin/sh -> /bin/bash +I: Setting pbuilder2's login shell to /bin/bash +I: Setting pbuilder2's GECOS to second user,second room,second work-phone,second home-phone,second other +I: user script /srv/workspace/pbuilder/29888/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/29888/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='armhf' - DEBIAN_FRONTEND='noninteractive' - DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all,-fixfilepath parallel=3 ' - DISTRIBUTION='bullseye' - HOME='/root' - HOST_ARCH='armhf' + 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]="arm-unknown-linux-gnueabihf") + 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=armhf + DEBIAN_FRONTEND=noninteractive + DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all,-fixfilepath parallel=4 ' + DIRSTACK=() + DISTRIBUTION=bullseye + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/root + HOSTNAME=i-capture-the-hostname + HOSTTYPE=arm + HOST_ARCH=armhf IFS=' ' - INVOCATION_ID='be4b236224734966a59d5e691f84fc77' - 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='21036' - PS1='# ' - PS2='> ' + INVOCATION_ID=009e898ade7045008b8923b22d59862f + LANG=C + LANGUAGE=it_CH:it + LC_ALL=C + MACHTYPE=arm-unknown-linux-gnueabihf + MAIL=/var/mail/root + OPTERR=1 + OPTIND=1 + OSTYPE=linux-gnueabihf + 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=29888 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.SMi4VkHS/pbuilderrc_SKW2 --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.SMi4VkHS/b1 --logfile b1/build.log cafeobj_1.6.0-2.dsc' - SUDO_GID='114' - SUDO_UID='108' - SUDO_USER='jenkins' - TERM='unknown' - TZ='/usr/share/zoneinfo/Etc/GMT+12' - USER='root' - _='/usr/bin/systemd-run' - http_proxy='http://10.0.0.15:3142/' + 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.SMi4VkHS/pbuilderrc_kZRU --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.SMi4VkHS/b2 --logfile b2/build.log cafeobj_1.6.0-2.dsc' + SUDO_GID=113 + SUDO_UID=107 + SUDO_USER=jenkins + TERM=unknown + TZ=/usr/share/zoneinfo/Etc/GMT-14 + UID=0 + USER=root + _='I: set' + http_proxy=http://10.0.0.15:3142/ I: uname -a - Linux jtx1c 5.10.0-26-arm64 #1 SMP Debian 5.10.197-1 (2023-09-29) aarch64 GNU/Linux + Linux i-capture-the-hostname 6.1.0-17-armmp-lpae #1 SMP Debian 6.1.69-1 (2023-12-30) armv7l GNU/Linux I: ls -l /bin total 3580 -rwxr-xr-x 1 root root 816764 Mar 27 2022 bash @@ -98,19 +129,19 @@ -rwxr-xr-x 1 root root 59912 Sep 22 2020 df -rwxr-xr-x 1 root root 96764 Sep 22 2020 dir -rwxr-xr-x 1 root root 55012 Jan 20 2022 dmesg - lrwxrwxrwx 1 root root 8 Nov 6 2019 dnsdomainname -> hostname - lrwxrwxrwx 1 root root 8 Nov 6 2019 domainname -> hostname + lrwxrwxrwx 1 root root 8 Nov 7 2019 dnsdomainname -> hostname + lrwxrwxrwx 1 root root 8 Nov 7 2019 domainname -> hostname -rwxr-xr-x 1 root root 22508 Sep 22 2020 echo - -rwxr-xr-x 1 root root 28 Jan 24 2023 egrep + -rwxr-xr-x 1 root root 28 Jan 25 2023 egrep -rwxr-xr-x 1 root root 22496 Sep 22 2020 false - -rwxr-xr-x 1 root root 28 Jan 24 2023 fgrep + -rwxr-xr-x 1 root root 28 Jan 25 2023 fgrep -rwxr-xr-x 1 root root 47492 Jan 20 2022 findmnt -rwsr-xr-x 1 root root 26076 Feb 26 2021 fusermount - -rwxr-xr-x 1 root root 124508 Jan 24 2023 grep - -rwxr-xr-x 2 root root 2346 Apr 9 2022 gunzip - -rwxr-xr-x 1 root root 6447 Apr 9 2022 gzexe - -rwxr-xr-x 1 root root 64212 Apr 9 2022 gzip - -rwxr-xr-x 1 root root 13784 Nov 6 2019 hostname + -rwxr-xr-x 1 root root 124508 Jan 25 2023 grep + -rwxr-xr-x 2 root root 2346 Apr 10 2022 gunzip + -rwxr-xr-x 1 root root 6447 Apr 10 2022 gzexe + -rwxr-xr-x 1 root root 64212 Apr 10 2022 gzip + -rwxr-xr-x 1 root root 13784 Nov 7 2019 hostname -rwxr-xr-x 1 root root 43180 Sep 22 2020 ln -rwxr-xr-x 1 root root 35068 Feb 7 2020 login -rwxr-xr-x 1 root root 96764 Sep 22 2020 ls @@ -122,7 +153,7 @@ -rwsr-xr-x 1 root root 34400 Jan 20 2022 mount -rwxr-xr-x 1 root root 9824 Jan 20 2022 mountpoint -rwxr-xr-x 1 root root 88524 Sep 22 2020 mv - lrwxrwxrwx 1 root root 8 Nov 6 2019 nisdomainname -> hostname + lrwxrwxrwx 1 root root 8 Nov 7 2019 nisdomainname -> hostname lrwxrwxrwx 1 root root 14 Dec 16 2021 pidof -> /sbin/killall5 -rwxr-xr-x 1 root root 26652 Sep 22 2020 pwd lrwxrwxrwx 1 root root 4 Mar 27 2022 rbash -> bash @@ -131,33 +162,33 @@ -rwxr-xr-x 1 root root 30732 Sep 22 2020 rmdir -rwxr-xr-x 1 root root 14144 Sep 27 2020 run-parts -rwxr-xr-x 1 root root 76012 Dec 22 2018 sed - lrwxrwxrwx 1 root root 4 Nov 6 21:26 sh -> dash + lrwxrwxrwx 1 root root 9 Jan 7 05:39 sh -> /bin/bash -rwxr-xr-x 1 root root 22532 Sep 22 2020 sleep -rwxr-xr-x 1 root root 55360 Sep 22 2020 stty -rwsr-xr-x 1 root root 46704 Jan 20 2022 su -rwxr-xr-x 1 root root 22532 Sep 22 2020 sync - -rwxr-xr-x 1 root root 340872 Feb 16 2021 tar + -rwxr-xr-x 1 root root 340872 Feb 17 2021 tar -rwxr-xr-x 1 root root 9808 Sep 27 2020 tempfile -rwxr-xr-x 1 root root 67696 Sep 22 2020 touch -rwxr-xr-x 1 root root 22496 Sep 22 2020 true -rwxr-xr-x 1 root root 9636 Feb 26 2021 ulockmgr_server -rwsr-xr-x 1 root root 22108 Jan 20 2022 umount -rwxr-xr-x 1 root root 22520 Sep 22 2020 uname - -rwxr-xr-x 2 root root 2346 Apr 9 2022 uncompress + -rwxr-xr-x 2 root root 2346 Apr 10 2022 uncompress -rwxr-xr-x 1 root root 96764 Sep 22 2020 vdir -rwxr-xr-x 1 root root 38512 Jan 20 2022 wdctl - lrwxrwxrwx 1 root root 8 Nov 6 2019 ypdomainname -> hostname - -rwxr-xr-x 1 root root 1984 Apr 9 2022 zcat - -rwxr-xr-x 1 root root 1678 Apr 9 2022 zcmp - -rwxr-xr-x 1 root root 5898 Apr 9 2022 zdiff - -rwxr-xr-x 1 root root 29 Apr 9 2022 zegrep - -rwxr-xr-x 1 root root 29 Apr 9 2022 zfgrep - -rwxr-xr-x 1 root root 2081 Apr 9 2022 zforce - -rwxr-xr-x 1 root root 8049 Apr 9 2022 zgrep - -rwxr-xr-x 1 root root 2206 Apr 9 2022 zless - -rwxr-xr-x 1 root root 1842 Apr 9 2022 zmore - -rwxr-xr-x 1 root root 4577 Apr 9 2022 znew -I: user script /srv/workspace/pbuilder/21036/tmp/hooks/D02_print_environment finished + lrwxrwxrwx 1 root root 8 Nov 7 2019 ypdomainname -> hostname + -rwxr-xr-x 1 root root 1984 Apr 10 2022 zcat + -rwxr-xr-x 1 root root 1678 Apr 10 2022 zcmp + -rwxr-xr-x 1 root root 5898 Apr 10 2022 zdiff + -rwxr-xr-x 1 root root 29 Apr 10 2022 zegrep + -rwxr-xr-x 1 root root 29 Apr 10 2022 zfgrep + -rwxr-xr-x 1 root root 2081 Apr 10 2022 zforce + -rwxr-xr-x 1 root root 8049 Apr 10 2022 zgrep + -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/29888/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -170,7 +201,7 @@ Depends: debhelper (>= 10), sbcl dpkg-deb: building package 'pbuilder-satisfydepends-dummy' in '/tmp/satisfydepends-aptitude/pbuilder-satisfydepends-dummy.deb'. Selecting previously unselected package pbuilder-satisfydepends-dummy. -(Reading database ... 19448 files and directories currently installed.) +(Reading database ... 17486 files and directories currently installed.) Preparing to unpack .../pbuilder-satisfydepends-dummy.deb ... Unpacking pbuilder-satisfydepends-dummy (0.invalid.0) ... dpkg: pbuilder-satisfydepends-dummy: dependency problems, but configuring anyway as you requested: @@ -227,10 +258,10 @@ Get: 30 http://deb.debian.org/debian bullseye/main armhf po-debconf all 1.0.21+nmu1 [248 kB] Get: 31 http://deb.debian.org/debian bullseye/main armhf debhelper all 13.3.4 [1049 kB] Get: 32 http://deb.debian.org/debian bullseye/main armhf sbcl armhf 2:2.1.1-2 [7578 kB] -Fetched 25.3 MB in 2s (11.5 MB/s) +Fetched 25.3 MB in 1s (43.8 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 ... 19448 files and directories currently installed.) +(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 ... 17486 files and directories currently installed.) Preparing to unpack .../00-bsdextrautils_2.36.1-8+deb11u1_armhf.deb ... Unpacking bsdextrautils (2.36.1-8+deb11u1) ... Selecting previously unselected package libuchardet0:armhf. @@ -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/29888/tmp/hooks/A99_set_merged_usr starting +Not re-configuring usrmerge for bullseye +I: user script /srv/workspace/pbuilder/29888/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 @@ -521,13 +556,13 @@ "cl-ppcre/test") in that file. WARNING: System definition file #P"/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/cl-ppcre.asd" contains definition for system "cl-ppcre-test". Please only define "cl-ppcre" and secondary systems with a name starting with "cl-ppcre/" (e.g. "cl-ppcre/test") in that file. .) -; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/packages.lisp" (written 14 NOV 2018 12:48:56 PM): +; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/packages.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CL-USER) ; processing (DEFPACKAGE :CL-PPCRE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/packages-tmp7LQ0A0VI.fasl -; compilation finished in 0:00:00.004 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/specials.lisp" (written 14 NOV 2018 12:48:56 PM): +; compilation finished in 0:00:00.008 +; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/specials.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CL-PPCRE) ; processing (DEFVAR *STANDARD-OPTIMIZE-SETTINGS* ...) ; processing (DEFVAR *SPECIAL-OPTIMIZE-SETTINGS* ...) @@ -568,8 +603,8 @@ ; processing (LET (#) ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/specials-tmp74KGUNRZ.fasl -; compilation finished in 0:00:00.024 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/util.lisp" (written 14 NOV 2018 12:48:56 PM): +; compilation finished in 0:00:00.048 +; 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 ...) ; processing (DEFMACRO WITH-UNIQUE-NAMES ...) @@ -611,8 +646,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/util-tmpCEL1YIM2.fasl -; compilation finished in 0:00:00.108 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/errors.lisp" (written 14 NOV 2018 12:48:56 PM): +; compilation finished in 0:00:00.172 +; 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* ...) ; processing (DEFINE-CONDITION PPCRE-ERROR ...) @@ -625,8 +660,8 @@ ; processing (DEFMACRO SIGNAL-INVOCATION-ERROR ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/errors-tmpHAMQABTV.fasl -; compilation finished in 0:00:00.040 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/charset.lisp" (written 14 NOV 2018 12:48:56 PM): +; compilation finished in 0:00:00.060 +; 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+ ...) ; processing (DEFUN MAKE-CHAR-VECTOR ...) @@ -1102,8 +1137,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/charset-tmpUPMG0IBO.fasl -; compilation finished in 0:00:00.156 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/charmap.lisp" (written 14 NOV 2018 12:48:56 PM): +; compilation finished in 0:00:00.260 +; 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 #) ...) ; processing (DEFMETHOD MAKE-LOAD-FORM ...) @@ -1271,8 +1306,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/charmap-tmpAKM32D0F.fasl -; compilation finished in 0:00:00.128 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/chartest.lisp" (written 14 NOV 2018 12:48:56 PM): +; compilation finished in 0:00:00.236 +; 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 ...) ; file: /build/reproducible-path/cafeobj-1.6.0/cl-ppcre/chartest.lisp @@ -1683,8 +1718,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/chartest-tmp8UG37QJ5.fasl -; compilation finished in 0:00:00.056 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/lexer.lisp" (written 14 NOV 2018 12:48:56 PM): +; compilation finished in 0:00:00.104 +; 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)) ; processing (DEFUN MAP-CHAR-TO-SPECIAL-CHAR-CLASS ...) @@ -1778,11 +1813,11 @@ ; processing (DEFUN START-OF-SUBEXPR-P ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/lexer-tmp65YV5VYW.fasl -; compilation finished in 0:00:00.356 +; compilation finished in 0:00:00.652 WARNING: Lisp compilation had style-warnings while compiling # -; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/parser.lisp" (written 14 NOV 2018 12:48:56 PM): +; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/parser.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CL-PPCRE) ; processing (DEFUN GROUP ...) ; file: /build/reproducible-path/cafeobj-1.6.0/cl-ppcre/parser.lisp @@ -1803,8 +1838,8 @@ ; processing (DEFUN PARSE-STRING ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/parser-tmpGO4MNX7G.fasl -; compilation finished in 0:00:00.064 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/regex-class.lisp" (written 14 NOV 2018 12:48:56 PM): +; compilation finished in 0:00:00.108 +; 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 ...) ; processing (DEFCLASS SEQ ...) @@ -1848,8 +1883,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/regex-class-tmp9NXH2K1.fasl -; compilation finished in 0:00:00.072 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/regex-class-util.lisp" (written 14 NOV 2018 12:48:56 PM): +; compilation finished in 0:00:00.128 +; 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 ...) ; processing (DEFMETHOD STR ...) @@ -3532,8 +3567,8 @@ ; processing (DEFMETHOD COMPUTE-OFFSETS ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/regex-class-util-tmp6B86GLV2.fasl -; compilation finished in 0:00:00.528 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/convert.lisp" (written 14 NOV 2018 12:48:56 PM): +; compilation finished in 0:00:00.924 +; 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 ...) ; processing (DEFMACRO MULTI-LINE-MODE-P ...) @@ -4350,8 +4385,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/convert-tmpZWLLOVAH.fasl -; compilation finished in 0:00:00.620 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/optimize.lisp" (written 14 NOV 2018 12:48:56 PM): +; compilation finished in 0:00:01.032 +; 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 ...) ; processing (DEFMETHOD FLATTEN ...) @@ -5465,8 +5500,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/optimize-tmpS9M8BVBG.fasl -; compilation finished in 0:00:00.372 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/closures.lisp" (written 14 NOV 2018 12:48:56 PM): +; compilation finished in 0:00:00.608 +; 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*= ...)) ; processing (DEFUN *STRING*= ...) @@ -5613,8 +5648,8 @@ ; processing (DEFMETHOD CREATE-MATCHER-AUX ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/closures-tmp205IFRLS.fasl -; compilation finished in 0:00:00.368 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/repetition-closures.lisp" (written 14 NOV 2018 12:48:56 PM): +; compilation finished in 0:00:00.612 +; 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 ...) ; processing (DEFMACRO GREEDY-CONSTANT-LENGTH-CLOSURE ...) @@ -6561,8 +6596,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/repetition-closures-tmpBW6GBZVX.fasl -; compilation finished in 0:00:00.808 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/scanner.lisp" (written 14 NOV 2018 12:48:56 PM): +; compilation finished in 0:00:01.404 +; 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 ...) ; processing (DEFUN CREATE-BMH-MATCHER ...) @@ -8634,8 +8669,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/scanner-tmpMDMI656Q.fasl -; compilation finished in 0:00:01.688 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/api.lisp" (written 14 NOV 2018 12:48:56 PM): +; compilation finished in 0:00:02.467 +; 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 ...) ; processing (DEFMETHOD CREATE-SCANNER ...) @@ -8874,7 +8909,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. ... {522DC80F}> +; REG-ENDS bound to the four return values of each match in turn. ... {522DA80F}> ; (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) @@ -8942,7 +8977,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... {5265C007}> +; ma... {5265D007}> ; (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) @@ -8974,7 +9009,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... {527AB007}> +; va... {527AE007}> ; (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 @@ -10854,7 +10889,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... {523AD59F}> +; case-insensi... {523BD59F}> ; (LET ((CL-PPCRE::COLLECTOR 'NIL)) ; (CL-PPCRE::REGEX-APROPOS-AUX (CL-PPCRE::REGEX CL-PPCRE::PACKAGES ; CL-PPCRE::CASE-INSENSITIVE @@ -10870,7 +10905,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... {523AD59F}> +; case-insensi... {523BD59F}> ; (DECLARE ; (OPTIMIZE SPEED (SAFETY 0) (SPACE 0) (DEBUG 1) (COMPILATION-SPEED 0))) ; (BLOCK CL-PPCRE:REGEX-APROPOS-LIST @@ -10896,7 +10931,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 ... {526F99D7}> +; is true and REGEX isn't already a scanner, a case-insensitive ... {52716737}> ; (DECLARE ; (OPTIMIZE SPEED (SAFETY 0) (SPACE 0) (DEBUG 1) (COMPILATION-SPEED 0))) ; (CL-PPCRE::REGEX-APROPOS-AUX (CL-PPCRE::REGEX CL-PPCRE::PACKAGES @@ -10912,7 +10947,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 ... {526F99D7}> +; is true and REGEX isn't already a scanner, a case-insensitive ... {52716737}> ; (DECLARE ; (OPTIMIZE SPEED (SAFETY 0) (SPACE 0) (DEBUG 1) (COMPILATION-SPEED 0))) ; (BLOCK CL-PPCRE:REGEX-APROPOS @@ -10934,7 +10969,7 @@ ; processing (DEFMACRO DEFINE-PARSE-TREE-SYNONYM ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/cl-ppcre/api-tmpQN7VP0FI.fasl -; compilation finished in 0:00:01.020 +; compilation finished in 0:00:01.860 WARNING: Lisp compilation had style-warnings while compiling # @@ -10944,7 +10979,7 @@ ; printed 1198 notes STYLE-WARNING: using deprecated EVAL-WHEN situation names LOAD EVAL WARNING: System definition file #P"/build/reproducible-path/cafeobj-1.6.0/sysdef.asd" contains definition for system "chaosx". Please only define "sysdef" and secondary systems with a name starting with "sysdef/" (e.g. "sysdef/test") in that file. -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos-package.lisp" (written 14 NOV 2018 12:48:55 PM): +; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos-package.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (PUSHNEW :BIGPINK ...) ; processing (REQUIRE :ASDF) ; processing (DEFPACKAGE :CL-PPCRE-ASD ...) @@ -10952,8 +10987,8 @@ ; processing (DEFPACKAGE "CHAOS" ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/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 06 JAN 2024 05:36:01 PM): +; compilation finished in 0:00:00.008 +; compiling file "/build/reproducible-path/cafeobj-1.6.0/version.lisp" (written 07 JAN 2024 05:39:37 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DEFVAR CAFEOBJ-VERSION) ; processing (DEFVAR CAFEOBJ-VERSION-MAJOR) @@ -10967,8 +11002,8 @@ ; processing (SETQ CAFEOBJ-VERSION ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/version-tmp9RA72042.fasl -; compilation finished in 0:00:00.004 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/comlib/globals.lisp" (written 16 JAN 2019 06:56:23 PM): +; compilation finished in 0:00:00.008 +; 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 # ...)) ; processing (DECLAIM (SPECIAL *CURRENT-MODULE* ...)) @@ -11368,8 +11403,8 @@ ; processing (DEFVAR *TOP-LEVEL-TAG* ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/comlib/globals-tmpGXZUHQQV.fasl -; compilation finished in 0:00:00.064 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/comlib/macros.lisp" (written 14 NOV 2018 12:48:56 PM): +; compilation finished in 0:00:00.156 +; 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 # ...)) ; processing (DEFMACRO ONCE-ONLY ...) @@ -11391,8 +11426,8 @@ ; processing (DEFMACRO FIXNUMP ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/comlib/macros-tmp1SBDRUB4.fasl -; compilation finished in 0:00:01.464 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/comlib/print-utils.lisp" (written 14 NOV 2018 12:48:56 PM): +; compilation finished in 0:00:00.240 +; 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 # ...)) ; processing (DECLAIM (INLINE FILECOL) ...) @@ -11412,8 +11447,8 @@ ; processing (DEFUN PRINT-SIMPLE-PRINC-OPEN ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/comlib/print-utils-tmpFJI67R2A.fasl -; compilation finished in 0:00:00.456 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/comlib/message.lisp" (written 14 NOV 2018 12:48:56 PM): +; compilation finished in 0:00:00.124 +; 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 # ...)) ; processing (DEFUN FLUSH-ALL ...) @@ -11626,8 +11661,8 @@ ; processing (DEFMACRO I-MISS-CURRENT-MODULE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/comlib/message-tmp2LAB0LT0.fasl -; compilation finished in 0:00:00.644 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/comlib/error.lisp" (written 14 NOV 2018 12:48:56 PM): +; compilation finished in 0:00:00.452 +; 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 # ...)) ; processing (DECLAIM (SPECIAL *SUPPRESS-ERR-HANDLER-MSG*)) @@ -11642,8 +11677,8 @@ ; processing (DEFMACRO IGNORING-CHAOS-ERROR ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/comlib/error-tmp5G8XXQL5.fasl -; compilation finished in 0:00:00.252 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/comlib/misc.lisp" (written 14 NOV 2018 12:48:56 PM): +; compilation finished in 0:00:00.088 +; 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 # ...)) ; processing (DEFVAR *KEYWORD-PACKAGE* ...) @@ -11946,8 +11981,8 @@ ; processing (DEFMACRO EXPT2 ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/comlib/misc-tmp70X8ZE5V.fasl -; compilation finished in 0:00:00.868 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/comlib/string.lisp" (written 14 NOV 2018 12:48:56 PM): +; compilation finished in 0:00:00.812 +; 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 # ...)) ; processing (DEFUN PARSE-WITH-DELIMITER ...) @@ -11955,8 +11990,8 @@ ; processing (DEFMACRO NUMERIC-CHAR-P ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/comlib/string-tmpRJ7B84T0.fasl -; compilation finished in 0:00:00.076 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/comlib/list.lisp" (written 14 NOV 2018 12:48:56 PM): +; compilation finished in 0:00:00.092 +; 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 # ...)) ; processing (DEFUN FLATTEN-LIST ...) @@ -11967,8 +12002,8 @@ ; processing (DEFUN DELETE-NTH ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/comlib/list-tmpOMGCSPAB.fasl -; compilation finished in 0:00:00.340 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/comlib/dag.lisp" (written 14 NOV 2018 12:48:56 PM): +; compilation finished in 0:00:00.048 +; 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 # ...)) ; processing (DEFSTRUCT DAG-NODE ...) @@ -11988,8 +12023,8 @@ ; processing (DEFUN GET-BDAG-PARENTS ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/comlib/dag-tmpLEWWGRGS.fasl -; compilation finished in 0:00:00.400 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/comlib/fsys.lisp" (written 14 NOV 2018 12:48:56 PM): +; compilation finished in 0:00:00.336 +; 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 # ...)) ; processing (REQUIRE (QUOTE SB-POSIX)) @@ -12126,8 +12161,8 @@ ; processing (DEFUN CHAOS-INITIALIZE-FSYS ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/comlib/fsys-tmp2VH9CUXA.fasl -; compilation finished in 0:00:00.620 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/comlib/tree-display.lisp" (written 14 NOV 2018 12:48:56 PM): +; compilation finished in 0:00:01.072 +; 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 # ...)) ; processing (DEFPARAMETER TREE-SPACING ...) @@ -12906,8 +12941,8 @@ ; processing (DEFUN PRINT-TREES ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/comlib/tree-display-tmp21MKT5OO.fasl -; compilation finished in 0:00:00.308 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/comlib/lex.lisp" (written 14 NOV 2018 12:48:56 PM): +; compilation finished in 0:00:00.444 +; 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 # ...)) ; processing (DEFVAR *BUILTIN-CATS* ...) @@ -13196,8 +13231,8 @@ ; processing (DEFUN !LEX-READ-INIT ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/comlib/lex-tmpMXTBQGWB.fasl -; compilation finished in 0:00:00.580 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/comlib/reader.lisp" (written 14 NOV 2018 12:48:56 PM): +; compilation finished in 0:00:00.912 +; 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 # ...)) ; processing (DEFVAR *READER-SPECIAL-SCHEMA-PATTERNS* ...) @@ -13322,8 +13357,8 @@ ; processing (DEFUN WAIT-UNTIL-NON-WHITE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/comlib/reader-tmpPPC4Z10Q.fasl -; compilation finished in 0:00:00.484 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/comlib/let-over-lambda.lisp" (written 14 NOV 2018 12:48:56 PM): +; compilation finished in 0:00:00.628 +; 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 # ...) ...) ; processing (DEFUN GROUP ...) @@ -13389,8 +13424,8 @@ ; processing (DEFMACRO WHEN-MATCH ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/comlib/let-over-lambda-tmpRD3N4073.fasl -; compilation finished in 0:00:00.540 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bterm.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.888 +; 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 # ...)) ; processing (DEFSTRUCT (BASE-TERM # ...) ...) @@ -13553,8 +13588,8 @@ ; processing (DEFUN SIMPLE-COPY-TERM ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bterm-tmpFHOV2EXD.fasl -; compilation finished in 0:00:01.500 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/defterm.lisp" (written 16 JAN 2019 06:56:23 PM): +; compilation finished in 0:00:01.935 +; 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 # ...)) ; processing (DEFSTRUCT (%CHAOS-OBJECT #) ...) @@ -13731,8 +13766,8 @@ ; processing (DEFUN IS-AST ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/defterm-tmp5P00NUE.fasl -; compilation finished in 0:00:01.320 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bobject.lisp" (written 03 MAR 2019 06:26:47 PM): +; compilation finished in 0:00:02.048 +; 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 # ...)) ; processing (DEFSTRUCT (OBJECT # ...) ...) @@ -13809,8 +13844,8 @@ ; processing (DEFSTRUCT (STABLE) ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bobject-tmp94JO3ZTC.fasl -; compilation finished in 0:00:01.048 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/absntax.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:01.500 +; 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 # ...)) ; processing (DEFTERM SEQ ...) @@ -13850,8 +13885,8 @@ ; processing (DEFTERM VIEW-DECL ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/absntax-tmp6OFDFVAR.fasl -; compilation finished in 0:00:02.564 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/script.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:03.748 +; 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 # ...)) ; processing (DEFTERM EVAL ...) @@ -13907,8 +13942,8 @@ ; processing (DEFTERM GENDOC ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/script-tmpRYWTYMDY.fasl -; compilation finished in 0:00:03.336 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/op-theory.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:04.851 +; 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 # ...)) ; processing (DEFTYPE OP-THEORY ...) @@ -14026,8 +14061,8 @@ ; processing (DEFUN THEORY-CONTAINS-AZ-DIRECT ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/op-theory-tmpW78F18LW.fasl -; compilation finished in 0:00:00.428 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bmodexp.lisp" (written 03 MAR 2019 06:39:10 PM): +; compilation finished in 0:00:00.652 +; 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 # ...)) ; processing (DEFTYPE MODEXP ...) @@ -14062,8 +14097,8 @@ ; processing (DEFMACRO MODMORPH-ASSOC-IMAGES ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bmodexp-tmpWUHTUDVN.fasl -; compilation finished in 0:00:00.808 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bmodule2.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:01.024 +; 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 # ...)) ; processing (DEFUN MODULE-IS-PARAMETER-THEORY ...) @@ -14287,8 +14322,8 @@ ; processing (DEFUN CLEAN-UP-MODULE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bmodule2-tmpCK73UFEK.fasl -; compilation finished in 0:00:00.968 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bview2.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:01.572 +; 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 # ...)) ; processing (DEFMACRO VIEW-NAME ...) @@ -14342,8 +14377,8 @@ ; processing (DEFUN IS-DUMMY-MODULE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bview2-tmpEBEIAP0J.fasl -; compilation finished in 0:00:00.140 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/parse-modexp.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.260 +; 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 # ...)) ; processing (DEFUN PARSE-MODEXP ...) @@ -14405,8 +14440,8 @@ ; processing (DEFUN PARSE-BALANCED-CONTEXT-ONE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/parse-modexp-tmpSE943D3D.fasl -; compilation finished in 0:00:00.380 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/normodexp.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.616 +; 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 # ...)) ; processing (DECLAIM (TYPE LIST ...)) @@ -14425,8 +14460,8 @@ ; processing (DEFUN NORMALIZE-VIEW ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/normodexp-tmpN5RKE5P2.fasl -; compilation finished in 0:00:00.080 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bsort.lisp" (written 16 JAN 2019 06:56:23 PM): +; compilation finished in 0:00:00.128 +; 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 # ...)) ; processing (DEFSTRUCT (SORT-STRUCT # ...) ...) @@ -14578,8 +14613,8 @@ ; processing (DEFUN GET-FAMILY ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bsort-tmpNQZ6T1LT.fasl -; compilation finished in 0:00:01.316 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/boperator.lisp" (written 09 DEC 2019 02:26:49 PM): +; compilation finished in 0:00:01.892 +; 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 # ...)) ; processing (DEFSTRUCT OPSYNTAX ...) @@ -14863,8 +14898,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/boperator-tmpWLS9DP2S.fasl -; compilation finished in 0:00:01.632 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/baxioms.lisp" (written 16 JAN 2019 06:56:23 PM): +; compilation finished in 0:00:02.539 +; 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 # ...)) ; processing (DEFSTRUCT (REWRITE-RULE # ...) ...) @@ -14918,8 +14953,8 @@ ; processing (DEFUN AXIOM-CONTAINS-ERROR-METHOD? ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/baxioms-tmp8VCF5G6M.fasl -; compilation finished in 0:00:00.476 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bmacro.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.772 +; 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 # ...)) ; processing (DEFSTRUCT (MACRO #) ...) @@ -14932,8 +14967,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/bmacro-tmp8DMZV8XU.fasl -; compilation finished in 0:00:00.048 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/gen-eval.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.076 +; 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 # ...)) ; processing (DECLAIM (SPECIAL *DRIBBLE-AST* ...)) @@ -14982,8 +15017,8 @@ ; processing (DEFUN EVAL-AST2 ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/gen-eval-tmpEGA125WT.fasl -; compilation finished in 0:00:00.044 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/meta.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.080 +; 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 ...) ; processing (DEFUN REGISTER-METALEVEL-SORT ...) @@ -15030,8 +15065,8 @@ ; processing (DEFUN CHECK-RWL-COHERENCY ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/meta-tmpE9RDNCMC.fasl -; compilation finished in 0:00:00.416 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/gen-print.lisp" (written 29 SEP 2019 05:33:23 PM): +; compilation finished in 0:00:00.684 +; 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 # ...)) ; processing (DECLAIM (SPECIAL *CURRENT-TERM-DEPTH*) ...) @@ -15281,8 +15316,8 @@ ; processing (DEFUN DUMP-MODEXP-VIEW ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/gen-print-tmpGTSGBQIR.fasl -; compilation finished in 0:00:00.648 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/context.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.904 +; 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 # ...)) ; processing (DEFUN GET-CONTEXT ...) @@ -15300,8 +15335,8 @@ ; processing (DEFUN CONTEXT-POP-AND-RECOVER ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/context-tmpRCRZ6VP.fasl -; compilation finished in 0:00:00.104 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/term-utils.lisp" (written 16 JAN 2019 06:56:23 PM): +; compilation finished in 0:00:00.140 +; 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 # ...)) ; processing (DEFVAR **SA-DEBUG** ...) @@ -15585,8 +15620,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/term-utils-tmpC6WXNUWP.fasl -; compilation finished in 0:00:01.884 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/find.lisp" (written 16 JAN 2019 06:56:23 PM): +; compilation finished in 0:00:02.516 +; 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 # ...)) ; processing (DEFUN FIND-MODULE-OR-ERROR ...) @@ -15737,8 +15772,8 @@ ; processing (DEFUN SYMBOL-TABLE-GET ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/find-tmpB17HDEGA.fasl -; compilation finished in 0:00:00.592 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/print-object.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.832 +; 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 # ...)) ; processing (DEFUN PRINT-SORT-AST ...) @@ -15913,8 +15948,8 @@ ; processing (DEFUN PRINT-INSTANCE-DB ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/primitives/print-object-tmpE3AQVWGT.fasl -; compilation finished in 0:00:01.092 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/term-parser/parse-macro.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:01.680 +; 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 # ...)) ; processing (DEFVAR *DEBUG-MACRO* ...) @@ -15976,8 +16011,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/term-parser/parse-macro-tmpYKOEPICF.fasl -; compilation finished in 0:00:00.096 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/term-parser/parse-engine.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.136 +; 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 # ...)) ; processing (DEFUN DICTIONARY-ADD-INFO-ON-TOKEN ...) @@ -16162,8 +16197,8 @@ ; processing (DEFUN ARE-WELL-DEFINED-TERMS ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/term-parser/parse-engine-tmpQK8YY837.fasl -; compilation finished in 0:00:00.740 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/term-parser/parse-top.lisp" (written 09 DEC 2019 02:30:56 PM): +; compilation finished in 0:00:01.012 +; 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 # ...)) ; processing (DEFUN SIMPLE-PARSE-FROM-STRING ...) @@ -16259,8 +16294,8 @@ ; processing (DEFUN METHOD-COMPRESS-OVERLOADED-SET ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/term-parser/parse-top-tmpJQI6KMRZ.fasl -; compilation finished in 0:00:00.432 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-utils.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.624 +; 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 # ...)) ; processing (DEFMACRO WITH-MATCH-DEBUG ...) @@ -16269,8 +16304,8 @@ ; processing (DEFUN POSSIBLY-MATCHES ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-utils-tmpWUHK9UI0.fasl -; compilation finished in 0:00:00.044 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-system.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.088 +; 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 # ...)) ; processing (DEFMACRO MAKE-EQUATION ...) @@ -16335,8 +16370,8 @@ ; processing (DEFUN MATCH-SYSTEM-MODIF-M-SYS ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-system-tmpUUOI3UDB.fasl -; compilation finished in 0:00:00.632 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-state.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:01.015 +; 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 # ...)) ; processing (DEFTYPE GLOBAL-STATE ...) @@ -16386,8 +16421,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-state-tmpG1IOPEUW.fasl -; compilation finished in 0:00:00.160 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-e.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.232 +; 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 # ...)) ; processing (DEFUN MATCH-EMPTY-STATE-INITIALIZE ...) @@ -16395,16 +16430,16 @@ ; processing (DEFUN MATCH-EMPTY-EQUAL ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-e-tmpM0NOM18K.fasl -; compilation finished in 0:00:00.064 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-idem.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.096 +; 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 # ...)) ; processing (DEFUN IDEM-MATCH ...) ; processing (DEFUN IDEM-EXT-MATCH ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-idem-tmpVIL8T0YR.fasl -; compilation finished in 0:00:00.048 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-z.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.068 +; 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 # ...)) ; processing (DEFSTRUCT (MATCH-Z-STATE #) ...) @@ -16422,8 +16457,8 @@ ; processing (DEFUN MATCH-Z-EQUAL ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-z-tmpBODYQO2B.fasl -; compilation finished in 0:00:00.108 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-a.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.156 +; 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 # ...)) ; processing (DEFTYPE MATCH-A-STATE ...) @@ -16460,8 +16495,8 @@ ; processing (DEFUN MATCH-A-EQUAL ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-a-tmpTLIPDLNH.fasl -; compilation finished in 0:00:00.360 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-c.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.524 +; 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 # ...)) ; processing (DEFSTRUCT (MATCH-C-STATE #) ...) @@ -16470,8 +16505,8 @@ ; processing (DEFUN MATCH-C-EQUAL ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-c-tmpMOOD9PZK.fasl -; compilation finished in 0:00:00.052 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-az.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.088 +; 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 # ...)) ; processing (DEFSTRUCT (MATCH-AZ-STATE #) ...) @@ -16497,8 +16532,8 @@ ; processing (DEFUN MATCH-EQUATION-COMP-UNPARSE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-az-tmpJSQEHKQD.fasl -; compilation finished in 0:00:00.264 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-cz.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.424 +; 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 # ...)) ; processing (DEFSTRUCT (MATCH-CZ-STATE #) ...) @@ -16516,8 +16551,8 @@ ; processing (DEFUN MATCH-CZ-EQUAL ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-cz-tmpX9RFG54G.fasl -; compilation finished in 0:00:00.080 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-ac.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.132 +; 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 # ...)) ; processing (DEFMACRO MAKE-AC-STATE ...) @@ -16923,8 +16958,8 @@ ; processing (SETF (GET # ...) ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-ac-tmpJZYZV5YE.fasl -; compilation finished in 0:00:01.148 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-acz.lisp" (written 16 JAN 2019 06:56:23 PM): +; compilation finished in 0:00:02.004 +; 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 # ...)) ; processing (DEFVAR *USE-ONE-VAR-OPT* ...) @@ -17249,8 +17284,8 @@ ; processing (SETF (GET # ...) ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-acz-tmp7AGT8VJK.fasl -; compilation finished in 0:00:01.436 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:02.304 +; 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 # ...)) ; processing (DEFUN FIRST-MATCH ...) @@ -17286,8 +17321,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match-tmpVX9R9U8P.fasl -; compilation finished in 0:00:00.080 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match2.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.136 +; 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 # ...)) ; processing (DEFUN SIMPLE-MATCH-E-OK? ...) @@ -17324,8 +17359,8 @@ ; processing (DEFUN MATCH-IS-IDEM-EXT-OK? ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/e-match/match2-tmpQCDFKETQ.fasl -; compilation finished in 0:00:00.400 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/construct/sort.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.600 +; 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 # ...)) ; processing (DEFMACRO MAKE-SORT-ID ...) @@ -17550,8 +17585,8 @@ ; processing (DEFUN SORT-IS-PARAMETERIZED ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/construct/sort-tmpO1PDDUR.fasl -; compilation finished in 0:00:00.520 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/construct/operator.lisp" (written 03 MAR 2019 07:13:56 PM): +; compilation finished in 0:00:00.768 +; 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 # ...)) ; processing (DEFUN ON-DEBUG-OPERATOR ...) @@ -17713,8 +17748,8 @@ ; processing (DEFUN PROPAGATE-ATTRIBUTES ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/construct/operator-tmpIX4U16ZB.fasl -; compilation finished in 0:00:01.496 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/construct/variable.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:02.248 +; 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 # ...)) ; processing (DEFUN CHECK-VAR-NAME-OVERLOADING-WITH-BUILTIN ...) @@ -17790,8 +17825,8 @@ ; processing (DEFUN DECLARE-ERROR-VARIABLES-IN ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/construct/variable-tmp93OFNPHA.fasl -; compilation finished in 0:00:00.120 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/construct/match-method.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.183 +; 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 # ...)) ; processing (DEFUN MATCH-NEXT-FAIL ...) @@ -17813,8 +17848,8 @@ ; processing (DEFUN ID-GEN-MATCH ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/construct/match-method-tmpOH5AKS8D.fasl -; compilation finished in 0:00:00.048 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/construct/axiom.lisp" (written 16 JAN 2019 06:56:23 PM): +; compilation finished in 0:00:00.080 +; 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 # ...)) ; processing (DEFUN MAKE-RULE ...) @@ -17923,8 +17958,8 @@ ; processing (DEFUN RECREATE-ERROR-AXIOM ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/construct/axiom-tmpTNV77KDS.fasl -; compilation finished in 0:00:00.644 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/construct/gen-rule.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.976 +; 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 # ...)) ; processing (DEFUN GENERATE-REWRITE-RULES ...) @@ -18058,8 +18093,8 @@ ; processing (DEFUN NORMALIZE-FOR-IDENTITY ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/construct/gen-rule-tmp9AOKGDLT.fasl -; compilation finished in 0:00:00.708 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/construct/rwl.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:01.056 +; 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 # ...)) ; processing (DEFUN MAKE-CONGRUENCE-AXIOM ...) @@ -18067,8 +18102,8 @@ ; processing (DEFUN ADD-RWL-AXIOMS ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/construct/rwl-tmpXS9JOGMS.fasl -; compilation finished in 0:00:00.168 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/construct/beh.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.260 +; 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 # ...)) ; processing (DEFSTRUCT (BEH-STUFF #) ...) @@ -18151,8 +18186,8 @@ ; processing (DEFUN BEH-REWRITE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/construct/beh-tmpERBDX74X.fasl -; compilation finished in 0:00:00.568 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/construct/module.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.788 +; 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 # ...)) ; processing (DEFUN CREATE-MODULE ...) @@ -18261,8 +18296,8 @@ ; processing (DEFUN DELETE-VIEW ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/construct/module-tmpTQIEF2IQ.fasl -; compilation finished in 0:00:00.224 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/construct/trs.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.340 +; 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 # ...)) ; processing (DEFUN TRS-GET-MOD-OR-ERROR ...) @@ -18558,8 +18593,8 @@ ; processing (DEFUN TRS-AXIOM-IS-BUILT-IN ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/construct/trs-tmpPAAFO6LP.fasl -; compilation finished in 0:00:00.856 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/decafe/mutils.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:01.256 +; 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 # ...)) ; processing (DEFUN MAKE-PSUEDO-VARS ...) @@ -18569,8 +18604,8 @@ ; processing (DEFUN MODMORPH-CHECK-RANK ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/decafe/mutils-tmp4PCSVQUR.fasl -; compilation finished in 0:00:00.036 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/decafe/modmorph.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.056 +; 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 # ...)) ; processing (DEFUN APPLY-MODMORPH ...) @@ -18780,8 +18815,8 @@ ; processing (DEFUN MODMORPH-GET-IMAGE-OF-AXIOMS ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/decafe/modmorph-tmpCUMSDKM4.fasl -; compilation finished in 0:00:00.848 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/decafe/mrmap.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:01.260 +; 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 # ...)) ; processing (DEFUN COMPOSE-RENAMES ...) @@ -18891,8 +18926,8 @@ ; processing (DEFUN RECREATE-RENAMED-SORT ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/decafe/mrmap-tmpVBY1FQ3S.fasl -; compilation finished in 0:00:00.372 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/decafe/meval.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.568 +; 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 # ...)) ; processing (DEFUN EVAL-MODEXP-TOP ...) @@ -18912,8 +18947,8 @@ ; processing (DEFUN CREATE-RENAME ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/decafe/meval-tmpS8NUOPMQ.fasl -; compilation finished in 0:00:00.220 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/decafe/view.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.332 +; 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 # ...)) ; processing (DECLAIM (SPECIAL *MODEXP-ABSTRACT-MODULE*)) @@ -19033,8 +19068,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/decafe/view-tmpPYED056U.fasl -; compilation finished in 0:00:00.788 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/decafe/mimport.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:01.132 +; 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 # ...)) ; processing (DEFVAR *IMPORT-SORT-MAP* ...) @@ -19121,8 +19156,8 @@ ; processing (DEFUN IMPORT-VARIABLES ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/decafe/mimport-tmpUOCPY155.fasl -; compilation finished in 0:00:00.608 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/cafein/rengine.lisp" (written 16 JAN 2019 06:56:23 PM): +; compilation finished in 0:00:00.936 +; 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 # ...)) ; processing (DECLAIM (SPECIAL .TRACE-OR-STEP.) ...) @@ -19474,8 +19509,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/cafein/rengine-tmpP4BCARWB.fasl -; compilation finished in 0:00:01.172 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/cafein/cbred.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:01.567 +; 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 # ...)) ; processing (DECLAIM (SPECIAL *CBRED-TRACE-FLAG*)) @@ -19712,8 +19747,8 @@ ; processing (DEFUN DO-CBRED ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/cafein/cbred-tmpOUEHOD9C.fasl -; compilation finished in 0:00:00.376 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/cafein/reducer.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.476 +; 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 # ...)) ; processing (LET (# # ...) ...) @@ -19772,8 +19807,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/cafein/reducer-tmp5ZHGID8G.fasl -; compilation finished in 0:00:00.360 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/tools/regcheck.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.428 +; 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 # ...)) ; processing (DEFSTRUCT (SOP # ...) ...) @@ -19819,8 +19854,8 @@ ; processing (DEFUN CHECK-REGULARITY ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/tools/regcheck-tmp9D2N5DM.fasl -; compilation finished in 0:00:00.432 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/tools/regularize.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.540 +; 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 # ...)) ; processing (DEFUN REGULARIZE-SIGNATURE-INTERNAL ...) @@ -19873,8 +19908,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/tools/regularize-tmpKDSLP2NX.fasl -; compilation finished in 0:00:00.052 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/tools/describe.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.080 +; 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 # ...)) ; processing (DEFUN FILTER-HARD-SORTS ...) @@ -20127,8 +20162,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/tools/describe-tmp4QLHV6NG.fasl -; compilation finished in 0:00:00.556 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/tools/sort-tree.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.756 +; 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 # ...)) ; processing (DEFUN MAKE-MODULE-SORT-TREE ...) @@ -20159,8 +20194,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/tools/sort-tree-tmpMFQG7214.fasl -; compilation finished in 0:00:00.064 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/tools/module-tree.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.100 +; 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 # ...)) ; processing (DEFUN MAKE-SUBMODULE-TREE ...) @@ -20237,8 +20272,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/tools/module-tree-tmpEL1UBVEC.fasl -; compilation finished in 0:00:00.140 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/tools/show.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.200 +; 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 # ...)) ; processing (DEFUN SHOW-CONTEXT ...) @@ -20483,8 +20518,8 @@ ; processing (DEFUN PRINT-TERM-HORIZONTAL ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/tools/show-tmpO7N5WXBL.fasl -; compilation finished in 0:00:00.280 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/tools/set.lisp" (written 17 OCT 2019 12:45:43 PM): +; compilation finished in 0:00:00.424 +; 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 # ...)) ; processing (DEFMACRO CHAOS-SWITCH-KEY ...) @@ -20580,8 +20615,8 @@ ; processing (DEFUN CHAOS-SET-BOOL-PATH ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/tools/set-tmp7GPJW3WR.fasl -; compilation finished in 0:00:00.324 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/tools/op-check.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.488 +; 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 # ...)) ; processing (DEFUN CHECK-METHOD-STRICTNESS ...) @@ -20824,8 +20859,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/tools/op-check-tmpESZVJLGB.fasl -; compilation finished in 0:00:00.660 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/tools/compat.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.924 +; 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 # ...)) ; processing (DEFUN CHECK-COMPATIBILITY ...) @@ -20846,8 +20881,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/tools/compat-tmp861VENRV.fasl -; compilation finished in 0:00:00.088 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/tools/help.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.112 +; 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 # ...)) ; processing (DEFVAR *HELP-DB* ...) @@ -20855,8 +20890,8 @@ ; processing (DEFUN READ-HELP-DB ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/tools/help-tmp7MX18LSW.fasl -; compilation finished in 0:00:00.136 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/tools/inspect.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.180 +; 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 # ...)) ; processing (DEFUN SHOW-MODULE-SYMBOL-TABLE ...) @@ -21415,8 +21450,8 @@ ; processing (DEFUN !LOOK-UP ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/tools/inspect-tmp4CP5SEFX.fasl -; compilation finished in 0:00:00.148 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/tools/sensible.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.232 +; 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 # ...)) ; processing (DEFUN CHECK-SENSIBLE ...) @@ -21446,8 +21481,8 @@ ; processing (DEFUN IS-SENSIBLE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/tools/sensible-tmpZ7L7FP0S.fasl -; compilation finished in 0:00:00.048 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/eval/eval-mod.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.064 +; 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 # ...)) ; processing (DEFUN MODEXP-TOP-LEVEL-EVAL ...) @@ -21565,8 +21600,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/eval/eval-mod-tmpGCPRU2E.fasl -; compilation finished in 0:00:00.052 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/eval/eval-ast.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.076 +; 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 # ...)) ; processing (DEFUN RESOLVE-SORT-REF ...) @@ -22020,8 +22055,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/eval/eval-ast-tmpTYRYY2X9.fasl -; compilation finished in 0:00:00.580 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/eval/eval-ast2.lisp" (written 23 OCT 2019 08:53:43 PM): +; compilation finished in 0:00:00.772 +; 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 # ...)) ; processing (DEFPARAMETER *CHAOS-VERSION* ...) @@ -22767,8 +22802,8 @@ ; processing (DEFUN EVAL-GENDOC ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/eval/eval-ast2-tmpOMAPSGL7.fasl -; compilation finished in 0:00:01.080 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/eval/chaos-top.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:01.500 +; 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 ...) ; processing (DEFUN CLEAR-GLOBAL-DB ...) @@ -22783,8 +22818,8 @@ ; processing (DEFUN CHAOS-TOP ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/eval/chaos-top-tmpB76HJA0J.fasl -; compilation finished in 0:00:00.068 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/boot/preproc.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.096 +; 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 ...) ; processing (DEFUN CREATE-SORT-ID ...) @@ -22861,8 +22896,8 @@ ; processing (DEFUN S-RFIND ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/boot/preproc-tmp7QTM681J.fasl -; compilation finished in 0:00:00.340 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/boot/prelude.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.508 +; 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* ...) ; processing (DEFVAR *LAST-TERM-EQN-RHS* ...) @@ -22895,8 +22930,8 @@ ; processing (DEFUN INSTALL-PRELUDE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/boot/prelude-tmpLGH8FB0W.fasl -; compilation finished in 0:00:00.144 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/boot/builtins.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.216 +; 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) ; processing (CLEAR-TRS-DB) @@ -22938,7 +22973,7 @@ ; processing (CHAOS-MISC-INIT) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/boot/builtins-tmpDGQGGEC4.fasl -; compilation finished in 0:00:00.124 +; compilation finished in 0:00:00.184 -- defining module* TRIV done. -- defining module! TRUTH-VALUE done. @@ -22950,7 +22985,7 @@ -- defining module! ID done. -- defining module! CHAR-VALUE done. -- defining module! STRING-VALUE done. -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/tram/tram.lisp" (written 14 NOV 2018 12:48:56 PM): +; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/tram/tram.lisp" (written 15 NOV 2018 12:48:56 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) ; processing (DEFVAR *TRAM-LAST-MODULE* ...) @@ -23063,8 +23098,8 @@ ; processing (DEFUN TRAM-SEND-REDUCE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/tram/tram-tmp6X5OKNPG.fasl -; compilation finished in 0:00:00.876 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/chaos/psup/psup.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:01.372 +; 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 # ...)) ; processing (DEFMACRO WITH-LOGGING-ERROR ...) @@ -23404,8 +23439,8 @@ ; processing (DEFUN PSUP-IMAGE-OF-AXIOMS* ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/chaos/psup/psup-tmpABKNHGCI.fasl -; compilation finished in 0:00:00.356 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/thstuff/parse-apply.lisp" (written 14 NOV 2018 12:48:56 PM): +; compilation finished in 0:00:00.639 +; 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 # ...)) ; processing (DEFTERM START ...) @@ -23455,8 +23490,8 @@ ; processing (DEFUN PARSE-APPLY-COMMAND ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/thstuff/parse-apply-tmpDGT3OQUT.fasl -; compilation finished in 0:00:00.460 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/thstuff/basics.lisp" (written 14 NOV 2018 12:48:56 PM): +; compilation finished in 0:00:00.668 +; 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 # ...)) ; processing (DEFUN CHECK-APPLY-CONTEXT ...) @@ -24114,8 +24149,8 @@ ; processing (DEFUN COMPUTE-EXTRA-VARIABLES ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/thstuff/basics-tmpNF26V1SW.fasl -; compilation finished in 0:00:00.456 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/thstuff/eval-match.lisp" (written 16 JAN 2019 06:56:23 PM): +; compilation finished in 0:00:00.700 +; 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 # ...)) ; processing (DEFUN EVAL-MATCH-COMMAND ...) @@ -24206,8 +24241,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/thstuff/eval-match-tmp2SBNA8NV.fasl -; compilation finished in 0:00:00.172 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/thstuff/eval-apply.lisp" (written 14 NOV 2018 12:48:56 PM): +; compilation finished in 0:00:00.272 +; 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 # ...)) ; processing (DEFUN EVAL-START-COMMAND ...) @@ -24259,8 +24294,8 @@ ; processing (DEFUN APPLY-PRINT-RULE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/thstuff/eval-apply-tmpGXTLRZRR.fasl -; compilation finished in 0:00:00.204 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/thstuff/cexec.lisp" (written 09 DEC 2019 06:00:23 PM): +; compilation finished in 0:00:00.324 +; 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)) ; processing (DEFSTRUCT (RULE-PAT #) ...) @@ -24678,8 +24713,8 @@ ; processing (DEFUN TERM-PATTERN-INCLUDED-IN-CEXEC ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/thstuff/cexec-tmp2OV9B8J5.fasl -; compilation finished in 0:00:01.740 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/thstuff/case.lisp" (written 14 NOV 2018 12:48:56 PM): +; compilation finished in 0:00:02.548 +; 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. ...) ; processing (DEFPARAMETER .CASE-MODULE-FALSE. ...) @@ -24688,8 +24723,8 @@ ; processing (DEFUN PERFORM-CASE-REDUCTION ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/thstuff/case-tmpDWRCTFSG.fasl -; compilation finished in 0:00:00.072 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/thstuff/proof-struct.lisp" (written 15 DEC 2019 07:35:07 PM): +; compilation finished in 0:00:00.108 +; 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 # ...)) ; processing (DEFSTRUCT (TACTIC #) ...) @@ -25610,8 +25645,8 @@ ; processing (DEFMACRO WITH-IN-CONTEXT ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/thstuff/proof-struct-tmpUJ89U641.fasl -; compilation finished in 0:00:01.736 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/thstuff/apply-tactic.lisp" (written 19 JAN 2020 01:13:27 PM): +; compilation finished in 0:00:02.412 +; 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 # ...)) ; processing (DEFUN DISTRIBUTE-SENTENCES ...) @@ -26424,8 +26459,8 @@ ; processing (DEFUN APPLY-TACTICS-TO-GOAL ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/thstuff/apply-tactic-tmpJAPE3FUS.fasl -; compilation finished in 0:00:01.952 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/thstuff/citp.lisp" (written 15 DEC 2019 07:35:07 PM): +; compilation finished in 0:00:03.044 +; 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 # ...)) ; processing (DEFUN CHECK-CONTEXT-MODULE ...) @@ -26740,8 +26775,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/thstuff/citp-tmp1V7T6W0W.fasl -; compilation finished in 0:00:00.400 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/thstuff/bterm-inspector.lisp" (written 14 NOV 2018 12:48:56 PM): +; compilation finished in 0:00:00.611 +; 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 # ...)) ; processing (DEFVAR .BTERM-ASSOC-TABLE. ...) @@ -27351,8 +27386,8 @@ ; processing (DEFUN BGRIND-BOOL-TERM ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/thstuff/bterm-inspector-tmp952LXWTD.fasl -; compilation finished in 0:00:00.615 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/types.lisp" (written 16 JAN 2019 06:56:23 PM): +; compilation finished in 0:00:00.960 +; 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 # ...)) ; processing (DEFUN LIST->QUEUE ...) @@ -27452,8 +27487,8 @@ ; processing (DEFSTRUCT (OPTION-SET) ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/types-tmpLVFWNUU9.fasl -; compilation finished in 0:00:00.688 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/glob.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:01.012 +; 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 # ...)) ; processing (DEFVAR $$RAW-CLAUSE ...) @@ -27911,8 +27946,8 @@ ; processing (DEFUN SETUP-PIGNOSE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/glob-tmpDKBKLORG.fasl -; compilation finished in 0:00:00.260 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/proof-sys.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.448 +; 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 # ...)) ; processing (DEFMACRO MODULE-PROOF-SYSTEM ...) @@ -27975,11 +28010,11 @@ ; processing (DEFMACRO WITH-PROOF-CONTEXT ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/proof-sys-tmpMO2T7PGC.fasl -; compilation finished in 0:00:00.060 +; compilation finished in 0:00:00.088 WARNING: Lisp compilation had style-warnings while compiling # -; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/syntax.lisp" (written 14 NOV 2018 12:48:55 PM): +; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/syntax.lisp" (written 15 NOV 2018 12:48:55 AM): ; processing (IN-PACKAGE :CHAOS) ; processing (DECLAIM (OPTIMIZE # ...)) ; processing (DEFUN INSTALL-FOPL-SENTENCE ...) @@ -28017,8 +28052,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/syntax-tmp5EVOKXWI.fasl -; compilation finished in 0:00:00.136 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/index.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.204 +; 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 # ...)) ; processing (DEFMACRO MAKE-INDEX-TABLE ...) @@ -28872,8 +28907,8 @@ ; processing (DEFUN GET-CLASHABLE-CLAUSES-FROM-ATOM ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/index-tmp7EN5VFOC.fasl -; compilation finished in 0:00:00.744 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/butils.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:01.052 +; 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 # ...)) ; processing (DEFUN TERM-IS-IDENTICAL ...) @@ -31317,8 +31352,8 @@ ; processing (DEFUN INCLUDE-FOPL ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/butils-tmpWA664A3J.fasl -; compilation finished in 0:00:01.156 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/unify.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:01.616 +; 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 # ...)) ; processing (DEFUN COMPOSE-SUBST ...) @@ -31368,8 +31403,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/unify-tmp3CS3QORN.fasl -; compilation finished in 0:00:00.120 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/clause.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.168 +; 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 # ...)) ; processing (DEFUN IS-EQUALITY ...) @@ -31804,8 +31839,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/clause-tmpD6CVA6PG.fasl -; compilation finished in 0:00:00.524 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/formula.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.780 +; 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 # ...)) ; processing (DEFVAR *DEBUG-FORMULA* ...) @@ -31985,8 +32020,8 @@ ; processing (DEFUN CNF-TO-LIST ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/formula-tmpJTJ7UKVB.fasl -; compilation finished in 0:00:01.184 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/modconv.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:01.892 +; 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 # ...)) ; processing (DEFUN MAKE-PIGNOSE-AXIOM ...) @@ -32056,8 +32091,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/modconv-tmpI3M10D0B.fasl -; compilation finished in 0:00:00.392 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/weight.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.728 +; 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 # ...)) ; processing (DEFMACRO MODULE-OP-LEX ...) @@ -32207,8 +32242,8 @@ ; processing (DEFUN TERM-IDENT-X-VARS ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/weight-tmpMQ8L07M8.fasl -; compilation finished in 0:00:00.604 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/lrpo.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:01.043 +; 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 # ...)) ; processing (DEFUN LRPO-LEX ...) @@ -32240,8 +32275,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/lrpo-tmp9HFLKKLP.fasl -; compilation finished in 0:00:00.108 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/resolve.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.176 +; 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 # ...)) ; processing (DECLAIM (INLINE COMB-CLASH-SUBST)) @@ -32540,8 +32575,8 @@ ; processing (DEFUN FACTOR-SIMPLIFY ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/resolve-tmpEHVBI5QP.fasl -; compilation finished in 0:00:00.348 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/paramod.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.584 +; 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 # ...)) ; processing (DECLAIM (INLINE GET-TERM-AT)) @@ -32986,8 +33021,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/paramod-tmp7ACGYN6Z.fasl -; compilation finished in 0:00:00.216 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/demod.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.388 +; 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 # ...)) ; processing (DECLAIM (SPECIAL .DEMOD-TARGET-CLAUSE.) ...) @@ -33281,8 +33316,8 @@ ; processing (DEFUN SETUP-DEMODULATORS ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/demod-tmpROQG4ZG5.fasl -; compilation finished in 0:00:00.356 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/infer.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.520 +; 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 # ...)) ; processing (DEFUN INFER-MAIN ...) @@ -35152,8 +35187,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/infer-tmpL8QH2EDP.fasl -; compilation finished in 0:00:00.472 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/sigmatch.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.804 +; 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 # ...)) ; processing (DECLAIM (TYPE FIXNUM ...)) @@ -35201,8 +35236,8 @@ ; processing (DEFUN GENERATE-SIGMATCH-VIEW ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/sigmatch-tmpGMP33JVN.fasl -; compilation finished in 0:00:00.140 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/refine.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.204 +; 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 # ...)) ; processing (DEFUN PN-GET-IMAGE-OF-AXIOMS ...) @@ -35288,8 +35323,8 @@ ; processing (DEFUN PN-CHECK-REFINEMENT ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/refine-tmpYZLZO5XO.fasl -; compilation finished in 0:00:00.056 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/commands.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.088 +; 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 # ...)) ; processing (DEFTERM FAX ...) @@ -35656,8 +35691,8 @@ ; processing (DEFUN EVAL-PN-LEX ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/commands-tmpHJEGXRNO.fasl -; compilation finished in 0:00:01.320 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/inv.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:02.192 +; 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 # ...)) ; processing (DECLAIM (SPECIAL .PN-CHECK-SAFETY.)) @@ -36076,8 +36111,8 @@ ; processing (DEFUN PN-CHECK-SAFETY ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/BigPink/codes/inv-tmpLNAWKPET.fasl -; compilation finished in 0:00:00.496 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/cafeobj/cafeobjvar.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.820 +; 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* ...) ; processing (DEFVAR *CAFEOBJ-VERBOSE* ...) @@ -36093,8 +36128,8 @@ ; processing (DEFPARAMETER *CAFEOBJ-MOD-ELTS* ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/cafeobj/cafeobjvar-tmpJAVYBOA5.fasl -; compilation finished in 0:00:00.008 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/cafeobj/creader.lisp" (written 15 DEC 2019 07:35:07 PM): +; compilation finished in 0:00:00.012 +; 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 # ...)) ; processing (DEFUN CAFEOBJ-PARSE ...) @@ -36139,8 +36174,8 @@ ; processing (SETQ *CAFEOBJ-SCHEMAS* ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/cafeobj/creader-tmp4JWQGV5Z.fasl -; compilation finished in 0:00:00.032 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/cafeobj/oldoc.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.056 +; 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 # ...)) ; processing (DEFVAR *CAFEOBJ-DOC-DB* ...) @@ -36593,8 +36628,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/cafeobj/oldoc-tmpPQD2HT0O.fasl -; compilation finished in 0:00:00.888 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/cafeobj/define.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:01.544 +; 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 # ...)) ; processing (DEFVAR *CAFEOBJ-TOP-COMMANDS* ...) @@ -36749,8 +36784,8 @@ ; processing (DEFUN PRINT-COMDE-USAGE ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/cafeobj/define-tmpH1FK4I19.fasl -; compilation finished in 0:00:00.176 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/cafeobj/trans-com.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.304 +; 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 # ...)) ; processing (DEFUN PARSE-IN-CONTEXT-MODEXP-WITH-TERM ...) @@ -36865,8 +36900,8 @@ ; processing (DEFUN PARSE-GENDOC-COMMAND ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/cafeobj/trans-com-tmpOGMGFZE8.fasl -; compilation finished in 0:00:00.228 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/cafeobj/trans-decl.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.388 +; 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 # ...)) ; processing (DEFUN PARSE-INTERFACE-DECL ...) @@ -36946,8 +36981,8 @@ ; processing (DEFUN EVAL-DECL-DO-NOTHING ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/cafeobj/trans-decl-tmpP2P3SY1J.fasl -; compilation finished in 0:00:00.436 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/cafeobj/trans-form.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.592 +; 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 # ...)) ; processing (DEFUN CAFEOBJ-2-CHAOS-PROC ...) @@ -37026,8 +37061,8 @@ ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/cafeobj/trans-form-tmpH6YIZTI1.fasl -; compilation finished in 0:00:00.032 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/cafeobj/command-top.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.048 +; 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 # ...)) ; processing (DEFUN GET-ARG-STRING ...) @@ -37259,8 +37294,8 @@ ; processing (DEFUN HANDLE-CAFEOBJ-TOP-ERROR ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/cafeobj/command-top-tmpSJEPG7AU.fasl -; compilation finished in 0:00:00.444 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/cafeobj/commands.lisp" (written 19 JAN 2020 04:55:35 PM): +; compilation finished in 0:00:00.604 +; 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 # ...)) ; processing (CLRHASH *CAFEOBJ-TOP-COMMANDS*) @@ -37461,8 +37496,8 @@ ; processing (DEFINE ("?com" "?command") ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/cafeobj/commands-tmpSNZATJRM.fasl -; compilation finished in 0:00:00.680 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/cafeobj/declarations.lisp" (written 14 NOV 2018 12:48:55 PM): +; compilation finished in 0:00:00.892 +; 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 # ...)) ; processing (CLRHASH *CAFEOBJ-DECLARATIONS*) @@ -37499,8 +37534,8 @@ ; processing (DEFINE (".") ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/cafeobj/declarations-tmpK93FRK93.fasl -; compilation finished in 0:00:00.116 -; compiling file "/build/reproducible-path/cafeobj-1.6.0/cafeobj/cafeobj-top.lisp" (written 16 JAN 2019 06:56:23 PM): +; compilation finished in 0:00:00.144 +; 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 # ...)) ; processing (DEFVAR G_LINE_1 ...) @@ -37555,7 +37590,7 @@ ; processing (DEFUN CAFEOBJ-TOP-LEVEL ...) ; wrote /build/reproducible-path/cafeobj-1.6.0/tmpcache/common-lisp/sbcl-2.1.1.debian-linux-arm/build/reproducible-path/cafeobj-1.6.0/cafeobj/cafeobj-top-tmpUIQ1NDZ1.fasl -; compilation finished in 0:00:00.144 +; compilation finished in 0:00:00.216 ; file: /build/reproducible-path/cafeobj-1.6.0/thstuff/cexec.lisp ; in: DEFUN CHAOS::TERM-HASH-COMB @@ -37685,12 +37720,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/29888/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/29888/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/21036 and its subdirectories -I: Current time: Sat Jan 6 17:38:18 -12 2024 -I: pbuilder-time-stamp: 1704605898 +I: removing directory /srv/workspace/pbuilder/29888 and its subdirectories +I: Current time: Sun Jan 7 19:42:20 +14 2024 +I: pbuilder-time-stamp: 1704606140