=> Bootstrap dependency digest>=20211023: found digest-20220214 ===> Installing for idris2-0.7.0 => Generating pre-install file lists => Creating installation directories mkdir -p /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/bin/ install /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/build/exec/idris2 /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/bin mkdir -p /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/bin/idris2_app install /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/build/exec/idris2_app/* /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/bin/idris2_app make[1]: Entering directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/support' mkdir -p /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/support/docs install -m 644 docs/*.css /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/support/docs mkdir -p /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/support/racket install -m 644 racket/* /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/support/racket mkdir -p /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/support/gambit install -m 644 gambit/* /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/support/gambit mkdir -p /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/support/js install -m 644 js/* /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/support/js make[2]: Entering directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/support/c' mkdir -p /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/lib mkdir -p /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/support/c install -m 755 libidris2_support.dylib /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/lib install -m 644 libidris2_support.a /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/lib install -m 644 *.h /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/support/c make[2]: Leaving directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/support/c' make[2]: Entering directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/support/refc' mkdir -p /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/support/refc install -m 644 libidris2_refc.a *.h /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/support/refc make[2]: Leaving directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/support/refc' make[2]: Entering directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/support/chez' mkdir -p /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/support/chez install -m 644 *.ss /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/support/chez make[2]: Leaving directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/support/chez' make[1]: Leaving directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/support' make -C libs/prelude install IDRIS2=/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/build/exec/idris2 IDRIS2_PATH="/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/network/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/test/build/ttc:" IDRIS2_INC_CGS=chez make[1]: Entering directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude' /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/build/exec/idris2 --install prelude.ipkg Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Builtin.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Builtin.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Builtin.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/PrimIO.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/PrimIO.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/PrimIO.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude/Basics.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude/Basics.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude/Basics.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude/Cast.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude/Cast.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude/Cast.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude/EqOrd.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude/EqOrd.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude/EqOrd.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude/Interfaces.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude/Interfaces.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude/Interfaces.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude/Interpolation.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude/Interpolation.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude/Interpolation.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude/IO.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude/IO.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude/IO.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude/Num.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude/Num.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude/Num.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude/Ops.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude/Ops.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude/Ops.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude/Show.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude/Show.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude/Show.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude/Types.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude/Types.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude/Types.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude/Uninhabited.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude/Uninhabited.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc/2023090800/Prelude/Uninhabited.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude Installing package file for prelude to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/prelude-0.7.0 make[1]: Leaving directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude' make -C libs/base install IDRIS2=/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/build/exec/idris2 IDRIS2_PATH="/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/network/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/test/build/ttc:" IDRIS2_INC_CGS=chez make[1]: Entering directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base' /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/build/exec/idris2 --install base.ipkg Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/App.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/App.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/App.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/App/Console.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/App Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/App/Console.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/App Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/App/Console.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/App Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/App/FileIO.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/App Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/App/FileIO.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/App Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/App/FileIO.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/App Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Applicative/Const.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Applicative Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Applicative/Const.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Applicative Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Applicative/Const.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Applicative Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Function.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Function.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Function.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Function/FunExt.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Function Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Function/FunExt.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Function Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Function/FunExt.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Function Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Either.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Either.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Either.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Error/Either.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Error Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Error/Either.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Error Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Error/Either.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Error Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Error/Interface.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Error Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Error/Interface.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Error Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Error/Interface.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Error Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Identity.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Identity.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Identity.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Maybe.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Maybe.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Maybe.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/RWS.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/RWS.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/RWS.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/RWS/CPS.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/RWS Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/RWS/CPS.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/RWS Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/RWS/CPS.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/RWS Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/RWS/Interface.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/RWS Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/RWS/Interface.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/RWS Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/RWS/Interface.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/RWS Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Reader.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Reader.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Reader.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Reader/Interface.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Reader Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Reader/Interface.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Reader Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Reader/Interface.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Reader Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Reader/Reader.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Reader Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Reader/Reader.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Reader Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Reader/Reader.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Reader Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/ST.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/ST.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/ST.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/State.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/State.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/State.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/State/Interface.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/State Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/State/Interface.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/State Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/State/Interface.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/State Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/State/State.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/State Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/State/State.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/State Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/State/State.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/State Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Trans.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Trans.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Trans.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Writer.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Writer.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Writer.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Writer/CPS.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Writer Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Writer/CPS.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Writer Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Writer/CPS.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Writer Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Writer/Interface.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Writer Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Writer/Interface.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Writer Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Monad/Writer/Interface.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Writer Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Ord.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Ord.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Ord.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Order.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Order.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Order.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Relation.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Relation.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Relation.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Relation/Closure.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Relation Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Relation/Closure.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Relation Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/Relation/Closure.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control/Relation Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/WellFounded.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/WellFounded.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Control/WellFounded.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Bifoldable.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Bifoldable.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Bifoldable.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Bits.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Bits.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Bits.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Bool.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Bool.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Bool.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Bool/Xor.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/Bool Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Bool/Xor.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/Bool Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Bool/Xor.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/Bool Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Buffer.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Buffer.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Buffer.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Colist.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Colist.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Colist.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Colist1.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Colist1.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Colist1.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Contravariant.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Contravariant.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Contravariant.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Double.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Double.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Double.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/DPair.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/DPair.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/DPair.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Either.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Either.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Either.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Fin.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Fin.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Fin.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Fin/Order.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/Fin Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Fin/Order.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/Fin Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Fin/Order.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/Fin Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Fuel.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Fuel.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Fuel.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Fun.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Fun.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Fun.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/IOArray.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/IOArray.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/IOArray.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/IOArray/Prims.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/IOArray Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/IOArray/Prims.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/IOArray Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/IOArray/Prims.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/IOArray Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/IORef.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/IORef.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/IORef.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Integral.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Integral.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Integral.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/List.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/List.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/List.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/List/Elem.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/List/Elem.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/List/Elem.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/List/HasLength.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/List/HasLength.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/List/HasLength.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/List/Quantifiers.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/List/Quantifiers.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/List/Quantifiers.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/List/Views.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/List/Views.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/List/Views.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/List1.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/List1.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/List1.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/List1/Elem.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/List1 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/List1/Elem.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/List1 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/List1/Elem.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/List1 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/List1/Properties.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/List1 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/List1/Properties.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/List1 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/List1/Properties.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/List1 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/List1/Quantifiers.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/List1 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/List1/Quantifiers.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/List1 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/List1/Quantifiers.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/List1 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Maybe.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Maybe.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Maybe.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Morphisms.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Morphisms.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Morphisms.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Nat.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Nat.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Nat.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Nat/Order.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Nat/Order.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Nat/Order.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Nat/Views.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Nat/Views.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Nat/Views.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Primitives/Views.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/Primitives Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Primitives/Views.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/Primitives Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Primitives/Views.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/Primitives Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Ref.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Ref.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Ref.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Rel.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Rel.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Rel.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Singleton.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Singleton.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Singleton.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/SnocList.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/SnocList.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/SnocList.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/SnocList/Elem.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/SnocList Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/SnocList/Elem.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/SnocList Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/SnocList/Elem.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/SnocList Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/SnocList/Operations.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/SnocList Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/SnocList/Operations.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/SnocList Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/SnocList/Operations.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/SnocList Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/SnocList/Quantifiers.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/SnocList Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/SnocList/Quantifiers.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/SnocList Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/SnocList/Quantifiers.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/SnocList Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/So.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/So.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/So.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/SortedMap.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/SortedMap.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/SortedMap.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/SortedMap/Dependent.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/SortedMap Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/SortedMap/Dependent.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/SortedMap Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/SortedMap/Dependent.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/SortedMap Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/SortedSet.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/SortedSet.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/SortedSet.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Stream.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Stream.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Stream.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/String.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/String.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/String.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/These.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/These.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/These.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Vect.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Vect.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Vect.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Vect/AtIndex.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/Vect Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Vect/AtIndex.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/Vect Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Vect/AtIndex.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/Vect Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Vect/Elem.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/Vect Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Vect/Elem.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/Vect Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Vect/Elem.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/Vect Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Vect/Quantifiers.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/Vect Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Vect/Quantifiers.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/Vect Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Vect/Quantifiers.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data/Vect Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Zippable.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Zippable.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Data/Zippable.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Debug/Trace.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Debug Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Debug/Trace.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Debug Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Debug/Trace.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Debug Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Decidable/Decidable.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Decidable Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Decidable/Decidable.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Decidable Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Decidable/Decidable.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Decidable Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Decidable/Equality.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Decidable Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Decidable/Equality.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Decidable Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Decidable/Equality.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Decidable Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Decidable/Equality/Core.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Decidable/Equality Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Decidable/Equality/Core.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Decidable/Equality Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Decidable/Equality/Core.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Decidable/Equality Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Deriving/Common.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Deriving Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Deriving/Common.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Deriving Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Deriving/Common.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Deriving Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Deriving/Foldable.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Deriving Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Deriving/Foldable.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Deriving Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Deriving/Foldable.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Deriving Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Deriving/Functor.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Deriving Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Deriving/Functor.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Deriving Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Deriving/Functor.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Deriving Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Deriving/Show.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Deriving Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Deriving/Show.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Deriving Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Deriving/Show.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Deriving Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Deriving/Traversable.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Deriving Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Deriving/Traversable.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Deriving Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Deriving/Traversable.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Deriving Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Language/Reflection.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Language Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Language/Reflection.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Language Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Language/Reflection.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Language Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Language/Reflection/TT.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Language/Reflection Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Language/Reflection/TT.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Language/Reflection Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Language/Reflection/TT.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Language/Reflection Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Language/Reflection/TTImp.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Language/Reflection Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Language/Reflection/TTImp.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Language/Reflection Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Language/Reflection/TTImp.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Language/Reflection Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Syntax/PreorderReasoning.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Syntax Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Syntax/PreorderReasoning.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Syntax Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Syntax/PreorderReasoning.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Syntax Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Syntax/PreorderReasoning/Generic.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Syntax/PreorderReasoning Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Syntax/PreorderReasoning/Generic.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Syntax/PreorderReasoning Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/Syntax/PreorderReasoning/Generic.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/Syntax/PreorderReasoning Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800 Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/Clock.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/Clock.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/Clock.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/Concurrency.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/Concurrency.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/Concurrency.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/Directory.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/Directory.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/Directory.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/Errno.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/Errno.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/Errno.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/Escape.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/Escape.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/Escape.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/FFI.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/FFI.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/FFI.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File/Buffer.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File/Buffer.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File/Buffer.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File/Error.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File/Error.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File/Error.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File/Handle.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File/Handle.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File/Handle.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File/Meta.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File/Meta.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File/Meta.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File/Mode.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File/Mode.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File/Mode.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File/Permissions.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File/Permissions.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File/Permissions.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File/Process.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File/Process.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File/Process.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File/ReadWrite.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File/ReadWrite.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File/ReadWrite.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File/Support.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File/Support.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File/Support.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File/Types.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File/Types.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File/Types.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File/Virtual.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File/Virtual.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/File/Virtual.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System/File Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/Info.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/Info.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/Info.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/REPL.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/REPL.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/REPL.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/Signal.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/Signal.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/Signal.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/Term.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/Term.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc/2023090800/System/Term.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0/2023090800/System Installing package file for base to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/base-0.7.0 make[1]: Leaving directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base' make -C libs/linear install IDRIS2=/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/build/exec/idris2 IDRIS2_PATH="/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/network/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/test/build/ttc:" IDRIS2_INC_CGS=chez make[1]: Entering directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear' /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/build/exec/idris2 --install linear.ipkg Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Control/Linear/LIO.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Control/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Control/Linear/LIO.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Control/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Control/Linear/LIO.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Control/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Data/Linear.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Data/Linear.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Data/Linear.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Data/Linear/Bifunctor.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Data/Linear/Bifunctor.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Data/Linear/Bifunctor.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Data/Linear/Copies.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Data/Linear/Copies.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Data/Linear/Copies.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Data/Linear/Interface.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Data/Linear/Interface.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Data/Linear/Interface.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Data/Linear/LEither.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Data/Linear/LEither.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Data/Linear/LEither.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Data/Linear/LList.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Data/Linear/LList.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Data/Linear/LList.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Data/Linear/List/LQuantifiers.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Data/Linear/List/LQuantifiers.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Data/Linear/List/LQuantifiers.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Data/Linear/LMaybe.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Data/Linear/LMaybe.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Data/Linear/LMaybe.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Data/Linear/LNat.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Data/Linear/LNat.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Data/Linear/LNat.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Data/Linear/LVect.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Data/Linear/LVect.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Data/Linear/LVect.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Data/Linear/Notation.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Data/Linear/Notation.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc/2023090800/Data/Linear/Notation.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear Installing package file for linear to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/linear-0.7.0 make[1]: Leaving directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear' make -C libs/network install IDRIS2=/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/build/exec/idris2 IDRIS2_PATH="/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/network/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/test/build/ttc:" IDRIS2_INC_CGS=chez make[1]: Entering directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/network' /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/build/exec/idris2 --install network.ipkg Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/network/build/ttc/2023090800/Control/Linear/Network.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/network-0.7.0/2023090800/Control/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/network/build/ttc/2023090800/Control/Linear/Network.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/network-0.7.0/2023090800/Control/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/network/build/ttc/2023090800/Control/Linear/Network.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/network-0.7.0/2023090800/Control/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/network/build/ttc/2023090800/Network/Socket.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/network-0.7.0/2023090800/Network Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/network/build/ttc/2023090800/Network/Socket.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/network-0.7.0/2023090800/Network Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/network/build/ttc/2023090800/Network/Socket.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/network-0.7.0/2023090800/Network Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/network/build/ttc/2023090800/Network/Socket/Data.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/network-0.7.0/2023090800/Network/Socket Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/network/build/ttc/2023090800/Network/Socket/Data.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/network-0.7.0/2023090800/Network/Socket Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/network/build/ttc/2023090800/Network/Socket/Data.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/network-0.7.0/2023090800/Network/Socket Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/network/build/ttc/2023090800/Network/Socket/Raw.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/network-0.7.0/2023090800/Network/Socket Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/network/build/ttc/2023090800/Network/Socket/Raw.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/network-0.7.0/2023090800/Network/Socket Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/network/build/ttc/2023090800/Network/Socket/Raw.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/network-0.7.0/2023090800/Network/Socket Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/network/build/ttc/2023090800/Network/FFI.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/network-0.7.0/2023090800/Network Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/network/build/ttc/2023090800/Network/FFI.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/network-0.7.0/2023090800/Network Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/network/build/ttc/2023090800/Network/FFI.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/network-0.7.0/2023090800/Network Installing package file for network to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/network-0.7.0 make[1]: Leaving directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/network' make -C libs/contrib install IDRIS2=/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/build/exec/idris2 IDRIS2_PATH="/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/network/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/test/build/ttc:" IDRIS2_INC_CGS=chez make[1]: Entering directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib' /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/build/exec/idris2 --install contrib.ipkg Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Control/ANSI.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Control/ANSI.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Control/ANSI.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Control/ANSI/SGR.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Control/ANSI Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Control/ANSI/SGR.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Control/ANSI Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Control/ANSI/SGR.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Control/ANSI Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Control/ANSI/CSI.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Control/ANSI Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Control/ANSI/CSI.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Control/ANSI Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Control/ANSI/CSI.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Control/ANSI Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Control/Delayed.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Control/Delayed.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Control/Delayed.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Control/Monad/Algebra.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Control/Monad/Algebra.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Control/Monad/Algebra.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Control/Monad Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Control/Algebra.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Control/Algebra.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Control/Algebra.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Control/Algebra/Laws.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Control/Algebra Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Control/Algebra/Laws.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Control/Algebra Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Control/Algebra/Laws.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Control/Algebra Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Control/Algebra/Implementations.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Control/Algebra Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Control/Algebra/Implementations.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Control/Algebra Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Control/Algebra/Implementations.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Control/Algebra Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Control/Arrow.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Control/Arrow.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Control/Arrow.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Control/Category.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Control/Category.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Control/Category.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Control/Validation.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Control/Validation.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Control/Validation.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Control Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Binary/Digit.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Binary Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Binary/Digit.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Binary Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Binary/Digit.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Binary Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Binary.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Binary.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Binary.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Bool/Algebra.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Bool Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Bool/Algebra.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Bool Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Bool/Algebra.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Bool Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Bool/Decidable.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Bool Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Bool/Decidable.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Bool Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Bool/Decidable.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Bool Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Fin/Extra.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Fin Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Fin/Extra.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Fin Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Fin/Extra.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Fin Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Fun/Extra.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Fun Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Fun/Extra.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Fun Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Fun/Extra.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Fun Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Fun/Graph.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Fun Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Fun/Graph.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Fun Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Fun/Graph.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Fun Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/IMaybe.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/IMaybe.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/IMaybe.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Int/Order.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Int Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Int/Order.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Int Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Int/Order.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Int Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/IOMatrix.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/IOMatrix.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/IOMatrix.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Late.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Late.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Late.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Linear/Array.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Linear/Array.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Linear/Array.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Linear Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/Algebra.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/Algebra.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/Algebra.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/TailRec.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/TailRec.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/TailRec.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/Equalities.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/Equalities.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/Equalities.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/Extra.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/Extra.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/Extra.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/Reverse.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/Reverse.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/Reverse.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/Views/Extra.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Views Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/Views/Extra.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Views Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/Views/Extra.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Views Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/Palindrome.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/Palindrome.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/Palindrome.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/AtIndex.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/AtIndex.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/AtIndex.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/Alternating.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/Alternating.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/Alternating.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/Sufficient.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/Sufficient.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/Sufficient.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/Elem/Extra.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Elem Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/Elem/Extra.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Elem Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/Elem/Extra.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Elem Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/Lazy.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/Lazy.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/Lazy.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/Lazy/Quantifiers.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Lazy Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/Lazy/Quantifiers.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Lazy Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/List/Lazy/Quantifiers.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Lazy Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Logic/Propositional.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Logic Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Logic/Propositional.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Logic Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Logic/Propositional.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Logic Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Monoid/Exponentiation.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Monoid Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Monoid/Exponentiation.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Monoid Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Monoid/Exponentiation.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Monoid Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Morphisms/Algebra.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Morphisms Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Morphisms/Algebra.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Morphisms Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Morphisms/Algebra.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Morphisms Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Algebra.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Algebra.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Algebra.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Ack.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Ack.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Ack.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Division.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Division.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Division.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Equational.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Equational.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Equational.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Exponentiation.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Exponentiation.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Exponentiation.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Fact.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Fact.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Fact.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Factor.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Factor.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Factor.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Fib.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Fib.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Fib.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Order/Strict.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Order Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Order/Strict.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Order Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Order/Strict.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Order Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Order/Properties.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Order Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Order/Properties.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Order Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Order/Properties.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Order Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Order/Relation.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Order Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Order/Relation.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Order Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Order/Relation.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Order Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Properties.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Properties.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Nat/Properties.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Order.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Order.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Order.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Path.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Path.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Path.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Rel/Complement.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Rel Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Rel/Complement.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Rel Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Rel/Complement.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Rel Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Seq/Internal.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Seq Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Seq/Internal.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Seq Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Seq/Internal.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Seq Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Seq/Sized.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Seq Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Seq/Sized.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Seq Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Seq/Sized.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Seq Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Seq/Unsized.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Seq Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Seq/Unsized.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Seq Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Seq/Unsized.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Seq Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Stream/Extra.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Stream Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Stream/Extra.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Stream Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Stream/Extra.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Stream Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/String/Extra.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/String/Extra.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/String/Extra.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/String/Interpolation.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/String/Interpolation.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/String/Interpolation.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/String/Iterator.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/String/Iterator.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/String/Iterator.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/String/Parser.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/String/Parser.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/String/Parser.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/String/Parser/Expression.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/String/Parser Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/String/Parser/Expression.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/String/Parser Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/String/Parser/Expression.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/String/Parser Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/String/Position.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/String/Position.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/String/Position.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Telescope.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Telescope.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Telescope.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Telescope/Telescope.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Telescope Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Telescope/Telescope.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Telescope Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Telescope/Telescope.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Telescope Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Telescope/Segment.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Telescope Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Telescope/Segment.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Telescope Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Telescope/Segment.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Telescope Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Telescope/Fun.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Telescope Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Telescope/Fun.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Telescope Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Telescope/Fun.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Telescope Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Telescope/SimpleFun.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Telescope Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Telescope/SimpleFun.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Telescope Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Telescope/SimpleFun.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Telescope Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Telescope/Congruence.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Telescope Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Telescope/Congruence.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Telescope Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Telescope/Congruence.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Telescope Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Validated.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Validated.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Validated.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Vect/Properties.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Vect/Properties.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Vect/Properties.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Vect/Properties/Tabulate.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Properties Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Vect/Properties/Tabulate.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Properties Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Vect/Properties/Tabulate.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Properties Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Vect/Properties/Index.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Properties Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Vect/Properties/Index.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Properties Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Vect/Properties/Index.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Properties Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Vect/Properties/Foldr.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Properties Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Vect/Properties/Foldr.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Properties Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Vect/Properties/Foldr.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Properties Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Vect/Properties/Map.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Properties Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Vect/Properties/Map.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Properties Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Vect/Properties/Map.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Properties Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Vect/Properties/Fin.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Properties Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Vect/Properties/Fin.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Properties Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Vect/Properties/Fin.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Properties Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Vect/Extra.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Vect/Extra.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Vect/Extra.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Vect/Sort.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Vect/Sort.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Vect/Sort.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Vect/Views/Extra.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Views Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Vect/Views/Extra.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Views Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Vect/Views/Extra.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Views Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Void.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Void.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/Void.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/HVect.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/HVect.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Data/HVect.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Data Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Debug/Buffer.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Debug Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Debug/Buffer.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Debug Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Debug/Buffer.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Debug Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Decidable/Finite/Fin.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Decidable/Finite Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Decidable/Finite/Fin.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Decidable/Finite Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Decidable/Finite/Fin.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Decidable/Finite Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Decidable/Order/Strict.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Decidable/Order Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Decidable/Order/Strict.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Decidable/Order Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Decidable/Order/Strict.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Decidable/Order Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Decidable/Decidable/Extra.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Decidable/Decidable Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Decidable/Decidable/Extra.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Decidable/Decidable Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Decidable/Decidable/Extra.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Decidable/Decidable Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Language/JSON.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Language Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Language/JSON.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Language Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Language/JSON.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Language Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Language/JSON/Data.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Language/JSON/Data.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Language/JSON/Data.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Language/JSON/Lexer.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Language/JSON/Lexer.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Language/JSON/Lexer.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Language/JSON/Parser.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Language/JSON/Parser.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Language/JSON/Parser.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Language/JSON/String.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Language/JSON/String.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Language/JSON/String.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Language/JSON/String/Lexer.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Language/JSON/String/Lexer.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Language/JSON/String/Lexer.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Language/JSON/String/Parser.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Language/JSON/String/Parser.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Language/JSON/String/Parser.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Language/JSON/String/Tokens.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Language/JSON/String/Tokens.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Language/JSON/String/Tokens.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/String Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Language/JSON/Tokens.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Language/JSON/Tokens.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Language/JSON/Tokens.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Syntax/WithProof.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Syntax Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Syntax/WithProof.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Syntax Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Syntax/WithProof.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Syntax Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/System/Console/GetOpt.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/System/Console Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/System/Console/GetOpt.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/System/Console Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/System/Console/GetOpt.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/System/Console Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/System/Directory/Tree.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/System/Directory Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/System/Directory/Tree.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/System/Directory Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/System/Directory/Tree.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/System/Directory Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/System/Future.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/System/Future.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/System/Future.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/System/Random.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/System/Random.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/System/Random.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/System/Path.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/System/Path.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/System/Path.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/System Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/Bounded.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/Bounded.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/Bounded.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/Distance/Levenshtein.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/Distance Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/Distance/Levenshtein.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/Distance Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/Distance/Levenshtein.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/Distance Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/Lexer.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/Lexer.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/Lexer.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/Lexer/Core.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/Lexer Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/Lexer/Core.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/Lexer Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/Lexer/Core.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/Lexer Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/Lexer/Tokenizer.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/Lexer Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/Lexer/Tokenizer.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/Lexer Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/Lexer/Tokenizer.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/Lexer Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/Literate.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/Literate.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/Literate.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/Parser.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/Parser.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/Parser.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/Parser/Core.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/Parser Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/Parser/Core.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/Parser Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/Parser/Core.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/Parser Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/Parser/Expression.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/Parser Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/Parser/Expression.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/Parser Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/Parser/Expression.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/Parser Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/PrettyPrint/Prettyprinter.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/PrettyPrint/Prettyprinter.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/PrettyPrint/Prettyprinter.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/PrettyPrint/Prettyprinter/Doc.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/PrettyPrint/Prettyprinter/Doc.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/PrettyPrint/Prettyprinter/Doc.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/PrettyPrint/Prettyprinter/Render/HTML.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter/Render Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/PrettyPrint/Prettyprinter/Render/HTML.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter/Render Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/PrettyPrint/Prettyprinter/Render/HTML.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter/Render Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/PrettyPrint/Prettyprinter/Render/String.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter/Render Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/PrettyPrint/Prettyprinter/Render/String.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter/Render Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/PrettyPrint/Prettyprinter/Render/String.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter/Render Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/PrettyPrint/Prettyprinter/Render/Terminal.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter/Render Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/PrettyPrint/Prettyprinter/Render/Terminal.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter/Render Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/PrettyPrint/Prettyprinter/Render/Terminal.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter/Render Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/PrettyPrint/Prettyprinter/SimpleDocTree.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/PrettyPrint/Prettyprinter/SimpleDocTree.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/PrettyPrint/Prettyprinter/SimpleDocTree.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/PrettyPrint/Prettyprinter/Symbols.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/PrettyPrint/Prettyprinter/Symbols.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/PrettyPrint/Prettyprinter/Symbols.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/PrettyPrint/Prettyprinter/Util.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/PrettyPrint/Prettyprinter/Util.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/PrettyPrint/Prettyprinter/Util.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/Quantity.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/Quantity.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/Quantity.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/Token.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/Token.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc/2023090800/Text/Token.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0/2023090800/Text Installing package file for contrib to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/contrib-0.7.0 make[1]: Leaving directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib' make -C libs/test install IDRIS2=/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/build/exec/idris2 IDRIS2_PATH="/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/prelude/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/base/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/linear/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/network/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/contrib/build/ttc:/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/test/build/ttc:" IDRIS2_INC_CGS=chez make[1]: Entering directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/test' /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/build/exec/idris2 --install test.ipkg Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/test/build/ttc/2023090800/Test/Golden.ttc to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/test-0.7.0/2023090800/Test Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/test/build/ttc/2023090800/Test/Golden.ttm to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/test-0.7.0/2023090800/Test Installing /Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/test/build/ttc/2023090800/Test/Golden.so to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/test-0.7.0/2023090800/Test Installing package file for test to /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/idris2-0.7.0/test-0.7.0 make[1]: Leaving directory '/Users/pbulk/build/lang/idris2/work/Idris2-0.7.0/libs/test' => Substituting "app" in /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/bin/idris2 /usr/bin/install -c -o pbulk -g staff -m 644 /Users/pbulk/build/lang/idris2/work/idris2.bash /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/share/bash-completion/completions/idris2 /usr/bin/install -c -o pbulk -g staff -m 644 /Users/pbulk/build/lang/idris2/work/idris2.zsh /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/share/zsh/site-functions/_idris2 for f in compileChez idris2-boot.so idris2-boot.ss; do /bin/rm -f /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/bin/idris2_app/$f; done /bin/mv /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/bin/idris2_app /Users/pbulk/build/lang/idris2/work/.destdir/opt/pkg/libexec => Automatic manual page handling => Generating post-install file lists => Checking file-check results for idris2-0.7.0 => Checking for non-existent script interpreters in idris2-0.7.0 => Checking file permissions in idris2-0.7.0 => Checking for missing run-time search paths in idris2-0.7.0 ERROR: idris2-0.7.0/lib/libidris2_support.dylib: relative library path: libidris2_support.dylib ERROR: idris2-0.7.0/lib/libidris2_support.dylib: missing library: libidris2_support.dylib ERROR: libexec/idris2_app/libidris2_support.dylib: relative library path: libidris2_support.dylib ERROR: libexec/idris2_app/libidris2_support.dylib: missing library: libidris2_support.dylib *** Error code 1 Stop. bmake[1]: stopped in /Volumes/data/jenkins/workspace/pkgsrc-macos-trunk-x86_64/lang/idris2 *** Error code 1 Stop. bmake: stopped in /Volumes/data/jenkins/workspace/pkgsrc-macos-trunk-x86_64/lang/idris2