setting SOURCE_DATE_EPOCH=1782345600
Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.XqJBuo
+ umask 022
+ cd /home/builder/rpmbuild/BUILD
+ cd /home/builder/rpmbuild/BUILD
+ rm -rf S41.2
+ /usr/bin/unzip -qq /home/builder/rpmbuild/SOURCES/S41.2.zip
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd S41.2
+ /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ echo 'Patch #0 (sbcl-version-2.6.5.patch):'
Patch #0 (sbcl-version-2.6.5.patch):
+ /usr/bin/patch --no-backup-if-mismatch -p1 --fuzz=0
patching file Primitives/big.lsp
patching file Primitives/globals.lsp
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.1ddvYh
+ umask 022
+ cd /home/builder/rpmbuild/BUILD
+ cd S41.2
+ sbcl --eval '(load "install.lsp")'
This is SBCL 2.6.5-85913ede1, an implementation of ANSI Common Lisp.
More information about SBCL is available at .
SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses. See the CREDITS and COPYING files in the
distribution for more information.
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/backend.lsp" (written 29 JUL 2022 04:47:01 AM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/backend.fasl
; compilation finished in 0:00:00.035
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/trap-error.lsp" (written 31 DEC 2025 11:51:10 AM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/trap-error.fasl
; compilation finished in 0:00:00.001
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/absvector.lsp" (written 26 MAR 2021 11:02:06 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/absvector.fasl
; compilation finished in 0:00:00.001
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/address-get.lsp" (written 26 MAR 2021 11:27:34 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/address-get.fasl
; compilation finished in 0:00:00.000
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/address-send.lsp" (written 26 MAR 2021 11:27:40 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/address-send.fasl
; compilation finished in 0:00:00.000
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/and.lsp" (written 26 MAR 2021 10:21:34 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/and.fasl
; compilation finished in 0:00:00.002
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/arith.lsp" (written 15 NOV 2021 05:39:06 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/arith.fasl
; compilation finished in 0:00:00.004
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/char-stoutput.lsp" (written 12 MAY 2021 10:14:40 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/char-stoutput.fasl
; compilation finished in 0:00:00.001
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/char-stinput.lsp" (written 12 MAY 2021 10:15:12 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/char-stinput.fasl
; compilation finished in 0:00:00.001
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/close.lsp" (written 26 MAR 2021 11:10:10 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/close.fasl
; compilation finished in 0:00:00.000
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/cn.lsp" (written 26 MAR 2021 11:13:02 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/cn.fasl
; compilation finished in 0:00:00.009
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/cons.lsp" (written 26 MAR 2021 10:21:42 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/cons.fasl
; compilation finished in 0:00:00.000
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/equal.lsp" (written 15 NOV 2021 06:39:30 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/equal.fasl
; compilation finished in 0:00:00.004
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/error-to-string.lsp" (written 26 MAR 2021 10:21:50 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/error-to-string.fasl
; compilation finished in 0:00:00.000
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/eval-kl.lsp" (written 15 NOV 2021 05:27:56 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/eval-kl.fasl
; compilation finished in 0:00:00.001
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/freeze.lsp" (written 26 MAR 2021 11:00:50 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/freeze.fasl
; compilation finished in 0:00:00.002
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/get-time.lsp" (written 26 MAR 2021 11:18:22 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/get-time.fasl
; compilation finished in 0:00:00.001
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/globals.lsp" (written 25 JUN 2026 09:35:46 AM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/globals.fasl
; compilation finished in 0:00:00.001
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/hd.lsp" (written 26 MAR 2021 10:22:04 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/hd.fasl
; compilation finished in 0:00:00.000
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/if.lsp" (written 26 MAR 2021 10:22:10 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/if.fasl
; compilation finished in 0:00:00.001
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/intern.lsp" (written 26 MAR 2021 10:22:16 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/intern.fasl
; compilation finished in 0:00:00.000
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/isabsvector.lsp" (written 26 MAR 2021 11:28:20 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/isabsvector.fasl
; compilation finished in 0:00:00.001
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/iscons.lsp" (written 26 MAR 2021 10:22:22 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/iscons.fasl
; compilation finished in 0:00:00.000
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/isstring.lsp" (written 26 MAR 2021 11:13:48 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/isstring.fasl
; compilation finished in 0:00:00.001
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/lambda.lsp" (written 26 MAR 2021 10:56:02 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/lambda.fasl
; compilation finished in 0:00:00.002
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/let.lsp" (written 26 MAR 2021 10:57:48 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/let.fasl
; compilation finished in 0:00:00.001
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/n-to-string.lsp" (written 26 MAR 2021 11:14:28 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/n-to-string.fasl
; compilation finished in 0:00:00.001
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/open.lsp" (written 28 DEC 2025 08:45:11 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/open.fasl
; compilation finished in 0:00:00.001
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/or.lsp" (written 27 MAR 2021 12:01:02 AM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/or.fasl
; compilation finished in 0:00:00.002
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/pos.lsp" (written 26 MAR 2021 11:11:12 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/pos.fasl
; compilation finished in 0:00:00.003
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/read-byte.lsp" (written 26 MAR 2021 11:28:50 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/read-byte.fasl
; compilation finished in 0:00:00.001
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/read-unit-string.lsp" (written 12 MAY 2021 10:13:40 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/read-unit-string.fasl
; compilation finished in 0:00:00.002
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/set.lsp" (written 26 MAR 2021 10:22:28 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/set.fasl
; compilation finished in 0:00:00.001
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/simple-error.lsp" (written 26 MAR 2021 10:22:36 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/simple-error.fasl
; compilation finished in 0:00:00.000
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/str.lsp" (written 15 NOV 2021 06:42:34 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/str.fasl
; compilation finished in 0:00:00.007
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/string-to-n.lsp" (written 26 MAR 2021 11:15:08 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/string-to-n.fasl
; compilation finished in 0:00:00.001
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/tl.lsp" (written 26 MAR 2021 10:22:40 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/tl.fasl
; compilation finished in 0:00:00.000
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/tlstr.lsp" (written 26 MAR 2021 11:11:58 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/tlstr.fasl
; compilation finished in 0:00:00.001
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/type.lsp" (written 26 MAR 2021 11:29:22 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/type.fasl
; compilation finished in 0:00:00.001
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/value.lsp" (written 26 MAR 2021 10:22:52 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/value.fasl
; compilation finished in 0:00:00.001
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/write-byte.lsp" (written 26 MAR 2021 10:58:22 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/write-byte.fasl
; compilation finished in 0:00:00.000
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/Primitives/write-string.lsp" (written 12 MAY 2021 10:13:54 PM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/Primitives/write-string.fasl
; compilation finished in 0:00:00.001
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/KLambda/sys.kl.lsp" (written 25 JUN 2026 09:35:46 AM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/KLambda/sys.kl.fasl
; compilation finished in 0:00:00.058
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/KLambda/writer.kl.lsp" (written 25 JUN 2026 09:35:46 AM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/KLambda/writer.kl.fasl
; compilation finished in 0:00:00.018
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/KLambda/core.kl.lsp" (written 25 JUN 2026 09:35:46 AM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/KLambda/core.kl.fasl
; compilation finished in 0:00:00.065
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/KLambda/reader.kl.lsp" (written 25 JUN 2026 09:35:46 AM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/KLambda/reader.kl.fasl
; compilation finished in 0:00:00.084
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/KLambda/declarations.kl.lsp" (written 25 JUN 2026 09:35:46 AM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/KLambda/declarations.kl.fasl
; compilation finished in 0:00:00.027
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/KLambda/toplevel.kl.lsp" (written 25 JUN 2026 09:35:46 AM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/KLambda/toplevel.kl.fasl
; compilation finished in 0:00:00.011
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/KLambda/macros.kl.lsp" (written 25 JUN 2026 09:35:46 AM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/KLambda/macros.kl.fasl
; compilation finished in 0:00:00.028
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/KLambda/load.kl.lsp" (written 25 JUN 2026 09:35:46 AM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/KLambda/load.kl.fasl
; compilation finished in 0:00:00.015
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/KLambda/prolog.kl.lsp" (written 25 JUN 2026 09:35:46 AM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/KLambda/prolog.kl.fasl
; compilation finished in 0:00:00.069
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/KLambda/sequent.kl.lsp" (written 25 JUN 2026 09:35:46 AM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/KLambda/sequent.kl.fasl
; compilation finished in 0:00:00.035
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/KLambda/track.kl.lsp" (written 25 JUN 2026 09:35:46 AM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/KLambda/track.kl.fasl
; compilation finished in 0:00:00.026
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/KLambda/t-star.kl.lsp" (written 25 JUN 2026 09:35:46 AM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/KLambda/t-star.kl.fasl
; compilation finished in 0:00:00.124
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/KLambda/yacc.kl.lsp" (written 25 JUN 2026 09:35:46 AM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/KLambda/yacc.kl.fasl
; compilation finished in 0:00:00.036
; compiling file "/home/builder/rpmbuild/BUILD/S41.2/KLambda/types.kl.lsp" (written 25 JUN 2026 09:35:46 AM):
; wrote /home/builder/rpmbuild/BUILD/S41.2/KLambda/types.kl.fasl
; compilation finished in 0:00:00.020
false
skip
install standard library? (y/n) (fn concat*)
concat*
run time: 0.004574000835418701 secs
loaded
true
(fn newv) : (--> symbol)
run time: 0.0015450119972229004 secs
typechecked in 2833 inferences
loaded
false
true
maths.maths-macro
(fn maths.process-options)
(fn maths.step-option)
(fn maths.constructor-option)
(fn maths.end-option)
(fn maths.process)
run time: 0.026803970336914063 secs
loaded
false
true
maths.maths#type : symbol
95795 : number
1.0e-4 : number
(fn set-tolerance) : (number --> number)
(fn tolerance) : (--> number)
(fn sq) : (number --> number)
(fn cube) : (number --> number)
(fn for) : (number --> ((number --> boolean) --> ((number --> A) --> ((number --> number) --> ((A --> (A --> A)) --> A)))))
(fn maths.for-h) : (number --> ((number --> boolean) --> ((number --> A) --> ((number --> number) --> ((A --> (A --> A)) --> (A --> A))))))
(fn maths.lazyfor-and) : (number --> ((number --> boolean) --> ((number --> boolean) --> ((number --> number) --> boolean))))
(fn maths.lazyfor-or) : (number --> ((number --> boolean) --> ((number --> boolean) --> ((number --> number) --> boolean))))
(fn max) : (number --> (number --> number))
(fn min) : (number --> (number --> number))
(fn expt) : (number --> (number --> (number --> number)))
(fn maths.n->r) : (number --> (number --> (number * number)))
(fn maths.expt-h) : (number --> ((number * number) --> (number --> number)))
(fn gcd) : (number --> (number --> number))
(fn maths.gcd-help) : (number --> (number --> number))
(fn maths.gcd-loop) : (number --> (number --> (number --> number)))
(fn lcd) : (number --> (number --> number))
(fn maths.lcd-loop) : (number --> (number --> (number --> (number --> number))))
(fn isqrt) : (number --> number)
(fn maths.isqrt-loop) : (number --> (number --> number))
(fn div) : (number --> (number --> number))
(fn modf) : (number --> (number * number))
(fn floor) : (number --> number)
(fn maths.rounding-loop) : (symbol --> (number --> (number --> (number --> number))))
(fn maths.float->pair) : (number --> (number * number))
(fn ceiling) : (number --> number)
(fn round) : (number --> number)
(fn mod) : (number --> (number --> number))
(fn lcm) : ((list number) --> number)
(fn maths.greatest) : ((list number) --> number)
(fn maths.lcm-h) : (number --> (number --> ((list number) --> number)))
(fn maths.lcm?) : (number --> ((list number) --> boolean))
(fn random) : (number --> (number --> number))
(fn min) : (number --> (number --> number))
(fn reseed) : (--> number)
(fn maths.bbs) : (number --> number)
(fn ~) : (number --> number)
(fn positive?) : (number --> boolean)
(fn negative?) : (number --> boolean)
(fn natural?) : (number --> boolean)
(fn converge) : (A --> ((A --> A) --> ((A --> (A --> boolean)) --> A)))
(fn maths.converge-help) : ((A --> A) --> (A --> (A --> ((A --> (A --> boolean)) --> A))))
(fn nthrt) : (number --> (number --> (number --> number)))
(fn sqrt) : (number --> (number --> number))
(fn maths.compute-nthrt) : (number --> (number --> (number --> (number --> number))))
(fn approx) : (number --> (number --> (number --> boolean)))
(fn abs) : (number --> number)
(fn series) : (number --> ((number --> number) --> (number --> ((number --> (number --> number)) --> number))))
(fn maths.series-h) : (number --> (number --> ((number --> number) --> (number --> ((number --> (number --> number)) --> number)))))
(fn product) : (number --> ((number --> number) --> (number --> number)))
(fn summation) : (number --> ((number --> number) --> (number --> number)))
(fn odd?) : (number --> boolean)
(fn even?) : (number --> boolean)
(fn maths.compute-sine) : (number --> (number --> number))
(fn maths.compute-cos) : (number --> (number --> number))
(fn cos) : (number --> (number --> number))
(fn sin) : (number --> (number --> number))
(fn tan) : (number --> (number --> number))
(fn radians) : (number --> number)
(fn g) : (--> number)
(fn pi) : (--> number)
(fn e) : (--> number)
(fn tan30) : (--> number)
(fn cos30) : (--> number)
(fn cos45) : (--> number)
(fn sin45) : (--> number)
(fn sqrt2) : (--> number)
(fn tan60) : (--> number)
(fn maths.sin60) : (--> number)
(fn sin120) : (--> number)
(fn tan120) : (--> number)
(fn sin135) : (--> number)
(fn cos135) : (--> number)
(fn cos150) : (--> number)
(fn tan150) : (--> number)
(fn cos210) : (--> number)
(fn tan210) : (--> number)
(fn sin225) : (--> number)
(fn cos225) : (--> number)
(fn sin240) : (--> number)
(fn tan240) : (--> number)
(fn sin300) : (--> number)
(fn tan300) : (--> number)
(fn sin315) : (--> number)
(fn cos315) : (--> number)
(fn cos330) : (--> number)
(fn tan330) : (--> number)
(fn coth) : (number --> (number --> number))
(fn sinh) : (number --> (number --> number))
(fn cosh) : (number --> (number --> number))
(fn tanh) : (number --> (number --> number))
(fn sech) : (number --> (number --> number))
(fn csch) : (number --> (number --> number))
(fn power) : (number --> (number --> number))
(fn factorial) : (number --> number)
(fn prime?) : (number --> boolean)
(fn maths.prime-h) : (number --> (number --> (number --> boolean)))
(fn maths.sign) : (number --> number)
(fn log) : (number --> (number --> (number --> number)))
(fn loge) : (number --> (number --> number))
(fn log2) : (number --> (number --> number))
(fn log10) : (number --> (number --> number))
(fn maths.log10+) : (number --> (number --> number))
(fn maths.upto) : (A --> ((A --> boolean) --> ((A --> A) --> ((B --> (C --> C)) --> (C --> ((A --> B) --> C))))))
run time: 0.21273499727249146 secs
typechecked in 20639 inferences
loaded
false
(fn r#)
(fn rational.print-rational)
(fn rational?)
(fn numerator)
(fn denominator)
r#
rational?
numerator
denominator
run time: 0.009585022926330566 secs
loaded
true
(fn r-op1) : ((number --> number) --> (rational --> rational))
(fn r-op2) : ((number --> (number --> number)) --> (rational --> (rational --> rational)))
(fn r->n) : (rational --> number)
(fn r->pair) : (rational --> (number * number))
(fn n->r) : (number --> rational)
(fn r-reduce) : (rational --> rational)
(fn rational.r-reduce-help) : (number --> (number --> rational))
(fn r=) : (rational --> (rational --> boolean))
(fn r<) : (rational --> (rational --> boolean))
(fn r>) : (rational --> (rational --> boolean))
(fn r>=) : (rational --> (rational --> boolean))
(fn r<=) : (rational --> (rational --> boolean))
(fn r+) : (rational --> (rational --> rational))
(fn r-) : (rational --> (rational --> rational))
(fn r*) : (rational --> (rational --> rational))
(fn +-inverse) : (rational --> rational)
(fn *-inverse) : (rational --> rational)
(fn r/) : (rational --> (rational --> rational))
(fn r-expt) : (rational --> (number --> rational))
(fn r-approx) : (rational --> (number --> rational))
(fn rational.approx-r-h) : (number --> (number --> (number --> rational)))
run time: 0.04092907905578613 secs
typechecked in 25070 inferences
loaded
false
(fn c#)
(fn complex.print-complex)
(fn complex?)
(fn real)
(fn imaginary)
c#
complex?
real
imaginary
run time: 0.009524941444396973 secs
loaded
true
(fn c+) : (complex --> (complex --> complex))
(fn c-) : (complex --> (complex --> complex))
(fn c*) : (complex --> (complex --> complex))
(fn c/) : (complex --> (complex --> complex))
run time: 0.009930968284606934 secs
typechecked in 27054 inferences
loaded
false
(fn n#)
(fn radix)
(fn numerals.numerals)
(fn n#->n)
radix
n#->ns
n#->n
n#
numeral?
(fn n#->ns)
(fn numerals.print-numeral)
(fn numerals.numeric->string)
(fn numeral?)
run time: 0.016237974166870117 secs
loaded
true
numerals.numeral-macro : symbol
(fn n-op2) : ((number --> (number --> number)) --> (numeral --> (numeral --> (number --> numeral))))
(fn n-op1) : ((number --> number) --> (numeral --> (number --> numeral)))
(fn n+) : (numeral --> (numeral --> (number --> numeral)))
(fn n*) : (numeral --> (numeral --> (number --> numeral)))
(fn n-) : (numeral --> (numeral --> (number --> numeral)))
(fn n/) : (numeral --> (numeral --> (number --> numeral)))
(fn binary) : (number --> numeral)
(fn hex) : (number --> numeral)
(fn octal) : (number --> numeral)
(fn duodecimal) : (number --> numeral)
(fn numerals.n->numeral) : (number --> (number --> (list number)))
(fn numerals.largest-expt) : (number --> (number --> (number --> number)))
(fn numerals.n-zeros) : (number --> (list number))
(fn numerals.add) : ((list number) --> ((list number) --> (number --> (list number))))
(fn numerals.add-h) : ((list number) --> ((list number) --> (number --> (number --> (list number)))))
run time: 0.03943908214569092 secs
typechecked in 30749 inferences
loaded
(fn assoc-if) : ((A --> boolean) --> ((list (list A)) --> (list A)))
(fn assoc-if-not) : ((A --> boolean) --> ((list (list A)) --> (list A)))
(fn drop) : (number --> ((list A) --> (list A)))
(fn drop-last) : (number --> ((list A) --> (list A)))
(fn index) : (A --> ((list A) --> number))
(fn list.index-h) : (A --> ((list A) --> (number --> number)))
(fn index-last) : (A --> ((list A) --> number))
(fn insert) : (number --> (A --> ((list A) --> (list A))))
(fn remove-duplicates) : ((list A) --> (list A))
(fn trim-left-if) : ((A --> boolean) --> ((list A) --> (list A)))
(fn trim-right-if) : ((A --> boolean) --> ((list A) --> (list A)))
(fn trim-if) : ((A --> boolean) --> ((list A) --> (list A)))
(fn trim-left) : ((list A) --> ((list A) --> (list A)))
(fn trim-right) : ((list A) --> ((list A) --> (list A)))
(fn trim) : ((list A) --> ((list A) --> (list A)))
(fn prefix?) : ((list A) --> ((list A) --> boolean))
(fn infix?) : ((list A) --> ((list A) --> boolean))
(fn suffix?) : ((list A) --> ((list A) --> boolean))
(fn subset?) : ((list A) --> ((list A) --> boolean))
(fn set=?) : ((list A) --> ((list A) --> boolean))
(fn set?) : ((list A) --> boolean)
(fn n-times) : (A --> (number --> (list A)))
(fn list.n-times-h) : (number --> (A --> ((list A) --> (list A))))
(fn subbag?) : ((list A) --> ((list A) --> boolean))
(fn bag=?) : ((list A) --> ((list A) --> boolean))
(fn mapc) : ((A --> B) --> ((list A) --> (list C)))
(fn permute) : ((list A) --> (list (list A)))
(fn count-if) : ((A --> boolean) --> ((list A) --> number))
(fn count) : (A --> ((list A) --> number))
(fn some?) : ((A --> boolean) --> ((list A) --> boolean))
(fn every?) : ((A --> boolean) --> ((list A) --> boolean))
(fn sort) : ((A --> (A --> boolean)) --> ((list A) --> (list A)))
(fn find) : ((A --> boolean) --> ((list A) --> A))
(fn foldr) : ((A --> (B --> B)) --> (B --> ((list A) --> B)))
(fn foldl) : ((A --> (B --> A)) --> (A --> ((list B) --> A)))
(fn mapf) : ((A --> B) --> ((list A) --> ((B --> ((list C) --> (list C))) --> (list C))))
(fn filter) : ((A --> boolean) --> ((list A) --> (list A)))
(fn remove-if) : ((A --> boolean) --> ((list A) --> (list A)))
(fn list.reduce) : ((A --> (B --> A)) --> (A --> ((list B) --> A)))
(fn take) : (number --> ((list A) --> (list A)))
(fn take-last) : (number --> ((list A) --> (list A)))
(fn cartprod) : ((list A) --> ((list A) --> (list (list A))))
(fn powerset) : ((list A) --> (list (list A)))
(fn partition) : ((A --> (A --> boolean)) --> ((list A) --> (list (list A))))
(fn transitive-closure) : ((list (A * A)) --> (list (A * A)))
(fn list.transitive-pass) : ((list (A * A)) --> ((list (A * A)) --> (list (A * A))))
(fn list.find-trans) : (A --> (A --> ((list (A * A)) --> (list (A * A)))))
(fn x->ascii) : (A --> (list number))
(fn splice) : (number --> ((list A) --> ((list A) --> (list A))))
run time: 0.11891603469848633 secs
typechecked in 41193 inferences
loaded
string-macros : symbol
run time: 0.002373933792114258 secs
typechecked in 41205 inferences
loaded
(fn string->list) : (string --> (list string))
(fn string.s->l-h) : (string --> (number --> (string --> ((list string) --> (list string)))))
(fn list->string) : ((list string) --> string)
(fn s-op1) : (((list string) --> A) --> (string --> ((A --> B) --> B)))
(fn s-op2) : (((list string) --> ((list string) --> A)) --> (string --> (string --> ((A --> B) --> B))))
(fn string.count) : (string --> (string --> number))
(fn string.reverse) : (string --> string)
(fn string.element?) : (string --> (string --> boolean))
(fn string.prefix?) : (string --> (string --> boolean))
(fn string.infix?) : (string --> (string --> boolean))
(fn string.suffix?) : (string --> (string --> boolean))
(fn string.subset?) : (string --> (string --> boolean))
(fn string.set=?) : (string --> (string --> boolean))
(fn string.set?) : (string --> boolean)
(fn file-extension) : (string --> (string --> string))
(fn strip-extension) : (string --> string)
(fn string.length) : (string --> number)
(fn string.trim) : ((list string) --> (string --> string))
(fn string.trim-if) : ((string --> boolean) --> (string --> string))
(fn string.trim-right-if) : ((string --> boolean) --> (string --> string))
(fn string.trim-left-if) : ((string --> boolean) --> (string --> string))
(fn string.trim-right) : ((list string) --> (string --> string))
(fn string.trim-left) : ((list string) --> (string --> string))
(fn string.some?) : ((string --> boolean) --> (string --> boolean))
(fn string.every?) : ((string --> boolean) --> (string --> boolean))
(fn string.difference) : (string --> (string --> string))
(fn string.intersection) : (string --> (string --> string))
(fn string.nth) : (number --> (string --> string))
(fn whitespace?) : (string --> boolean)
(fn uppercase?) : (string --> boolean)
(fn lowercase?) : (string --> boolean)
(fn digit?) : (string --> boolean)
(fn alpha?) : (string --> boolean)
(fn alphanum?) : (string --> boolean)
(fn tokenise) : ((string --> boolean) --> (string --> (list string)))
(fn string.tokenise-h) : ((string --> boolean) --> (string --> (string --> (list string))))
(fn uppercase) : (string --> string)
(fn lowercase) : (string --> string)
(fn string.map) : ((string --> string) --> (string --> string))
(fn spell-number) : (number --> string)
(fn string.digit) : (string --> string)
(fn string.triples) : ((list A) --> (list (list A)))
(fn string.triples-h) : ((list A) --> ((list (list A)) --> (list (list A))))
(fn string.digits) : ((list string) --> string)
(fn string.tens) : (string --> (string --> string))
(fn string.scale) : ((list string) --> string)
(fn string.units) : (number --> string)
(fn string>?) : (string --> (string --> boolean))
(fn string (string --> boolean))
(fn string>=?) : (string --> (string --> boolean))
(fn string<=?) : (string --> (string --> boolean))
run time: 0.13073396682739258 secs
typechecked in 52890 inferences
loaded
false
render
render-file
(fn render-file)
(fn string.bytes->strings)
(fn render)
(fn string.rendered?)
(fn string.)
(fn string.)
(fn string.recapply)
(fn string.)
(fn string.)
(fn string.)
(fn string.)
(fn string.)
(fn string.)
run time: 0.02670896053314209 secs
loaded
true
vector.vector-macros
run time: 0.008393049240112305 secs
loaded
false
true
print#type : symbol
print.pprint-macro : symbol
1 : number
60 : number
(fn linelength) : (--> number)
(fn indentation) : (--> number)
(fn set-linelength) : (number --> number)
(fn set-indentation) : (number --> number)
(fn pps) : (symbol --> ((stream out) --> symbol))
(fn pprint) : (A --> ((stream out) --> A))
(fn pretty-string) : (string --> string)
(fn print.pretty-string-h) : (string --> (number --> (number --> string)))
(fn print.indent) : (number --> string)
(fn print.indent-h) : (number --> string)
(fn print.n-space) : (number --> string)
[maths.maths#type] : (list symbol)
run time: 0.03274202346801758 secs
typechecked in 55522 inferences
loaded
false
(fn delete-file)
delete-file
run time: 0.0019320249557495117 secs
loaded
true
file.file-macro : symbol
(fn append-files) : ((list string) --> (string --> string))
(fn append-files-with-open-stream) : ((list string) --> (string --> (stream out)))
(fn file.read&write) : ((stream in) --> ((stream out) --> number))
(fn file.read&write-h) : (number --> ((stream in) --> ((stream out) --> number)))
(fn reopen) : (string --> (stream out))
(fn copy-file) : (string --> (string --> string))
(fn copy-file-with-open-stream) : (string --> (string --> (stream out)))
(fn file-exists?) : (string --> boolean)
(fn file-size) : (string --> number)
(fn file.file-size-loop) : ((stream in) --> (number --> (number --> number)))
(fn ascii) : (number --> (number --> (string --> string)))
(fn file.scan-bytes) : (number --> (number --> ((list number) --> (string --> string))))
run time: 0.0314180850982666 secs
typechecked in 58093 inferences
loaded
(fn pairoff) : ((list A) --> ((list B) --> (list (A * B))))
(fn assocp) : (A --> ((list (A * B)) --> (A * B)))
(fn cartprodp) : ((list A) --> ((list B) --> (list (A * B))))
(fn assocp-if) : ((A --> boolean) --> ((list (A * B)) --> (A * B)))
(fn assocp-if-not) : ((A --> boolean) --> ((list (A * B)) --> (A * B)))
run time: 0.014075994491577148 secs
typechecked in 59446 inferences
loaded
false
stlib.void
run time: 5.130767822265625e-4 secs
loaded
ok
[]
[]
""
false
run time: 0.7464340329170227 secs
loaded
install concurrency? (required for Shen/tk) (y/n) 2
0
8
(fn p.cores)
(fn p.set-cores)
(fn p.kl-extension)
(fn p.processes)
(fn p.set-kl-extension)
p.set-kl-extension-macro
(fn p.mk-proclist)
(fn p.local)
(fn p.let-parallel-code)
(fn p.directly-functional?)
(fn p.data-dependent?)
(fn p.make-cases)
(fn p.proc->-h)
(fn p.prccount+)
(fn p.prccount-)
(fn p.processes)
(fn p.cores)
(fn p.terminated?)
(fn p.thread-in)
(fn p.<-)
(fn p.print-simple-process)
(fn p.process?)
p.prccount+
p.prccount-
p.processes
p.process?
thread
p.thread-in
terminate
p.proc->-h
p.terminated?
p.<-
p.set-kl-extension
p.kl-extension
p.cores
p.set-cores
run time: 0.05229008197784424 secs
(fn p.free-cores?) : (--> boolean)
(fn p.<-!) : ((sproc A) --> A)
(fn p.p-and-rotate) : ((list (sproc boolean)) --> boolean)
(fn p.p-or-rotate) : ((list (sproc boolean)) --> boolean)
(fn p.terminate-proc) : ((sproc A) --> thread)
(fn p.p-and-rotate!) : ((list (sproc boolean)) --> boolean)
(fn p.p-or-rotate!) : ((list (sproc boolean)) --> boolean)
(fn p.p-cases-h) : ((list ((sproc boolean) * (lazy A))) --> A)
(fn p.terminate-case) : (((sproc A) * B) --> thread)
(fn p.p-anycases-h) : ((list ((sproc boolean) * (lazy A))) --> A)
(fn p.p-cases-h!) : ((list ((sproc boolean) * (lazy A))) --> A)
(fn p.p-anycases-h!) : ((list ((sproc boolean) * (lazy A))) --> A)
run time: 0.03293502330780029 secs
typechecked in 62629 inferences
loaded
install Shen/tk + IDE? (y/n) skip
install THORN? (y/n) (fn thorn.constant?)
term#type
prop#type
run time: 0.1794750690460205 secs
(fn thorn.defaults)
[thorn.eq]
set
kb->
<-kb
thorn.defaults
thorn.depth
thorn.timeout
thorn.equality
thorn.complex
thorn.wipe-kb
(fn thorn.wipe-kb)
(fn thorn.depth)
(fn thorn.timeout)
(fn thorn.equality)
(fn thorn.complex)
(fn <-kb)
(fn thorn.<-kb-h)
(fn thorn.reverse-skolemise)
(fn thorn.change-quantifiers)
(fn thorn.enable-proof)
(fn thorn.solve)
(fn thorn.ground?)
(fn thorn.literals)
(fn thorn.signed-complements)
(fn thorn.signed-complement)
(fn thorn.hypdisj)
(fn thorn.iterative-deepening)
(fn thorn.depth-exceeded?)
(fn thorn.undefined?)
(fn thorn.callF)
(fn thorn.ishyp)
(fn thorn.running-F)
(fn thorn.apply)
(fn thorn.sign)
(fn thorn.print-hyps)
(fn thorn.unsign)
(fn kb->)
(fn thorn.procedure-call?)
(fn thorn.desugar)
(fn thorn.remember-predicates)
(fn thorn.predicates-in)
(fn thorn.complexity)
(fn thorn.horn?)
(fn thorn.positive-literal?)
(fn thorn.contrapositives)
(fn thorn.clauses)
(fn thorn.tautology?)
(fn thorn.remove-subsumed)
(fn thorn.rsh)
(fn thorn.subsumed?)
(fn thorn.cnf->clauses)
(fn thorn.cch)
(fn thorn.cnf)
(fn thorn.elim-all)
(fn thorn.uppercasesym)
(fn thorn.complement)
(fn thorn.skolemise)
(fn thorn.sk-help)
(fn thorn.prenex)
(fn thorn.rectify)
(fn thorn.prenex*)
(fn thorn.replace)
(fn thorn.replace*)
(fn thorn.same-predicate?)
(fn thorn.sign-contrapositives)
(fn thorn.shorter-body?)
(fn thorn.compile-contrapositives)
(fn thorn.show)
(fn thorn.show-step)
(fn thorn.sugar)
(fn thorn.print-to-proof)
(fn thorn.n-indents)
(fn thorn.print-hyps)
(fn thorn.print-rule)
(fn thorn.arity-predicate)
(fn thorn.timeout-clause)
(fn thorn.timeout?)
(fn thorn.depth-clause)
(fn thorn.make-vs)
(fn thorn.hyp-clause)
(fn thorn.complexity-clause)
(fn thorn.over-complex?)
(fn thorn.loop-clause)
(fn thorn.loop?)
(fn thorn.equality-clause)
(fn thorn.rewriteA+B)
(fn thorn.not-var?)
(fn thorn.not-is!)
(fn thorn.callup)
(fn thorn.sub)
(fn thorn.subterms)
(fn thorn.terms)
(fn thorn.predicate)
(fn thorn.compile-contrapositives-h)
(fn thorn.pretty-rule)
(fn thorn.happy-variables)
(fn thorn.new-hyp-code)
(fn thorn.prf-term)
(fn thorn.make-prfs)
(fn thorn.proof-vars)
(fn thorn.prep-head)
(fn thorn.my-cons-form)
(fn thorn.prep-body)
run time: 0.682602047920227 secs
loaded
install Logic Lab? (y/n) logiclab.intro
(fn logiclab.intro)
logiclab.d-rule-macro
(fn logiclab.parse-d-rule)
(fn logiclab.)
(fn logiclab.compile-spc)
(fn logiclab.compile-der)
(fn logiclab.types-in)
(fn logiclab.compile-C)
(fn logiclab.derivation-type)
(fn logiclab.derivation-type-h)
(fn logiclab.compile-H)
(fn logiclab.compile-sides)
(fn logiclab.collect)
(fn logiclab.compile-premises)
(fn logiclab.compile-premise)
(fn logiclab.process-hyps)
run time: 0.06401586532592773 secs
synonyms : symbol
step#type : symbol
(fn logiclab.f10040) : (boolean --> ((list prop) --> ((list prop) --> ((list prop) --> ((list ((list prop) * prop)) --> ((vector (list step)) --> (string --> symbol)))))))
(fn logiclab.f10041) : (string --> (boolean --> ((list ((list prop) * prop)) --> (list step))))
(fn thm$) : (string --> (boolean --> (step --> (list step))))
(fn thm) : (string --> (step --> step))
(fn logiclab.get-theorem) : (string --> ((list prop) --> (list prop)))
(fn logiclab.add-thm) : (prop --> ((list ((list prop) * prop)) --> (list ((list prop) * prop))))
(fn logiclab.can-prove?) : ((list (step --> step)) --> (step --> boolean))
logiclab.gpa-macro : symbol
(fn logiclab.gpa) : (string --> boolean)
(fn logiclab.recover-proof) : (string --> boolean)
(fn logiclab.reconstruct) : ((list string) --> ((list (step --> step)) --> (step --> ((list (step * string)) --> boolean))))
(fn logiclab.enter-sequent) : (--> ((list prop) * prop))
(fn logiclab.read-conclusion) : (--> prop)
(fn logiclab.input-assumptions) : (number --> (list prop))
(fn logiclab.read-prop) : (--> prop)
(fn logiclab.gpa-loop) : (step --> ((list (step * string)) --> boolean))
(fn logiclab.trimwsp) : (string --> string)
(fn logiclab.save-proof-to-file) : (string --> ((list (step * string)) --> string))
(fn logiclab.save-prf) : (string --> ((list (step * string)) --> (list A)))
(fn logiclab.print-steps) : ((list (step * string)) --> (number --> ((stream out) --> (list A))))
(fn logiclab.save-vprf) : (string --> ((list (step * string)) --> string))
(fn logiclab.atom-call?) : (string --> boolean)
(fn logiclab.get-problem) : ((list (step * string)) --> string)
(fn logiclab.step->sequents) : (step --> (list ((list prop) * prop)))
(fn logiclab.error-routine) : (exception --> (step --> step))
(fn logiclab.n-steps) : (--> number)
(fn logiclab.rollback) : (number --> (step --> ((list (step * string)) --> boolean)))
(fn logiclab.ask-for-file) : (--> string)
(fn logiclab.view-step) : (step --> (list ((list prop) * prop)))
(fn logiclab.format-sequent) : ((list ((list prop) * prop)) --> (number --> string))
(fn logiclab.enumerate) : (number --> ((list prop) --> string))
(fn logiclab.tactic) : (--> (step --> step))
run time: 0.13339877128601074 secs
typechecked in 84727 inferences
loaded
[]
[]
""
false
skip
run time: 1.8932240009307861 secs
[undoing binding stack and other enclosing state... done]
[performing final GC... done]
[defragmenting immobile space... (inst,code,sym)=774+22149+23471... done]
[saving current Lisp image into sbcl-shen.exe:
writing 65536 bytes from the linkage space at 0xb7ffb00000
writing 1251328 bytes from the fixedobj space at 0x50000000
writing 2752 bytes from the static space at 0x520000000000
writing 15859712 bytes from the dynamic space at 0x1200000000
writing 9180000 bytes from the read-only space at 0x11ff738000
writing 13498368 bytes from the text space at 0xb800000000
done]
+ RPM_EC=0
++ jobs -p
+ exit 0
Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.Y5Ja1F
+ umask 022
+ cd /home/builder/rpmbuild/BUILD
+ '[' /home/builder/rpmbuild/BUILDROOT/shen-sbcl-S41.2-1.el9.x86_64 '!=' / ']'
+ rm -rf /home/builder/rpmbuild/BUILDROOT/shen-sbcl-S41.2-1.el9.x86_64
++ dirname /home/builder/rpmbuild/BUILDROOT/shen-sbcl-S41.2-1.el9.x86_64
+ mkdir -p /home/builder/rpmbuild/BUILDROOT
+ mkdir /home/builder/rpmbuild/BUILDROOT/shen-sbcl-S41.2-1.el9.x86_64
+ cd S41.2
+ rm -rf /home/builder/rpmbuild/BUILDROOT/shen-sbcl-S41.2-1.el9.x86_64
+ mkdir -p /home/builder/rpmbuild/BUILDROOT/shen-sbcl-S41.2-1.el9.x86_64/usr/bin
++ eu-readelf -n sbcl-shen.exe
++ egrep '^ Build ID: '
++ sed -e 's/^ Build ID: //'
+ BUILD_ID=07a5b0b0998d46e8459bc52dd2994177a8a0d3fa
+ xxd -p sbcl-shen.exe
+ tr -d '\n'
+ sed -e s/07a5b0b0998d46e8459bc52dd2994177a8a0d3fa/0000000000000000000000000000000000000000/
+ fold -c256
+ xxd -r -p
+ '[' '%{buildarch}' = noarch ']'
+ QA_CHECK_RPATHS=1
+ case "${QA_CHECK_RPATHS:-}" in
+ /usr/lib/rpm/check-rpaths
+ /usr/lib/rpm/check-buildroot
+ /usr/lib/rpm/redhat/brp-ldconfig
+ /usr/lib/rpm/brp-compress
+ /usr/lib/rpm/brp-strip /bin/true
+ /usr/lib/rpm/brp-strip-comment-note /bin/true /usr/bin/objdump
+ /usr/lib/rpm/redhat/brp-strip-lto /bin/true
+ /usr/lib/rpm/brp-strip-static-archive /bin/true
+ /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0
+ /usr/lib/rpm/brp-python-hardlink
+ /usr/lib/rpm/redhat/brp-mangle-shebangs
Processing files: shen-sbcl-S41.2-1.el9.x86_64
Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.fi4yao
+ umask 022
+ cd /home/builder/rpmbuild/BUILD
+ cd S41.2
+ LICENSEDIR=/home/builder/rpmbuild/BUILDROOT/shen-sbcl-S41.2-1.el9.x86_64/usr/share/licenses/shen-sbcl
+ export LC_ALL=C
+ LC_ALL=C
+ export LICENSEDIR
+ /usr/bin/mkdir -p /home/builder/rpmbuild/BUILDROOT/shen-sbcl-S41.2-1.el9.x86_64/usr/share/licenses/shen-sbcl
+ cp -pr Lib/LICENSE /home/builder/rpmbuild/BUILDROOT/shen-sbcl-S41.2-1.el9.x86_64/usr/share/licenses/shen-sbcl
+ RPM_EC=0
++ jobs -p
+ exit 0
Provides: shen-sbcl = S41.2-1.el9 shen-sbcl(x86-64) = S41.2-1.el9
Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1
Checking for unpackaged file(s): /usr/lib/rpm/check-files /home/builder/rpmbuild/BUILDROOT/shen-sbcl-S41.2-1.el9.x86_64
Wrote: /home/builder/rpmbuild/SRPMS/shen-sbcl-S41.2-1.el9.src.rpm
Wrote: /home/builder/rpmbuild/RPMS/x86_64/shen-sbcl-S41.2-1.el9.x86_64.rpm
Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.g5kQmx
+ umask 022
+ cd /home/builder/rpmbuild/BUILD
+ cd S41.2
+ /usr/bin/rm -rf /home/builder/rpmbuild/BUILDROOT/shen-sbcl-S41.2-1.el9.x86_64
+ RPM_EC=0
++ jobs -p
+ exit 0
real 0m26.868s
user 0m18.472s
sys 0m0.481s