Mock Version: 2.12 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/idris2.spec'], chrootPath='/var/lib/mock/fedora-rawhide-x86_64-1630824404.940841/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=0uid=1000gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.2eu4xz6o:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=TrueprintOutput=True) Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.2eu4xz6o:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'] Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', 'b2acc82792f74589ac2af0fd8848a753', '-D', '/var/lib/mock/fedora-rawhide-x86_64-1630824404.940841/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.2eu4xz6o:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/idris2.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0'} and shell False Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1630713600 Wrote: /builddir/build/SRPMS/idris2-0.4.0-3.fc36.src.rpm Child return code was: 0 ENTER ['do_with_status'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target x86_64 --nodeps /builddir/build/SPECS/idris2.spec'], chrootPath='/var/lib/mock/fedora-rawhide-x86_64-1630824404.940841/root'env={'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8'}shell=Falselogger=timeout=0uid=1000gid=135user='mockbuild'nspawn_args=['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.2eu4xz6o:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11']unshare_net=TrueprintOutput=True) Using nspawn with args ['--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.2eu4xz6o:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11'] Executing command: ['/usr/bin/systemd-nspawn', '-q', '-M', '7b79a3756b2f42a496f1678b3f206a94', '-D', '/var/lib/mock/fedora-rawhide-x86_64-1630824404.940841/root', '-a', '-u', 'mockbuild', '--capability=cap_ipc_lock', '--rlimit=RLIMIT_NOFILE=10240', '--capability=cap_ipc_lock', '--bind=/tmp/mock-resolv.2eu4xz6o:/etc/resolv.conf', '--bind=/dev/btrfs-control', '--bind=/dev/loop-control', '--bind=/dev/loop0', '--bind=/dev/loop1', '--bind=/dev/loop2', '--bind=/dev/loop3', '--bind=/dev/loop4', '--bind=/dev/loop5', '--bind=/dev/loop6', '--bind=/dev/loop7', '--bind=/dev/loop8', '--bind=/dev/loop9', '--bind=/dev/loop10', '--bind=/dev/loop11', '--console=pipe', '--setenv=TERM=vt100', '--setenv=SHELL=/bin/bash', '--setenv=HOME=/builddir', '--setenv=HOSTNAME=mock', '--setenv=PATH=/usr/bin:/bin:/usr/sbin:/sbin', '--setenv=PROMPT_COMMAND=printf "\\033]0;\\007"', '--setenv=PS1= \\s-\\v\\$ ', '--setenv=LANG=C.UTF-8', '--resolv-conf=off', 'bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target x86_64 --nodeps /builddir/build/SPECS/idris2.spec'] with env {'TERM': 'vt100', 'SHELL': '/bin/bash', 'HOME': '/builddir', 'HOSTNAME': 'mock', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'PS1': ' \\s-\\v\\$ ', 'LANG': 'C.UTF-8', 'SYSTEMD_NSPAWN_TMPFS_TMP': '0'} and shell False Building target platforms: x86_64 Building for target x86_64 setting SOURCE_DATE_EPOCH=1630713600 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.CB1YZD + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf Idris2-0.4.0 + /usr/bin/gzip -dc /builddir/build/SOURCES/idris2-0.4.0.tgz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd Idris2-0.4.0 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . Patch #0 (idris2-0.4-DESTDIR.patch): + echo 'Patch #0 (idris2-0.4-DESTDIR.patch):' + /usr/bin/patch --no-backup-if-mismatch -f -p1 -b --suffix .destdir --fuzz=0 patching file Makefile patching file support/c/Makefile patching file support/chez/Makefile patching file support/refc/Makefile + grep /usr/bin/chezscheme9.5 bootstrap/idris2_app/idris2.ss #!/usr/bin/chezscheme9.5 --script + sed -i -e 's!/usr/bin/chezscheme9.5!/usr/bin/scheme!' bootstrap/idris2_app/idris2.ss + RPM_EC=0 ++ jobs -p + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.uaCNNa + umask 022 + cd /builddir/build/BUILD + cd Idris2-0.4.0 + make bootstrap-racket PREFIX=/usr/lib64 make[1]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/support/c' cc -Wall -fPIC -O2 -c -o getline.o getline.c cc -Wall -fPIC -O2 -c -o idris_directory.o idris_directory.c cc -Wall -fPIC -O2 -c -o idris_file.o idris_file.c cc -Wall -fPIC -O2 -c -o idris_net.o idris_net.c cc -Wall -fPIC -O2 -c -o idris_signal.o idris_signal.c cc -Wall -fPIC -O2 -c -o idris_support.o idris_support.c cc -Wall -fPIC -O2 -c -o idris_term.o idris_term.c ar rc libidris2_support.a getline.o idris_directory.o idris_file.o idris_net.o idris_signal.o idris_support.o idris_term.o ranlib libidris2_support.a cc -shared -o libidris2_support.so getline.o idris_directory.o idris_file.o idris_net.o idris_signal.o idris_support.o idris_term.o make[1]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/support/c' make[1]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/support/refc' cc -Wall -fPIC -O2 -c -o buffer.o buffer.c cc -Wall -fPIC -O2 -c -o casts.o casts.c cc -Wall -fPIC -O2 -c -o clock.o clock.c cc -Wall -fPIC -O2 -c -o conCaseHelper.o conCaseHelper.c cc -Wall -fPIC -O2 -c -o mathFunctions.o mathFunctions.c cc -Wall -fPIC -O2 -c -o memoryManagement.o memoryManagement.c cc -Wall -fPIC -O2 -c -o prim.o prim.c cc -Wall -fPIC -O2 -c -o runtime.o runtime.c cc -Wall -fPIC -O2 -c -o stringOps.o stringOps.c ar rc libidris2_refc.a buffer.o casts.o clock.o conCaseHelper.o mathFunctions.o memoryManagement.o prim.o runtime.o stringOps.o ranlib libidris2_refc.a make[1]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/support/refc' make[1]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/support/chez' # start library header echo "(library (support) (export" > support-sep.ss # print the list of exports cat support.ss \ | sed -n 's|(define (\?\([^ )]*\).*|\1|p' \ >> support-sep.ss echo ") (import (chezscheme))" >> support-sep.ss # copy the code cat support.ss >> support-sep.ss # close the bracket echo ") ; end of (library)" >> support-sep.ss make[1]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/support/chez' cp support/c/libidris2_support.so bootstrap/idris2_app sed 's|__PREFIX__|/builddir/build/BUILD/Idris2-0.4.0/bootstrap|g' \ bootstrap/idris2_app/idris2.rkt \ > bootstrap/idris2_app/idris2-boot.rkt /bin/sh ./bootstrap-stage1-racket.sh Bootstrapping IDRIS2_VERSION=0.4.0 Building idris2-boot from idris2-boot.rkt IDRIS2_CG="racket" /bin/sh ./bootstrap-stage2.sh /builddir/build/BUILD/Idris2-0.4.0/bootstrap make[1]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0' make -C libs/prelude IDRIS2=/builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 IDRIS2_PATH="/builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/network/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/test/build/ttc" make[2]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/libs/prelude' /builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 --build prelude.ipkg 1/13: Building Builtin (Builtin.idr) 2/13: Building PrimIO (PrimIO.idr) 3/13: Building Prelude.Ops (Prelude/Ops.idr) 4/13: Building Prelude.Basics (Prelude/Basics.idr) 5/13: Building Prelude.EqOrd (Prelude/EqOrd.idr) 6/13: Building Prelude.Num (Prelude/Num.idr) 7/13: Building Prelude.Interfaces (Prelude/Interfaces.idr) 8/13: Building Prelude.Uninhabited (Prelude/Uninhabited.idr) 9/13: Building Prelude.Types (Prelude/Types.idr) 10/13: Building Prelude.Cast (Prelude/Cast.idr) 11/13: Building Prelude.Show (Prelude/Show.idr) 12/13: Building Prelude.IO (Prelude/IO.idr) 13/13: Building Prelude (Prelude.idr) make[2]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/libs/prelude' make -C libs/base IDRIS2=/builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 IDRIS2_PATH="/builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/network/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/test/build/ttc" make[2]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/libs/base' /builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 --build base.ipkg 1/81: Building Data.Fuel (Data/Fuel.idr) 2/81: Building Data.Nat (Data/Nat.idr) 3/81: Building Data.Zippable (Data/Zippable.idr) 4/81: Building Data.List1 (Data/List1.idr) 5/81: Building Data.Maybe (Data/Maybe.idr) 6/81: Building Decidable.Equality.Core (Decidable/Equality/Core.idr) 7/81: Building Data.Fin (Data/Fin.idr) 8/81: Building Data.List (Data/List.idr) 9/81: Building Data.Either (Data/Either.idr) 10/81: Building Decidable.Equality (Decidable/Equality.idr) 11/81: Building Data.List.Elem (Data/List/Elem.idr) 12/81: Building System.Signal (System/Signal.idr) 13/81: Building Data.String (Data/String.idr) 14/81: Building Data.Strings (Data/Strings.idr) 15/81: Building System.Info (System/Info.idr) 16/81: Building System.File (System/File.idr) 17/81: Building System.REPL (System/REPL.idr) 18/81: Building System.FFI (System/FFI.idr) 19/81: Building System.Concurrency (System/Concurrency.idr) 20/81: Building System.Clock (System/Clock.idr) 21/81: Building Data.Bool (Data/Bool.idr) 22/81: Building Data.So (Data/So.idr) 23/81: Building System (System.idr) 24/81: Building Language.Reflection.TT (Language/Reflection/TT.idr) 25/81: Building Language.Reflection.TTImp (Language/Reflection/TTImp.idr) 26/81: Building Language.Reflection (Language/Reflection.idr) 27/81: Building Debug.Trace (Debug/Trace.idr) 28/81: Building Data.DPair (Data/DPair.idr) 29/81: Building Data.Vect (Data/Vect.idr) 30/81: Building Data.Vect.Quantifiers (Data/Vect/Quantifiers.idr) 31/81: Building Data.Vect.Elem (Data/Vect/Elem.idr) 32/81: Building Data.These (Data/These.idr) 33/81: Building Data.Stream (Data/Stream.idr) 34/81: Building Data.IORef (Data/IORef.idr) 35/81: Building Control.Monad.ST (Control/Monad/ST.idr) 36/81: Building Data.Ref (Data/Ref.idr) 37/81: Building Data.Primitives.Views (Data/Primitives/Views.idr) 38/81: Building Data.Contravariant (Data/Contravariant.idr) 39/81: Building Data.Morphisms (Data/Morphisms.idr) 40/81: Building Data.List.Quantifiers (Data/List/Quantifiers.idr) 41/81: Building Control.WellFounded (Control/WellFounded.idr) 42/81: Building Data.Nat.Views (Data/Nat/Views.idr) 43/81: Building Data.List.Views (Data/List/Views.idr) 44/81: Building Data.SnocList (Data/SnocList.idr) 45/81: Building Data.IOArray.Prims (Data/IOArray/Prims.idr) 46/81: Building Data.IOArray (Data/IOArray.idr) 47/81: Building Data.Fun (Data/Fun.idr) 48/81: Building Data.Rel (Data/Rel.idr) 49/81: Building Decidable.Decidable (Decidable/Decidable.idr) 50/81: Building Decidable.Order (Decidable/Order.idr) 51/81: Building Data.Nat.Order (Data/Nat/Order.idr) 52/81: Building Data.Fin.Order (Data/Fin/Order.idr) 53/81: Building Data.Colist (Data/Colist.idr) 54/81: Building Data.Colist1 (Data/Colist1.idr) 55/81: Building System.Directory (System/Directory.idr) 56/81: Building Data.Buffer (Data/Buffer.idr) 57/81: Building Data.Bool.Xor (Data/Bool/Xor.idr) 58/81: Building Data.Bifoldable (Data/Bifoldable.idr) 59/81: Building Control.Monad.Trans (Control/Monad/Trans.idr) 60/81: Building Control.Monad.Maybe (Control/Monad/Maybe.idr) 61/81: Building Control.Monad.Error.Either (Control/Monad/Error/Either.idr) 62/81: Building Data.Bits (Data/Bits.idr) 63/81: Building Control.Monad.Identity (Control/Monad/Identity.idr) 64/81: Building Control.Monad.Reader.Reader (Control/Monad/Reader/Reader.idr) 65/81: Building Control.Monad.State.State (Control/Monad/State/State.idr) 66/81: Building Control.Monad.RWS.CPS (Control/Monad/RWS/CPS.idr) 67/81: Building Control.Monad.Writer.CPS (Control/Monad/Writer/CPS.idr) 68/81: Building Control.Monad.Writer.Interface (Control/Monad/Writer/Interface.idr) 69/81: Building Control.Monad.Writer (Control/Monad/Writer.idr) 70/81: Building Control.Monad.State.Interface (Control/Monad/State/Interface.idr) 71/81: Building Control.Monad.State (Control/Monad/State.idr) 72/81: Building Control.Monad.Reader.Interface (Control/Monad/Reader/Interface.idr) 73/81: Building Control.Monad.Reader (Control/Monad/Reader.idr) 74/81: Building Control.Monad.RWS.Interface (Control/Monad/RWS/Interface.idr) 75/81: Building Control.Monad.RWS (Control/Monad/RWS.idr) 76/81: Building Control.Monad.Error.Interface (Control/Monad/Error/Interface.idr) 77/81: Building Control.Monad.Either (Control/Monad/Either.idr) 78/81: Building Control.Applicative.Const (Control/Applicative/Const.idr) 79/81: Building Control.App (Control/App.idr) 80/81: Building Control.App.FileIO (Control/App/FileIO.idr) 81/81: Building Control.App.Console (Control/App/Console.idr) make[2]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/libs/base' make -C libs/contrib IDRIS2=/builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 IDRIS2_PATH="/builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/network/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/test/build/ttc" make[2]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/libs/contrib' /builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 --build contrib.ipkg 1/122: Building Control.ANSI.CSI (Control/ANSI/CSI.idr) 2/122: Building Control.ANSI.SGR (Control/ANSI/SGR.idr) 3/122: Building Control.ANSI (Control/ANSI.idr) 4/122: Building Data.String.Extra (Data/String/Extra.idr) 5/122: Building Text.PrettyPrint.Prettyprinter.Doc (Text/PrettyPrint/Prettyprinter/Doc.idr) 6/122: Building Text.PrettyPrint.Prettyprinter.Render.Terminal (Text/PrettyPrint/Prettyprinter/Render/Terminal.idr) 7/122: Building Text.PrettyPrint.Prettyprinter.Render.HTML (Text/PrettyPrint/Prettyprinter/Render/HTML.idr) 8/122: Building Control.Delayed (Control/Delayed.idr) 9/122: Building Text.Parser.Core (Text/Parser/Core.idr) 10/122: Building Text.Quantity (Text/Quantity.idr) 11/122: Building Text.Token (Text/Token.idr) 12/122: Building Text.Parser (Text/Parser.idr) 13/122: Building Text.PrettyPrint.Prettyprinter.SimpleDocTree (Text/PrettyPrint/Prettyprinter/SimpleDocTree.idr) 14/122: Building Text.PrettyPrint.Prettyprinter.Render.String (Text/PrettyPrint/Prettyprinter/Render/String.idr) 15/122: Building Text.PrettyPrint.Prettyprinter.Util (Text/PrettyPrint/Prettyprinter/Util.idr) 16/122: Building Text.PrettyPrint.Prettyprinter.Symbols (Text/PrettyPrint/Prettyprinter/Symbols.idr) 17/122: Building Text.PrettyPrint.Prettyprinter (Text/PrettyPrint/Prettyprinter.idr) 18/122: Building System.Random (System/Random.idr) 19/122: Building System.Future (System/Future.idr) 20/122: Building Text.Lexer.Core (Text/Lexer/Core.idr) 21/122: Building Text.Lexer (Text/Lexer.idr) 22/122: Building System.Path (System/Path.idr) 23/122: Building System.Directory.Tree (System/Directory/Tree.idr) 24/122: Building System.Console.GetOpt (System/Console/GetOpt.idr) 25/122: Building Data.List.Lazy (Data/List/Lazy.idr) 26/122: Building Data.List.Lazy.Quantifiers (Data/List/Lazy/Quantifiers.idr) 27/122: Building Search.Negation (Search/Negation.idr) 28/122: Building Search.HDecidable (Search/HDecidable.idr) 29/122: Building Search.Generator (Search/Generator.idr) 30/122: Building Search.Properties (Search/Properties.idr) 31/122: Building Language.JSON.String.Tokens (Language/JSON/String/Tokens.idr) 32/122: Building Language.JSON.String.Lexer (Language/JSON/String/Lexer.idr) 33/122: Building Language.JSON.String.Parser (Language/JSON/String/Parser.idr) 34/122: Building Language.JSON.String (Language/JSON/String.idr) 35/122: Building Language.JSON.Tokens (Language/JSON/Tokens.idr) 36/122: Building Language.JSON.Lexer (Language/JSON/Lexer.idr) 37/122: Building Language.JSON.Data (Language/JSON/Data.idr) 38/122: Building Language.JSON.Parser (Language/JSON/Parser.idr) 39/122: Building Language.JSON (Language/JSON.idr) 40/122: Building Data.HVect (Data/HVect.idr) 41/122: Building Data.Fun.Extra (Data/Fun/Extra.idr) 42/122: Building Data.Rel.Complement (Data/Rel/Complement.idr) 43/122: Building Decidable.Decidable.Extra (Decidable/Decidable/Extra.idr) 44/122: Building Debug.Buffer (Debug/Buffer.idr) 45/122: Building Data.Vect.Sort (Data/Vect/Sort.idr) 46/122: Building Data.Vect.Properties.Tabulate (Data/Vect/Properties/Tabulate.idr) 47/122: Building Syntax.PreorderReasoning (Syntax/PreorderReasoning.idr) 48/122: Building Data.Vect.Properties.Index (Data/Vect/Properties/Index.idr) 49/122: Building Syntax.PreorderReasoning.Generic (Syntax/PreorderReasoning/Generic.idr) 50/122: Building Data.Vect.Properties.Foldr (Data/Vect/Properties/Foldr.idr) 51/122: Building Data.Vect.Extra (Data/Vect/Extra.idr) 52/122: Building Data.Vect.Properties.Map (Data/Vect/Properties/Map.idr) 53/122: Building Data.Vect.Properties.Fin (Data/Vect/Properties/Fin.idr) 54/122: Building Data.Vect.Properties (Data/Vect/Properties.idr) 55/122: Building Data.Binary.Digit (Data/Binary/Digit.idr) 56/122: Building Data.Nat.Properties (Data/Nat/Properties.idr) 57/122: Building Data.Binary (Data/Binary.idr) 58/122: Building Data.IMaybe (Data/IMaybe.idr) 59/122: Building Control.Algebra (Control/Algebra.idr) 60/122: Building Data.Monoid.Exponentiation (Data/Monoid/Exponentiation.idr) 61/122: Building Data.Num.Implementations (Data/Num/Implementations.idr) 62/122: Building Data.Nat.Exponentiation (Data/Nat/Exponentiation.idr) 63/122: Building Decidable.Order.Strict (Decidable/Order/Strict.idr) 64/122: Building Data.Nat.Order.Strict (Data/Nat/Order/Strict.idr) 65/122: Building Data.Void (Data/Void.idr) 66/122: Building Data.Bool.Decidable (Data/Bool/Decidable.idr) 67/122: Building Data.Nat.Order.Properties (Data/Nat/Order/Properties.idr) 68/122: Building Syntax.WithProof (Syntax/WithProof.idr) 69/122: Building Data.Tree.Perfect (Data/Tree/Perfect.idr) 70/122: Building Data.Vect.Binary (Data/Vect/Binary.idr) 71/122: Building Data.Validated (Data/Validated.idr) 72/122: Building Data.Telescope.Telescope (Data/Telescope/Telescope.idr) 73/122: Building Data.Telescope.Segment (Data/Telescope/Segment.idr) 74/122: Building Data.Telescope.SimpleFun (Data/Telescope/SimpleFun.idr) 75/122: Building Data.Telescope.Fun (Data/Telescope/Fun.idr) 76/122: Building Data.Telescope.Congruence (Data/Telescope/Congruence.idr) 77/122: Building Data.Telescope (Data/Telescope.idr) 78/122: Building Data.String.Position (Data/String/Position.idr) 79/122: Building Data.String.Parser (Data/String/Parser.idr) 80/122: Building Data.String.Parser.Expression (Data/String/Parser/Expression.idr) 81/122: Building Data.String.Iterator (Data/String/Iterator.idr) 82/122: Building Data.String.Interpolation (Data/String/Interpolation.idr) 83/122: Building Data.Stream.Extra (Data/Stream/Extra.idr) 84/122: Building Data.SortedMap (Data/SortedMap.idr) 85/122: Building Data.SortedSet (Data/SortedSet.idr) 86/122: Building Data.Late (Data/Late.idr) 87/122: Building Data.InductionRecursion.DybjerSetzer (Data/InductionRecursion/DybjerSetzer.idr) 88/122: Building Data.Recursion.Free (Data/Recursion/Free.idr) 89/122: Building Data.Path (Data/Path.idr) 90/122: Building Data.List.HasLength (Data/List/HasLength.idr) 91/122: Building Data.List.AtIndex (Data/List/AtIndex.idr) 92/122: Building Data.OpenUnion (Data/OpenUnion.idr) 93/122: Building Data.Nat.Fib (Data/Nat/Fib.idr) 94/122: Building Data.Fin.Extra (Data/Fin/Extra.idr) 95/122: Building Data.Nat.Equational (Data/Nat/Equational.idr) 96/122: Building Data.Nat.Factor (Data/Nat/Factor.idr) 97/122: Building Data.Nat.Fact (Data/Nat/Fact.idr) 98/122: Building Data.Nat.Division (Data/Nat/Division.idr) 99/122: Building Data.Nat.Ack (Data/Nat/Ack.idr) 100/122: Building Data.Nat.Algebra (Data/Nat/Algebra.idr) 101/122: Building Data.Morphisms.Algebra (Data/Morphisms/Algebra.idr) 102/122: Building Data.Logic.Propositional (Data/Logic/Propositional.idr) 103/122: Building Data.List.Elem.Extra (Data/List/Elem/Extra.idr) 104/122: Building Data.List.Equalities (Data/List/Equalities.idr) 105/122: Building Data.List.Reverse (Data/List/Reverse.idr) 106/122: Building Data.List.Views.Extra (Data/List/Views/Extra.idr) 107/122: Building Data.List.Palindrome (Data/List/Palindrome.idr) 108/122: Building Data.List.TailRec (Data/List/TailRec.idr) 109/122: Building Data.List.Algebra (Data/List/Algebra.idr) 110/122: Building Data.Linear.Array (Data/Linear/Array.idr) 111/122: Building Data.Order (Data/Order.idr) 112/122: Building Data.Int.Order (Data/Int/Order.idr) 113/122: Building Data.Fun.Graph (Data/Fun/Graph.idr) 114/122: Building Data.Container (Data/Container.idr) 115/122: Building Data.Bool.Algebra (Data/Bool/Algebra.idr) 116/122: Building Control.Validation (Control/Validation.idr) 117/122: Building Control.Category (Control/Category.idr) 118/122: Building Control.Arrow (Control/Arrow.idr) 119/122: Building Control.Algebra.Implementations (Control/Algebra/Implementations.idr) 120/122: Building Control.Algebra.Laws (Control/Algebra/Laws.idr) 121/122: Building Control.Monad.Algebra (Control/Monad/Algebra.idr) 122/122: Building Control.Linear.LIO (Control/Linear/LIO.idr) make[2]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/libs/contrib' make -C libs/network IDRIS2=/builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 IDRIS2_PATH="/builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/network/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/test/build/ttc" make[2]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/libs/network' /builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 --build network.ipkg 1/5: Building Network.Socket.Data (Network/Socket/Data.idr) 2/5: Building Network.FFI (Network/FFI.idr) 3/5: Building Network.Socket.Raw (Network/Socket/Raw.idr) 4/5: Building Network.Socket (Network/Socket.idr) 5/5: Building Control.Linear.Network (Control/Linear/Network.idr) make[2]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/libs/network' make -C libs/test IDRIS2=/builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 IDRIS2_PATH="/builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/network/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/test/build/ttc" make[2]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/libs/test' /builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 --build test.ipkg 1/1: Building Test.Golden (Test/Golden.idr) make[2]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/libs/test' make[1]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0' make[1]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0' mkdir -p /builddir/build/BUILD/Idris2-0.4.0/bootstrap/bin/ install /builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 /builddir/build/BUILD/Idris2-0.4.0/bootstrap/bin mkdir -p /builddir/build/BUILD/Idris2-0.4.0/bootstrap/lib/ install support/c/libidris2_support.so /builddir/build/BUILD/Idris2-0.4.0/bootstrap/lib mkdir -p /builddir/build/BUILD/Idris2-0.4.0/bootstrap/bin/idris2_app install /builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2_app/* /builddir/build/BUILD/Idris2-0.4.0/bootstrap/bin/idris2_app mkdir -p /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/support/docs mkdir -p /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/support/racket mkdir -p /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/support/gambit mkdir -p /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/support/js install support/docs/* /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/support/docs install support/racket/* /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/support/racket install support/gambit/* /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/support/gambit install support/js/* /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/support/js make[2]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/support/c' mkdir -p /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/lib mkdir -p /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/include install -m 755 libidris2_support.so /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/lib install -m 644 libidris2_support.a /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/lib install -m 644 *.h /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/include make[2]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/support/c' make[2]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/support/refc' mkdir -p /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/refc install libidris2_refc.a *.h /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/refc make[2]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/support/refc' make[2]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/support/chez' mkdir -p /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/support/chez install *.ss /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/support/chez make[2]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/support/chez' make -C libs/prelude install IDRIS2?=/builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 IDRIS2_PATH="/builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/network/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/test/build/ttc" IDRIS2_PREFIX=/builddir/build/BUILD/Idris2-0.4.0/bootstrap make[2]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/libs/prelude' /builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 --install prelude.ipkg Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc/Builtin.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/prelude-0.4.0 Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc/PrimIO.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/prelude-0.4.0 Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc/Prelude.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/prelude-0.4.0 Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc/Prelude/Basics.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/prelude-0.4.0/Prelude Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc/Prelude/Cast.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/prelude-0.4.0/Prelude Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc/Prelude/EqOrd.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/prelude-0.4.0/Prelude Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc/Prelude/Interfaces.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/prelude-0.4.0/Prelude Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc/Prelude/IO.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/prelude-0.4.0/Prelude Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc/Prelude/Num.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/prelude-0.4.0/Prelude Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc/Prelude/Ops.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/prelude-0.4.0/Prelude Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc/Prelude/Show.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/prelude-0.4.0/Prelude Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc/Prelude/Types.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/prelude-0.4.0/Prelude Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc/Prelude/Uninhabited.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/prelude-0.4.0/Prelude make[2]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/libs/prelude' make -C libs/base install IDRIS2?=/builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 IDRIS2_PATH="/builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/network/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/test/build/ttc" IDRIS2_PREFIX=/builddir/build/BUILD/Idris2-0.4.0/bootstrap make[2]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/libs/base' /builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 --install base.ipkg Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/App.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Control Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/App/Console.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Control/App Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/App/FileIO.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Control/App Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Applicative/Const.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Control/Applicative Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/Either.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Control/Monad Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/Error/Either.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Control/Monad/Error Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/Error/Interface.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Control/Monad/Error Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/Identity.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Control/Monad Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/Maybe.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Control/Monad Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/RWS.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Control/Monad Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/RWS/CPS.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Control/Monad/RWS Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/RWS/Interface.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Control/Monad/RWS Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/Reader.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Control/Monad Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/Reader/Interface.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Control/Monad/Reader Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/Reader/Reader.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Control/Monad/Reader Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/ST.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Control/Monad Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/State.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Control/Monad Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/State/Interface.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Control/Monad/State Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/State/State.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Control/Monad/State Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/Trans.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Control/Monad Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/Writer.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Control/Monad Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/Writer/CPS.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Control/Monad/Writer Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/Writer/Interface.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Control/Monad/Writer Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/WellFounded.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Control Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Bifoldable.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Bits.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Bool.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Bool/Xor.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data/Bool Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Buffer.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Colist.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Colist1.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Contravariant.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/DPair.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Either.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Fin.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Fin/Order.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data/Fin Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Fuel.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Fun.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/IOArray.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/IOArray/Prims.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data/IOArray Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/IORef.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/List.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/SnocList.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/List/Elem.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data/List Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/List/Views.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data/List Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/List/Quantifiers.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data/List Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/List1.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Maybe.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Morphisms.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Nat.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Nat/Order.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data/Nat Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Nat/Views.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data/Nat Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Primitives/Views.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data/Primitives Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Ref.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Rel.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/So.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Stream.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/String.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Strings.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/These.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Vect.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Vect/Elem.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data/Vect Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Vect/Quantifiers.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data/Vect Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Zippable.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Debug/Trace.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Debug Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Decidable/Decidable.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Decidable Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Decidable/Equality.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Decidable Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Decidable/Equality/Core.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Decidable/Equality Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Decidable/Order.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Decidable Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Language/Reflection.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Language Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Language/Reflection/TT.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Language/Reflection Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Language/Reflection/TTImp.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/Language/Reflection Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/System.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0 Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/System/Clock.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/System Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/System/Concurrency.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/System Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/System/Directory.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/System Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/System/FFI.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/System Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/System/File.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/System Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/System/Info.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/System Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/System/REPL.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/System Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/System/Signal.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/base-0.4.0/System make[2]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/libs/base' make -C libs/contrib install IDRIS2?=/builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 IDRIS2_PATH="/builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/network/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/test/build/ttc" IDRIS2_PREFIX=/builddir/build/BUILD/Idris2-0.4.0/bootstrap make[2]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/libs/contrib' /builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 --install contrib.ipkg Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Control/ANSI.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Control Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Control/ANSI/SGR.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Control/ANSI Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Control/ANSI/CSI.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Control/ANSI Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Control/Delayed.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Control Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Control/Linear/LIO.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Control/Linear Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Control/Monad/Algebra.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Control/Monad Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Control/Algebra.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Control Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Control/Algebra/Laws.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Control/Algebra Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Control/Algebra/Implementations.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Control/Algebra Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Control/Arrow.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Control Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Control/Category.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Control Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Control/Validation.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Control Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Binary/Digit.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Binary Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Binary.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Bool/Algebra.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Bool Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Bool/Decidable.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Bool Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Container.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Fin/Extra.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Fin Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Fun/Extra.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Fun Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Fun/Graph.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Fun Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/IMaybe.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/InductionRecursion/DybjerSetzer.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/InductionRecursion Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Int/Order.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Int Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Late.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Linear/Array.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Linear Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/List/Algebra.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/List Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/List/TailRec.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/List Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/List/Equalities.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/List Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/List/Reverse.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/List Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/List/Views/Extra.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/List/Views Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/List/Palindrome.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/List Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/List/HasLength.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/List Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/List/AtIndex.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/List Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/List/Elem/Extra.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/List/Elem Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/List/Lazy.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/List Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/List/Lazy/Quantifiers.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/List/Lazy Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Logic/Propositional.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Logic Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Monoid/Exponentiation.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Monoid Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Morphisms/Algebra.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Morphisms Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Nat/Algebra.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Nat Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Nat/Ack.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Nat Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Nat/Division.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Nat Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Nat/Equational.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Nat Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Nat/Exponentiation.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Nat Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Nat/Fact.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Nat Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Nat/Factor.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Nat Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Nat/Fib.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Nat Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Nat/Order/Strict.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Nat/Order Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Nat/Order/Properties.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Nat/Order Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Nat/Properties.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Nat Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Num/Implementations.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Num Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/OpenUnion.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Order.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Path.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Recursion/Free.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Recursion Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Rel/Complement.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Rel Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/SortedMap.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/SortedSet.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Stream/Extra.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Stream Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/String/Extra.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/String Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/String/Interpolation.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/String Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/String/Iterator.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/String Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/String/Parser.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/String Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/String/Parser/Expression.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/String/Parser Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/String/Position.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/String Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Telescope.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Telescope/Telescope.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Telescope Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Telescope/Segment.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Telescope Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Telescope/Fun.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Telescope Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Telescope/SimpleFun.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Telescope Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Telescope/Congruence.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Telescope Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Tree/Perfect.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Tree Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Validated.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Vect/Binary.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Vect Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Vect/Properties.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Vect Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Vect/Properties/Tabulate.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Vect/Properties Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Vect/Properties/Index.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Vect/Properties Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Vect/Properties/Foldr.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Vect/Properties Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Vect/Properties/Map.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Vect/Properties Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Vect/Properties/Fin.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Vect/Properties Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Vect/Extra.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Vect Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Vect/Sort.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data/Vect Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Void.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/HVect.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Debug/Buffer.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Debug Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Decidable/Order/Strict.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Decidable/Order Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Decidable/Decidable/Extra.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Decidable/Decidable Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Language/JSON.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Language Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Language/JSON/Data.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Language/JSON Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Language/JSON/Lexer.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Language/JSON Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Language/JSON/Parser.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Language/JSON Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Language/JSON/String.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Language/JSON Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Language/JSON/String/Lexer.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Language/JSON/String Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Language/JSON/String/Parser.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Language/JSON/String Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Language/JSON/String/Tokens.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Language/JSON/String Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Language/JSON/Tokens.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Language/JSON Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Search/Generator.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Search Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Search/HDecidable.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Search Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Search/Negation.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Search Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Search/Properties.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Search Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Syntax/WithProof.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Syntax Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Syntax/PreorderReasoning.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Syntax Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Syntax/PreorderReasoning/Generic.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Syntax/PreorderReasoning Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/System/Console/GetOpt.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/System/Console Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/System/Directory/Tree.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/System/Directory Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/System/Future.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/System Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/System/Random.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/System Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/System/Path.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/System Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Text/Token.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Text Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Text/Quantity.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Text Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Text/Parser.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Text Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Text/Lexer.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Text Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Text/Parser/Core.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Text/Parser Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Text/Lexer/Core.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Text/Lexer Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Text/PrettyPrint Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Doc.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Text/PrettyPrint/Prettyprinter Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Symbols.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Text/PrettyPrint/Prettyprinter Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Util.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Text/PrettyPrint/Prettyprinter Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/SimpleDocTree.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Text/PrettyPrint/Prettyprinter Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Render/HTML.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Text/PrettyPrint/Prettyprinter/Render Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Render/String.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Text/PrettyPrint/Prettyprinter/Render Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Render/Terminal.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/contrib-0.4.0/Text/PrettyPrint/Prettyprinter/Render make[2]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/libs/contrib' make -C libs/network install IDRIS2?=/builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 IDRIS2_PATH="/builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/network/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/test/build/ttc" IDRIS2_PREFIX=/builddir/build/BUILD/Idris2-0.4.0/bootstrap make[2]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/libs/network' /builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 --install network.ipkg Installing /builddir/build/BUILD/Idris2-0.4.0/libs/network/build/ttc/Control/Linear/Network.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/network-0.4.0/Control/Linear Installing /builddir/build/BUILD/Idris2-0.4.0/libs/network/build/ttc/Network/Socket.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/network-0.4.0/Network Installing /builddir/build/BUILD/Idris2-0.4.0/libs/network/build/ttc/Network/Socket/Data.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/network-0.4.0/Network/Socket Installing /builddir/build/BUILD/Idris2-0.4.0/libs/network/build/ttc/Network/Socket/Raw.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/network-0.4.0/Network/Socket Installing /builddir/build/BUILD/Idris2-0.4.0/libs/network/build/ttc/Network/FFI.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/network-0.4.0/Network make[2]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/libs/network' make -C libs/test install IDRIS2?=/builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 IDRIS2_PATH="/builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/network/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/test/build/ttc" IDRIS2_PREFIX=/builddir/build/BUILD/Idris2-0.4.0/bootstrap make[2]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/libs/test' /builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 --install test.ipkg Installing /builddir/build/BUILD/Idris2-0.4.0/libs/test/build/ttc/Test/Golden.ttc to /builddir/build/BUILD/Idris2-0.4.0/bootstrap/idris2-0.4.0/test-0.4.0/Test make[2]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/libs/test' make[1]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0' make[1]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0' make -C libs/prelude clean make[2]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/libs/prelude' rm -f -r build make[2]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/libs/prelude' make -C libs/base clean make[2]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/libs/base' rm -f -r build make[2]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/libs/base' make -C libs/contrib clean make[2]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/libs/contrib' rm -f -r build make[2]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/libs/contrib' make -C libs/network clean make[2]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/libs/network' rm -f -r build make[2]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/libs/network' make -C libs/test clean make[2]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/libs/test' rm -f -r build make[2]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/libs/test' make[1]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0' make[1]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0' make[2]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/support/c' make[2]: Nothing to be done for 'all'. make[2]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/support/c' make[2]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/support/refc' make[2]: Nothing to be done for 'all'. make[2]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/support/refc' make[2]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/support/chez' make[2]: Nothing to be done for 'all'. make[2]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/support/chez' echo '-- @generated' > src/IdrisPaths.idr echo 'module IdrisPaths' >> src/IdrisPaths.idr echo 'export idrisVersion : ((Nat,Nat,Nat), String); idrisVersion = ((0,4,0), "")' >> src/IdrisPaths.idr echo 'export yprefix : String; yprefix="/usr/lib64"' >> src/IdrisPaths.idr /builddir/build/BUILD/Idris2-0.4.0/bootstrap/bin/idris2 --build idris2.ipkg 1/197: Building Libraries.Data.String.Extra (src/Libraries/Data/String/Extra.idr) 2/197: Building Libraries.Text.PrettyPrint.Prettyprinter.Doc (src/Libraries/Text/PrettyPrint/Prettyprinter/Doc.idr) 3/197: Building Libraries.Text.PrettyPrint.Prettyprinter.Symbols (src/Libraries/Text/PrettyPrint/Prettyprinter/Symbols.idr) 4/197: Building Libraries.Text.PrettyPrint.Prettyprinter (src/Libraries/Text/PrettyPrint/Prettyprinter.idr) 5/197: Building Libraries.Text.PrettyPrint.Prettyprinter.Render.String (src/Libraries/Text/PrettyPrint/Prettyprinter/Render/String.idr) 6/197: Building Libraries.Text.PrettyPrint.Prettyprinter.Util (src/Libraries/Text/PrettyPrint/Prettyprinter/Util.idr) 7/197: Building Libraries.Text.Token (src/Libraries/Text/Token.idr) 8/197: Building Libraries.Control.Delayed (src/Libraries/Control/Delayed.idr) 9/197: Building Libraries.Text.Bounded (src/Libraries/Text/Bounded.idr) 10/197: Building Libraries.Text.Lexer.Core (src/Libraries/Text/Lexer/Core.idr) 11/197: Building Libraries.Text.Quantity (src/Libraries/Text/Quantity.idr) 12/197: Building Libraries.Text.Lexer (src/Libraries/Text/Lexer.idr) 13/197: Building Libraries.Text.Parser.Core (src/Libraries/Text/Parser/Core.idr) 14/197: Building Libraries.Text.Parser (src/Libraries/Text/Parser.idr) 15/197: Building Libraries.Utils.Path (src/Libraries/Utils/Path.idr) 16/197: Building Core.Name.Namespace (src/Core/Name/Namespace.idr) 17/197: Building Core.FC (src/Core/FC.idr) 18/197: Building Core.Name (src/Core/Name.idr) 19/197: Building Libraries.Data.NameMap (src/Libraries/Data/NameMap.idr) 20/197: Building Algebra.Semiring (src/Algebra/Semiring.idr) 21/197: Building Algebra.Preorder (src/Algebra/Preorder.idr) 22/197: Building Algebra.ZeroOneOmega (src/Algebra/ZeroOneOmega.idr) 23/197: Building Algebra (src/Algebra.idr) 24/197: Building Core.TT (src/Core/TT.idr) 25/197: Building Core.CompileExpr (src/Core/CompileExpr.idr) 26/197: Building Core.CaseTree (src/Core/CaseTree.idr) 27/197: Building Core.Env (src/Core/Env.idr) 28/197: Building Libraries.Data.IMaybe (src/Libraries/Data/IMaybe.idr) 29/197: Building Core.Core (src/Core/Core.idr) 30/197: Building Libraries.Data.List.Lazy (src/Libraries/Data/List/Lazy.idr) 31/197: Building Libraries.Data.String.Iterator (src/Libraries/Data/String/Iterator.idr) 32/197: Building Core.Hash (src/Core/Hash.idr) 33/197: Building Libraries.Data.StringMap (src/Libraries/Data/StringMap.idr) 34/197: Building Libraries.Data.StringTrie (src/Libraries/Data/StringTrie.idr) 35/197: Building Core.Options.Log (src/Core/Options/Log.idr) 36/197: Building Libraries.Data.PosMap (src/Libraries/Data/PosMap.idr) 37/197: Building Libraries.Utils.String (src/Libraries/Utils/String.idr) 38/197: Building Libraries.Utils.Binary (src/Libraries/Utils/Binary.idr) 39/197: Building Core.Options (src/Core/Options.idr) 40/197: Building Libraries.Data.IntMap (src/Libraries/Data/IntMap.idr) 41/197: Building Libraries.Data.IOMatrix (src/Libraries/Data/IOMatrix.idr) 42/197: Building Libraries.Data.List.Extra (src/Libraries/Data/List/Extra.idr) 43/197: Building Libraries.Text.Distance.Levenshtein (src/Libraries/Text/Distance/Levenshtein.idr) 44/197: Building Core.Context (src/Core/Context.idr) 45/197: Building Compiler.LambdaLift (src/Compiler/LambdaLift.idr) 46/197: Building Compiler.ANF (src/Compiler/ANF.idr) 47/197: Building Core.Context.Log (src/Core/Context/Log.idr) 48/197: Building Core.Value (src/Core/Value.idr) 49/197: Building Core.Primitives (src/Core/Primitives.idr) 50/197: Building Core.Normalise (src/Core/Normalise.idr) 51/197: Building Compiler.CompileExpr (src/Compiler/CompileExpr.idr) 52/197: Building Compiler.CaseOpts (src/Compiler/CaseOpts.idr) 53/197: Building Libraries.Data.LengthMatch (src/Libraries/Data/LengthMatch.idr) 54/197: Building Compiler.Inline (src/Compiler/Inline.idr) 55/197: Building Compiler.VMCode (src/Compiler/VMCode.idr) 56/197: Building Core.Directory (src/Core/Directory.idr) 57/197: Building Core.TTC (src/Core/TTC.idr) 58/197: Building Idris.Env (src/Idris/Env.idr) 59/197: Building Compiler.Common (src/Compiler/Common.idr) 60/197: Building Core.InitPrimitives (src/Core/InitPrimitives.idr) 61/197: Building Core.UnifyState (src/Core/UnifyState.idr) 62/197: Building Core.Binary (src/Core/Binary.idr) 63/197: Building Core.Metadata (src/Core/Metadata.idr) 64/197: Building Core.GetType (src/Core/GetType.idr) 65/197: Building Core.Unify (src/Core/Unify.idr) 66/197: Building IdrisPaths (src/IdrisPaths.idr) 67/197: Building Libraries.Data.Version (src/Libraries/Data/Version.idr) 68/197: Building Idris.Version (src/Idris/Version.idr) 69/197: Building Idris.CommandLine (src/Idris/CommandLine.idr) 70/197: Building Compiler.Scheme.Common (src/Compiler/Scheme/Common.idr) 71/197: Building Libraries.Utils.Hex (src/Libraries/Utils/Hex.idr) 72/197: Building Compiler.Scheme.Chez (src/Compiler/Scheme/Chez.idr) 73/197: Building Compiler.Scheme.Racket (src/Compiler/Scheme/Racket.idr) 74/197: Building Compiler.Scheme.Gambit (src/Compiler/Scheme/Gambit.idr) 75/197: Building Core.AutoSearch (src/Core/AutoSearch.idr) 76/197: Building Libraries.Data.ANameMap (src/Libraries/Data/ANameMap.idr) 77/197: Building Libraries.Control.ANSI.SGR (src/Libraries/Control/ANSI/SGR.idr) 78/197: Building Parser.Lexer.Common (src/Parser/Lexer/Common.idr) 79/197: Building Libraries.Text.Lexer.Tokenizer (src/Libraries/Text/Lexer/Tokenizer.idr) 80/197: Building Libraries.Utils.Octal (src/Libraries/Utils/Octal.idr) 81/197: Building Parser.Lexer.Source (src/Parser/Lexer/Source.idr) 82/197: Building TTImp.TTImp (src/TTImp/TTImp.idr) 83/197: Building Idris.Syntax (src/Idris/Syntax.idr) 84/197: Building Libraries.Text.Literate (src/Libraries/Text/Literate.idr) 85/197: Building Parser.Unlit (src/Parser/Unlit.idr) 86/197: Building Core.LinearCheck (src/Core/LinearCheck.idr) 87/197: Building TTImp.Elab.Check (src/TTImp/Elab/Check.idr) 88/197: Building TTImp.Elab.Delayed (src/TTImp/Elab/Delayed.idr) 89/197: Building Core.Reflect (src/Core/Reflect.idr) 90/197: Building TTImp.Elab.Ambiguity (src/TTImp/Elab/Ambiguity.idr) 91/197: Building TTImp.Elab.ImplicitBind (src/TTImp/Elab/ImplicitBind.idr) 92/197: Building TTImp.Elab.Dot (src/TTImp/Elab/Dot.idr) 93/197: Building TTImp.Elab.App (src/TTImp/Elab/App.idr) 94/197: Building TTImp.Elab.As (src/TTImp/Elab/As.idr) 95/197: Building TTImp.Elab.Binders (src/TTImp/Elab/Binders.idr) 96/197: Building TTImp.Elab.Utils (src/TTImp/Elab/Utils.idr) 97/197: Building TTImp.Utils (src/TTImp/Utils.idr) 98/197: Building TTImp.Elab.Case (src/TTImp/Elab/Case.idr) 99/197: Building TTImp.Elab.Hole (src/TTImp/Elab/Hole.idr) 100/197: Building TTImp.Elab.Lazy (src/TTImp/Elab/Lazy.idr) 101/197: Building TTImp.Elab.Local (src/TTImp/Elab/Local.idr) 102/197: Building TTImp.Elab.Prim (src/TTImp/Elab/Prim.idr) 103/197: Building TTImp.Reflect (src/TTImp/Reflect.idr) 104/197: Building TTImp.Elab.Quote (src/TTImp/Elab/Quote.idr) 105/197: Building TTImp.Elab.Record (src/TTImp/Elab/Record.idr) 106/197: Building TTImp.Elab.Rewrite (src/TTImp/Elab/Rewrite.idr) 107/197: Building TTImp.Unelab (src/TTImp/Unelab.idr) 108/197: Building TTImp.Elab.RunElab (src/TTImp/Elab/RunElab.idr) 109/197: Building TTImp.Elab.Term (src/TTImp/Elab/Term.idr) 110/197: Building TTImp.Elab (src/TTImp/Elab.idr) 111/197: Building Core.CaseBuilder (src/Core/CaseBuilder.idr) 112/197: Building Core.Coverage (src/Core/Coverage.idr) 113/197: Building Libraries.Data.SortedMap (src/Libraries/Data/SortedMap.idr) 114/197: Building Core.Termination (src/Core/Termination.idr) 115/197: Building Core.Transform (src/Core/Transform.idr) 116/197: Building TTImp.BindImplicits (src/TTImp/BindImplicits.idr) 117/197: Building TTImp.Impossible (src/TTImp/Impossible.idr) 118/197: Building TTImp.PartialEval (src/TTImp/PartialEval.idr) 119/197: Building TTImp.WithClause (src/TTImp/WithClause.idr) 120/197: Building TTImp.ProcessDef (src/TTImp/ProcessDef.idr) 121/197: Building Parser.Support (src/Parser/Support.idr) 122/197: Building Parser.Rule.Source (src/Parser/Rule/Source.idr) 123/197: Building Parser.Source (src/Parser/Source.idr) 124/197: Building TTImp.Parser (src/TTImp/Parser.idr) 125/197: Building Libraries.Data.Fin (src/Libraries/Data/Fin.idr) 126/197: Building TTImp.ProcessBuiltin (src/TTImp/ProcessBuiltin.idr) 127/197: Building Core.Context.Data (src/Core/Context/Data.idr) 128/197: Building TTImp.ProcessData (src/TTImp/ProcessData.idr) 129/197: Building TTImp.ProcessParams (src/TTImp/ProcessParams.idr) 130/197: Building TTImp.ProcessRecord (src/TTImp/ProcessRecord.idr) 131/197: Building TTImp.ProcessRunElab (src/TTImp/ProcessRunElab.idr) 132/197: Building TTImp.ProcessTransform (src/TTImp/ProcessTransform.idr) 133/197: Building TTImp.ProcessType (src/TTImp/ProcessType.idr) 134/197: Building TTImp.ProcessDecls (src/TTImp/ProcessDecls.idr) 135/197: Building TTImp.Interactive.CaseSplit (src/TTImp/Interactive/CaseSplit.idr) 136/197: Building TTImp.Interactive.ExprSearch (src/TTImp/Interactive/ExprSearch.idr) 137/197: Building Idris.REPL.Opts (src/Idris/REPL/Opts.idr) 138/197: Building Libraries.Control.ANSI.CSI (src/Libraries/Control/ANSI/CSI.idr) 139/197: Building Libraries.Control.ANSI (src/Libraries/Control/ANSI.idr) 140/197: Building Libraries.Text.PrettyPrint.Prettyprinter.Render.Terminal (src/Libraries/Text/PrettyPrint/Prettyprinter/Render/Terminal.idr) 141/197: Building Libraries.Utils.Term (src/Libraries/Utils/Term.idr) 142/197: Building Idris.Pretty.Render (src/Idris/Pretty/Render.idr) 143/197: Building Idris.Pretty (src/Idris/Pretty.idr) 144/197: Building Idris.Resugar (src/Idris/Resugar.idr) 145/197: Building Idris.Doc.String (src/Idris/Doc/String.idr) 146/197: Building Idris.Elab.Implementation (src/Idris/Elab/Implementation.idr) 147/197: Building Idris.Elab.Interface (src/Idris/Elab/Interface.idr) 148/197: Building Idris.Desugar.Mutual (src/Idris/Desugar/Mutual.idr) 149/197: Building Libraries.Utils.Shunting (src/Libraries/Utils/Shunting.idr) 150/197: Building Idris.Desugar (src/Idris/Desugar.idr) 151/197: Building Libraries.Data.List1 (src/Libraries/Data/List1.idr) 152/197: Building Idris.Error (src/Idris/Error.idr) 153/197: Building Idris.Parser.Let (src/Idris/Parser/Let.idr) 154/197: Building Idris.Parser (src/Idris/Parser.idr) 155/197: Building Idris.IDEMode.Commands (src/Idris/IDEMode/Commands.idr) 156/197: Building Idris.IDEMode.Holes (src/Idris/IDEMode/Holes.idr) 157/197: Building Idris.REPL.Common (src/Idris/REPL/Common.idr) 158/197: Building Idris.ProcessIdr (src/Idris/ProcessIdr.idr) 159/197: Building Idris.ModTree (src/Idris/ModTree.idr) 160/197: Building Parser.Lexer.Package (src/Parser/Lexer/Package.idr) 161/197: Building Parser.Rule.Package (src/Parser/Rule/Package.idr) 162/197: Building Parser.Package (src/Parser/Package.idr) 163/197: Building Libraries.Text.PrettyPrint.Prettyprinter.Render.HTML (src/Libraries/Text/PrettyPrint/Prettyprinter/Render/HTML.idr) 164/197: Building Libraries.Text.PrettyPrint.Prettyprinter.SimpleDocTree (src/Libraries/Text/PrettyPrint/Prettyprinter/SimpleDocTree.idr) 165/197: Building Idris.Package.Types (src/Idris/Package/Types.idr) 166/197: Building Idris.Doc.HTML (src/Idris/Doc/HTML.idr) 167/197: Building Libraries.Data.SortedSet (src/Libraries/Data/SortedSet.idr) 168/197: Building Libraries.Data.Graph (src/Libraries/Data/Graph.idr) 169/197: Building Compiler.Separate (src/Compiler/Separate.idr) 170/197: Building Compiler.Scheme.ChezSep (src/Compiler/Scheme/ChezSep.idr) 171/197: Building Compiler.ES.ImperativeAst (src/Compiler/ES/ImperativeAst.idr) 172/197: Building Compiler.ES.TailRec (src/Compiler/ES/TailRec.idr) 173/197: Building Compiler.ES.Imperative (src/Compiler/ES/Imperative.idr) 174/197: Building Compiler.ES.ES (src/Compiler/ES/ES.idr) 175/197: Building Compiler.ES.Node (src/Compiler/ES/Node.idr) 176/197: Building Compiler.ES.Javascript (src/Compiler/ES/Javascript.idr) 177/197: Building Compiler.RefC.CC (src/Compiler/RefC/CC.idr) 178/197: Building Libraries.Data.DList (src/Libraries/Data/DList.idr) 179/197: Building Compiler.RefC.RefC (src/Compiler/RefC/RefC.idr) 180/197: Building Idris.IDEMode.TokenLine (src/Idris/IDEMode/TokenLine.idr) 181/197: Building Idris.IDEMode.CaseSplit (src/Idris/IDEMode/CaseSplit.idr) 182/197: Building Idris.IDEMode.MakeClause (src/Idris/IDEMode/MakeClause.idr) 183/197: Building Libraries.System.Directory.Tree (src/Libraries/System/Directory/Tree.idr) 184/197: Building Idris.REPL.FuzzySearch (src/Idris/REPL/FuzzySearch.idr) 185/197: Building TTImp.Interactive.GenerateDef (src/TTImp/Interactive/GenerateDef.idr) 186/197: Building TTImp.Interactive.MakeLemma (src/TTImp/Interactive/MakeLemma.idr) 187/197: Building Idris.REPL (src/Idris/REPL.idr) 188/197: Building Idris.SetOptions (src/Idris/SetOptions.idr) 189/197: Building Idris.Package.Init (src/Idris/Package/Init.idr) 190/197: Building Idris.Package (src/Idris/Package.idr) 191/197: Building Idris.IDEMode.Parser (src/Idris/IDEMode/Parser.idr) 192/197: Building Idris.IDEMode.SyntaxHighlight (src/Idris/IDEMode/SyntaxHighlight.idr) 193/197: Building Idris.IDEMode.REPL (src/Idris/IDEMode/REPL.idr) 194/197: Building Yaffle.REPL (src/Yaffle/REPL.idr) 195/197: Building Yaffle.Main (src/Yaffle/Main.idr) 196/197: Building Idris.Driver (src/Idris/Driver.idr) 197/197: Building Idris.Main (src/Idris/Main.idr) make -C libs/prelude IDRIS2=/builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 IDRIS2_PATH="/builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/network/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/test/build/ttc" make[2]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/libs/prelude' /builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 --build prelude.ipkg 1/13: Building Builtin (Builtin.idr) 2/13: Building PrimIO (PrimIO.idr) 3/13: Building Prelude.Ops (Prelude/Ops.idr) 4/13: Building Prelude.Basics (Prelude/Basics.idr) 5/13: Building Prelude.EqOrd (Prelude/EqOrd.idr) 6/13: Building Prelude.Num (Prelude/Num.idr) 7/13: Building Prelude.Interfaces (Prelude/Interfaces.idr) 8/13: Building Prelude.Uninhabited (Prelude/Uninhabited.idr) 9/13: Building Prelude.Types (Prelude/Types.idr) 10/13: Building Prelude.Cast (Prelude/Cast.idr) 11/13: Building Prelude.Show (Prelude/Show.idr) 12/13: Building Prelude.IO (Prelude/IO.idr) 13/13: Building Prelude (Prelude.idr) make[2]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/libs/prelude' make -C libs/base IDRIS2=/builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 IDRIS2_PATH="/builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/network/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/test/build/ttc" make[2]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/libs/base' /builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 --build base.ipkg 1/81: Building Data.Fuel (Data/Fuel.idr) 2/81: Building Data.Nat (Data/Nat.idr) 3/81: Building Data.Zippable (Data/Zippable.idr) 4/81: Building Data.List1 (Data/List1.idr) 5/81: Building Data.Maybe (Data/Maybe.idr) 6/81: Building Decidable.Equality.Core (Decidable/Equality/Core.idr) 7/81: Building Data.Fin (Data/Fin.idr) 8/81: Building Data.List (Data/List.idr) 9/81: Building Data.Either (Data/Either.idr) 10/81: Building Decidable.Equality (Decidable/Equality.idr) 11/81: Building Data.List.Elem (Data/List/Elem.idr) 12/81: Building System.Signal (System/Signal.idr) 13/81: Building Data.String (Data/String.idr) 14/81: Building Data.Strings (Data/Strings.idr) 15/81: Building System.Info (System/Info.idr) 16/81: Building System.File (System/File.idr) 17/81: Building System.REPL (System/REPL.idr) 18/81: Building System.FFI (System/FFI.idr) 19/81: Building System.Concurrency (System/Concurrency.idr) 20/81: Building System.Clock (System/Clock.idr) 21/81: Building Data.Bool (Data/Bool.idr) 22/81: Building Data.So (Data/So.idr) 23/81: Building System (System.idr) 24/81: Building Language.Reflection.TT (Language/Reflection/TT.idr) 25/81: Building Language.Reflection.TTImp (Language/Reflection/TTImp.idr) 26/81: Building Language.Reflection (Language/Reflection.idr) 27/81: Building Debug.Trace (Debug/Trace.idr) 28/81: Building Data.DPair (Data/DPair.idr) 29/81: Building Data.Vect (Data/Vect.idr) 30/81: Building Data.Vect.Quantifiers (Data/Vect/Quantifiers.idr) 31/81: Building Data.Vect.Elem (Data/Vect/Elem.idr) 32/81: Building Data.These (Data/These.idr) 33/81: Building Data.Stream (Data/Stream.idr) 34/81: Building Data.IORef (Data/IORef.idr) 35/81: Building Control.Monad.ST (Control/Monad/ST.idr) 36/81: Building Data.Ref (Data/Ref.idr) 37/81: Building Data.Primitives.Views (Data/Primitives/Views.idr) 38/81: Building Data.Contravariant (Data/Contravariant.idr) 39/81: Building Data.Morphisms (Data/Morphisms.idr) 40/81: Building Data.List.Quantifiers (Data/List/Quantifiers.idr) 41/81: Building Control.WellFounded (Control/WellFounded.idr) 42/81: Building Data.Nat.Views (Data/Nat/Views.idr) 43/81: Building Data.List.Views (Data/List/Views.idr) 44/81: Building Data.SnocList (Data/SnocList.idr) 45/81: Building Data.IOArray.Prims (Data/IOArray/Prims.idr) 46/81: Building Data.IOArray (Data/IOArray.idr) 47/81: Building Data.Fun (Data/Fun.idr) 48/81: Building Data.Rel (Data/Rel.idr) 49/81: Building Decidable.Decidable (Decidable/Decidable.idr) 50/81: Building Decidable.Order (Decidable/Order.idr) 51/81: Building Data.Nat.Order (Data/Nat/Order.idr) 52/81: Building Data.Fin.Order (Data/Fin/Order.idr) 53/81: Building Data.Colist (Data/Colist.idr) 54/81: Building Data.Colist1 (Data/Colist1.idr) 55/81: Building System.Directory (System/Directory.idr) 56/81: Building Data.Buffer (Data/Buffer.idr) 57/81: Building Data.Bool.Xor (Data/Bool/Xor.idr) 58/81: Building Data.Bifoldable (Data/Bifoldable.idr) 59/81: Building Control.Monad.Trans (Control/Monad/Trans.idr) 60/81: Building Control.Monad.Maybe (Control/Monad/Maybe.idr) 61/81: Building Control.Monad.Error.Either (Control/Monad/Error/Either.idr) 62/81: Building Data.Bits (Data/Bits.idr) 63/81: Building Control.Monad.Identity (Control/Monad/Identity.idr) 64/81: Building Control.Monad.Reader.Reader (Control/Monad/Reader/Reader.idr) 65/81: Building Control.Monad.State.State (Control/Monad/State/State.idr) 66/81: Building Control.Monad.RWS.CPS (Control/Monad/RWS/CPS.idr) 67/81: Building Control.Monad.Writer.CPS (Control/Monad/Writer/CPS.idr) 68/81: Building Control.Monad.Writer.Interface (Control/Monad/Writer/Interface.idr) 69/81: Building Control.Monad.Writer (Control/Monad/Writer.idr) 70/81: Building Control.Monad.State.Interface (Control/Monad/State/Interface.idr) 71/81: Building Control.Monad.State (Control/Monad/State.idr) 72/81: Building Control.Monad.Reader.Interface (Control/Monad/Reader/Interface.idr) 73/81: Building Control.Monad.Reader (Control/Monad/Reader.idr) 74/81: Building Control.Monad.RWS.Interface (Control/Monad/RWS/Interface.idr) 75/81: Building Control.Monad.RWS (Control/Monad/RWS.idr) 76/81: Building Control.Monad.Error.Interface (Control/Monad/Error/Interface.idr) 77/81: Building Control.Monad.Either (Control/Monad/Either.idr) 78/81: Building Control.Applicative.Const (Control/Applicative/Const.idr) 79/81: Building Control.App (Control/App.idr) 80/81: Building Control.App.FileIO (Control/App/FileIO.idr) 81/81: Building Control.App.Console (Control/App/Console.idr) make[2]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/libs/base' make -C libs/contrib IDRIS2=/builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 IDRIS2_PATH="/builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/network/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/test/build/ttc" make[2]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/libs/contrib' /builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 --build contrib.ipkg 1/122: Building Control.ANSI.CSI (Control/ANSI/CSI.idr) 2/122: Building Control.ANSI.SGR (Control/ANSI/SGR.idr) 3/122: Building Control.ANSI (Control/ANSI.idr) 4/122: Building Data.String.Extra (Data/String/Extra.idr) 5/122: Building Text.PrettyPrint.Prettyprinter.Doc (Text/PrettyPrint/Prettyprinter/Doc.idr) 6/122: Building Text.PrettyPrint.Prettyprinter.Render.Terminal (Text/PrettyPrint/Prettyprinter/Render/Terminal.idr) 7/122: Building Text.PrettyPrint.Prettyprinter.Render.HTML (Text/PrettyPrint/Prettyprinter/Render/HTML.idr) 8/122: Building Control.Delayed (Control/Delayed.idr) 9/122: Building Text.Parser.Core (Text/Parser/Core.idr) 10/122: Building Text.Quantity (Text/Quantity.idr) 11/122: Building Text.Token (Text/Token.idr) 12/122: Building Text.Parser (Text/Parser.idr) 13/122: Building Text.PrettyPrint.Prettyprinter.SimpleDocTree (Text/PrettyPrint/Prettyprinter/SimpleDocTree.idr) 14/122: Building Text.PrettyPrint.Prettyprinter.Render.String (Text/PrettyPrint/Prettyprinter/Render/String.idr) 15/122: Building Text.PrettyPrint.Prettyprinter.Util (Text/PrettyPrint/Prettyprinter/Util.idr) 16/122: Building Text.PrettyPrint.Prettyprinter.Symbols (Text/PrettyPrint/Prettyprinter/Symbols.idr) 17/122: Building Text.PrettyPrint.Prettyprinter (Text/PrettyPrint/Prettyprinter.idr) 18/122: Building System.Random (System/Random.idr) 19/122: Building System.Future (System/Future.idr) 20/122: Building Text.Lexer.Core (Text/Lexer/Core.idr) 21/122: Building Text.Lexer (Text/Lexer.idr) 22/122: Building System.Path (System/Path.idr) 23/122: Building System.Directory.Tree (System/Directory/Tree.idr) 24/122: Building System.Console.GetOpt (System/Console/GetOpt.idr) 25/122: Building Data.List.Lazy (Data/List/Lazy.idr) 26/122: Building Data.List.Lazy.Quantifiers (Data/List/Lazy/Quantifiers.idr) 27/122: Building Search.Negation (Search/Negation.idr) 28/122: Building Search.HDecidable (Search/HDecidable.idr) 29/122: Building Search.Generator (Search/Generator.idr) 30/122: Building Search.Properties (Search/Properties.idr) 31/122: Building Language.JSON.String.Tokens (Language/JSON/String/Tokens.idr) 32/122: Building Language.JSON.String.Lexer (Language/JSON/String/Lexer.idr) 33/122: Building Language.JSON.String.Parser (Language/JSON/String/Parser.idr) 34/122: Building Language.JSON.String (Language/JSON/String.idr) 35/122: Building Language.JSON.Tokens (Language/JSON/Tokens.idr) 36/122: Building Language.JSON.Lexer (Language/JSON/Lexer.idr) 37/122: Building Language.JSON.Data (Language/JSON/Data.idr) 38/122: Building Language.JSON.Parser (Language/JSON/Parser.idr) 39/122: Building Language.JSON (Language/JSON.idr) 40/122: Building Data.HVect (Data/HVect.idr) 41/122: Building Data.Fun.Extra (Data/Fun/Extra.idr) 42/122: Building Data.Rel.Complement (Data/Rel/Complement.idr) 43/122: Building Decidable.Decidable.Extra (Decidable/Decidable/Extra.idr) 44/122: Building Debug.Buffer (Debug/Buffer.idr) 45/122: Building Data.Vect.Sort (Data/Vect/Sort.idr) 46/122: Building Data.Vect.Properties.Tabulate (Data/Vect/Properties/Tabulate.idr) 47/122: Building Syntax.PreorderReasoning (Syntax/PreorderReasoning.idr) 48/122: Building Data.Vect.Properties.Index (Data/Vect/Properties/Index.idr) 49/122: Building Syntax.PreorderReasoning.Generic (Syntax/PreorderReasoning/Generic.idr) 50/122: Building Data.Vect.Properties.Foldr (Data/Vect/Properties/Foldr.idr) 51/122: Building Data.Vect.Extra (Data/Vect/Extra.idr) 52/122: Building Data.Vect.Properties.Map (Data/Vect/Properties/Map.idr) 53/122: Building Data.Vect.Properties.Fin (Data/Vect/Properties/Fin.idr) 54/122: Building Data.Vect.Properties (Data/Vect/Properties.idr) 55/122: Building Data.Binary.Digit (Data/Binary/Digit.idr) 56/122: Building Data.Nat.Properties (Data/Nat/Properties.idr) 57/122: Building Data.Binary (Data/Binary.idr) 58/122: Building Data.IMaybe (Data/IMaybe.idr) 59/122: Building Control.Algebra (Control/Algebra.idr) 60/122: Building Data.Monoid.Exponentiation (Data/Monoid/Exponentiation.idr) 61/122: Building Data.Num.Implementations (Data/Num/Implementations.idr) 62/122: Building Data.Nat.Exponentiation (Data/Nat/Exponentiation.idr) 63/122: Building Decidable.Order.Strict (Decidable/Order/Strict.idr) 64/122: Building Data.Nat.Order.Strict (Data/Nat/Order/Strict.idr) 65/122: Building Data.Void (Data/Void.idr) 66/122: Building Data.Bool.Decidable (Data/Bool/Decidable.idr) 67/122: Building Data.Nat.Order.Properties (Data/Nat/Order/Properties.idr) 68/122: Building Syntax.WithProof (Syntax/WithProof.idr) 69/122: Building Data.Tree.Perfect (Data/Tree/Perfect.idr) 70/122: Building Data.Vect.Binary (Data/Vect/Binary.idr) 71/122: Building Data.Validated (Data/Validated.idr) 72/122: Building Data.Telescope.Telescope (Data/Telescope/Telescope.idr) 73/122: Building Data.Telescope.Segment (Data/Telescope/Segment.idr) 74/122: Building Data.Telescope.SimpleFun (Data/Telescope/SimpleFun.idr) 75/122: Building Data.Telescope.Fun (Data/Telescope/Fun.idr) 76/122: Building Data.Telescope.Congruence (Data/Telescope/Congruence.idr) 77/122: Building Data.Telescope (Data/Telescope.idr) 78/122: Building Data.String.Position (Data/String/Position.idr) 79/122: Building Data.String.Parser (Data/String/Parser.idr) 80/122: Building Data.String.Parser.Expression (Data/String/Parser/Expression.idr) 81/122: Building Data.String.Iterator (Data/String/Iterator.idr) 82/122: Building Data.String.Interpolation (Data/String/Interpolation.idr) 83/122: Building Data.Stream.Extra (Data/Stream/Extra.idr) 84/122: Building Data.SortedMap (Data/SortedMap.idr) 85/122: Building Data.SortedSet (Data/SortedSet.idr) 86/122: Building Data.Late (Data/Late.idr) 87/122: Building Data.InductionRecursion.DybjerSetzer (Data/InductionRecursion/DybjerSetzer.idr) 88/122: Building Data.Recursion.Free (Data/Recursion/Free.idr) 89/122: Building Data.Path (Data/Path.idr) 90/122: Building Data.List.HasLength (Data/List/HasLength.idr) 91/122: Building Data.List.AtIndex (Data/List/AtIndex.idr) 92/122: Building Data.OpenUnion (Data/OpenUnion.idr) 93/122: Building Data.Nat.Fib (Data/Nat/Fib.idr) 94/122: Building Data.Fin.Extra (Data/Fin/Extra.idr) 95/122: Building Data.Nat.Equational (Data/Nat/Equational.idr) 96/122: Building Data.Nat.Factor (Data/Nat/Factor.idr) 97/122: Building Data.Nat.Fact (Data/Nat/Fact.idr) 98/122: Building Data.Nat.Division (Data/Nat/Division.idr) 99/122: Building Data.Nat.Ack (Data/Nat/Ack.idr) 100/122: Building Data.Nat.Algebra (Data/Nat/Algebra.idr) 101/122: Building Data.Morphisms.Algebra (Data/Morphisms/Algebra.idr) 102/122: Building Data.Logic.Propositional (Data/Logic/Propositional.idr) 103/122: Building Data.List.Elem.Extra (Data/List/Elem/Extra.idr) 104/122: Building Data.List.Equalities (Data/List/Equalities.idr) 105/122: Building Data.List.Reverse (Data/List/Reverse.idr) 106/122: Building Data.List.Views.Extra (Data/List/Views/Extra.idr) 107/122: Building Data.List.Palindrome (Data/List/Palindrome.idr) 108/122: Building Data.List.TailRec (Data/List/TailRec.idr) 109/122: Building Data.List.Algebra (Data/List/Algebra.idr) 110/122: Building Data.Linear.Array (Data/Linear/Array.idr) 111/122: Building Data.Order (Data/Order.idr) 112/122: Building Data.Int.Order (Data/Int/Order.idr) 113/122: Building Data.Fun.Graph (Data/Fun/Graph.idr) 114/122: Building Data.Container (Data/Container.idr) 115/122: Building Data.Bool.Algebra (Data/Bool/Algebra.idr) 116/122: Building Control.Validation (Control/Validation.idr) 117/122: Building Control.Category (Control/Category.idr) 118/122: Building Control.Arrow (Control/Arrow.idr) 119/122: Building Control.Algebra.Implementations (Control/Algebra/Implementations.idr) 120/122: Building Control.Algebra.Laws (Control/Algebra/Laws.idr) 121/122: Building Control.Monad.Algebra (Control/Monad/Algebra.idr) 122/122: Building Control.Linear.LIO (Control/Linear/LIO.idr) make[2]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/libs/contrib' make -C libs/network IDRIS2=/builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 IDRIS2_PATH="/builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/network/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/test/build/ttc" make[2]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/libs/network' /builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 --build network.ipkg 1/5: Building Network.Socket.Data (Network/Socket/Data.idr) 2/5: Building Network.FFI (Network/FFI.idr) 3/5: Building Network.Socket.Raw (Network/Socket/Raw.idr) 4/5: Building Network.Socket (Network/Socket.idr) 5/5: Building Control.Linear.Network (Control/Linear/Network.idr) make[2]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/libs/network' make -C libs/test IDRIS2=/builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 IDRIS2_PATH="/builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/network/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/test/build/ttc" make[2]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/libs/test' /builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 --build test.ipkg 1/1: Building Test.Golden (Test/Golden.idr) make[2]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/libs/test' make[1]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0' + RPM_EC=0 ++ jobs -p + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.c7gND1 + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64 ++ dirname /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64 + cd Idris2-0.4.0 + export PATH=/builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/bin:/builddir/.local/bin:/builddir/bin:/usr/bin:/bin:/usr/sbin:/sbin:/usr/local/sbin + PATH=/builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/bin:/builddir/.local/bin:/builddir/bin:/usr/bin:/bin:/usr/sbin:/sbin:/usr/local/sbin + make install-idris2 install-support DESTDIR=/builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64 PREFIX=/usr/lib64 mkdir -p /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/bin/ install /builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/bin mkdir -p /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/lib/ install support/c/libidris2_support.so /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/lib mkdir -p /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/bin/idris2_app install /builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2_app/* /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/bin/idris2_app mkdir -p /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/support/docs mkdir -p /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/support/racket mkdir -p /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/support/gambit mkdir -p /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/support/js install support/docs/* /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/support/docs install support/racket/* /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/support/racket install support/gambit/* /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/support/gambit install support/js/* /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/support/js make[1]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/support/c' mkdir -p /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/lib mkdir -p /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/include install -m 755 libidris2_support.so /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/lib install -m 644 libidris2_support.a /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/lib install -m 644 *.h /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/include make[1]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/support/c' make[1]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/support/refc' mkdir -p /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/refc install libidris2_refc.a *.h /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/refc make[1]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/support/refc' make[1]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/support/chez' mkdir -p /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/support/chez install *.ss /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/support/chez make[1]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/support/chez' + make install-with-src-libs DESTDIR=/builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64 PREFIX=/usr/lib64 make -C libs/prelude install-with-src IDRIS2?=/builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 IDRIS2_PATH="/builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/network/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/test/build/ttc" IDRIS2_PREFIX=/builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64 make[1]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/libs/prelude' /builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 --install-with-src prelude.ipkg Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc/Builtin.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/prelude-0.4.0 Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc/PrimIO.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/prelude-0.4.0 Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc/Prelude.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/prelude-0.4.0 Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc/Prelude/Basics.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/prelude-0.4.0/Prelude Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc/Prelude/Cast.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/prelude-0.4.0/Prelude Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc/Prelude/EqOrd.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/prelude-0.4.0/Prelude Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc/Prelude/Interfaces.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/prelude-0.4.0/Prelude Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc/Prelude/IO.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/prelude-0.4.0/Prelude Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc/Prelude/Num.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/prelude-0.4.0/Prelude Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc/Prelude/Ops.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/prelude-0.4.0/Prelude Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc/Prelude/Show.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/prelude-0.4.0/Prelude Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc/Prelude/Types.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/prelude-0.4.0/Prelude Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc/Prelude/Uninhabited.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/prelude-0.4.0/Prelude Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/Builtin.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/prelude-0.4.0 Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/PrimIO.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/prelude-0.4.0 Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/Prelude.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/prelude-0.4.0 Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/Prelude/Basics.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/prelude-0.4.0/Prelude Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/Prelude/Cast.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/prelude-0.4.0/Prelude Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/Prelude/EqOrd.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/prelude-0.4.0/Prelude Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/Prelude/Interfaces.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/prelude-0.4.0/Prelude Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/Prelude/IO.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/prelude-0.4.0/Prelude Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/Prelude/Num.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/prelude-0.4.0/Prelude Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/Prelude/Ops.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/prelude-0.4.0/Prelude Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/Prelude/Show.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/prelude-0.4.0/Prelude Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/Prelude/Types.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/prelude-0.4.0/Prelude Installing /builddir/build/BUILD/Idris2-0.4.0/libs/prelude/Prelude/Uninhabited.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/prelude-0.4.0/Prelude make[1]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/libs/prelude' make -C libs/base install-with-src IDRIS2?=/builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 IDRIS2_PATH="/builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/network/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/test/build/ttc" IDRIS2_PREFIX=/builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64 make[1]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/libs/base' /builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 --install-with-src base.ipkg Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/App.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/App/Console.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/App Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/App/FileIO.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/App Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Applicative/Const.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Applicative Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/Either.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/Error/Either.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad/Error Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/Error/Interface.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad/Error Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/Identity.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/Maybe.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/RWS.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/RWS/CPS.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad/RWS Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/RWS/Interface.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad/RWS Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/Reader.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/Reader/Interface.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad/Reader Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/Reader/Reader.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad/Reader Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/ST.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/State.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/State/Interface.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad/State Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/State/State.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad/State Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/Trans.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/Writer.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/Writer/CPS.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad/Writer Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/Monad/Writer/Interface.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad/Writer Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Control/WellFounded.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Bifoldable.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Bits.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Bool.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Bool/Xor.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data/Bool Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Buffer.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Colist.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Colist1.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Contravariant.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/DPair.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Either.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Fin.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Fin/Order.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data/Fin Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Fuel.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Fun.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/IOArray.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/IOArray/Prims.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data/IOArray Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/IORef.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/List.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/SnocList.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/List/Elem.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data/List Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/List/Views.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data/List Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/List/Quantifiers.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data/List Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/List1.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Maybe.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Morphisms.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Nat.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Nat/Order.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data/Nat Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Nat/Views.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data/Nat Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Primitives/Views.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data/Primitives Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Ref.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Rel.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/So.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Stream.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/String.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Strings.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/These.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Vect.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Vect/Elem.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data/Vect Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Vect/Quantifiers.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data/Vect Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Data/Zippable.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Debug/Trace.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Debug Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Decidable/Decidable.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Decidable Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Decidable/Equality.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Decidable Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Decidable/Equality/Core.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Decidable/Equality Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Decidable/Order.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Decidable Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Language/Reflection.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Language Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Language/Reflection/TT.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Language/Reflection Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/Language/Reflection/TTImp.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Language/Reflection Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/System.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0 Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/System/Clock.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/System Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/System/Concurrency.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/System Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/System/Directory.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/System Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/System/FFI.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/System Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/System/File.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/System Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/System/Info.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/System Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/System/REPL.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/System Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc/System/Signal.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/System Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Control/App.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Control/App/Console.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/App Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Control/App/FileIO.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/App Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Control/Applicative/Const.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Applicative Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Control/Monad/Either.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Control/Monad/Error/Either.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad/Error Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Control/Monad/Error/Interface.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad/Error Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Control/Monad/Identity.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Control/Monad/Maybe.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Control/Monad/RWS.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Control/Monad/RWS/CPS.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad/RWS Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Control/Monad/RWS/Interface.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad/RWS Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Control/Monad/Reader.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Control/Monad/Reader/Interface.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad/Reader Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Control/Monad/Reader/Reader.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad/Reader Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Control/Monad/ST.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Control/Monad/State.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Control/Monad/State/Interface.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad/State Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Control/Monad/State/State.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad/State Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Control/Monad/Trans.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Control/Monad/Writer.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Control/Monad/Writer/CPS.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad/Writer Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Control/Monad/Writer/Interface.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control/Monad/Writer Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Control/WellFounded.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Control Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/Bifoldable.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/Bits.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/Bool.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/Bool/Xor.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data/Bool Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/Buffer.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/Colist.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/Colist1.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/Contravariant.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/DPair.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/Either.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/Fin.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/Fin/Order.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data/Fin Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/Fuel.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/Fun.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/IOArray.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/IOArray/Prims.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data/IOArray Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/IORef.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/List.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/SnocList.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/List/Elem.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data/List Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/List/Views.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data/List Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/List/Quantifiers.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data/List Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/List1.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/Maybe.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/Morphisms.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/Nat.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/Nat/Order.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data/Nat Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/Nat/Views.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data/Nat Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/Primitives/Views.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data/Primitives Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/Ref.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/Rel.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/So.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/Stream.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/String.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/Strings.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/These.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/Vect.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/Vect/Elem.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data/Vect Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/Vect/Quantifiers.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data/Vect Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Data/Zippable.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Debug/Trace.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Debug Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Decidable/Decidable.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Decidable Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Decidable/Equality.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Decidable Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Decidable/Equality/Core.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Decidable/Equality Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Decidable/Order.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Decidable Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Language/Reflection.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Language Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Language/Reflection/TT.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Language/Reflection Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/Language/Reflection/TTImp.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/Language/Reflection Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/System.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0 Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/System/Clock.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/System Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/System/Concurrency.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/System Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/System/Directory.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/System Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/System/FFI.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/System Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/System/File.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/System Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/System/Info.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/System Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/System/REPL.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/System Installing /builddir/build/BUILD/Idris2-0.4.0/libs/base/System/Signal.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/base-0.4.0/System make[1]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/libs/base' make -C libs/contrib install-with-src IDRIS2?=/builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 IDRIS2_PATH="/builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/network/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/test/build/ttc" IDRIS2_PREFIX=/builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64 make[1]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/libs/contrib' /builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 --install-with-src contrib.ipkg Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Control/ANSI.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Control Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Control/ANSI/SGR.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Control/ANSI Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Control/ANSI/CSI.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Control/ANSI Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Control/Delayed.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Control Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Control/Linear/LIO.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Control/Linear Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Control/Monad/Algebra.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Control/Monad Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Control/Algebra.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Control Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Control/Algebra/Laws.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Control/Algebra Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Control/Algebra/Implementations.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Control/Algebra Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Control/Arrow.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Control Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Control/Category.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Control Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Control/Validation.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Control Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Binary/Digit.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Binary Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Binary.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Bool/Algebra.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Bool Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Bool/Decidable.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Bool Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Container.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Fin/Extra.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Fin Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Fun/Extra.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Fun Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Fun/Graph.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Fun Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/IMaybe.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/InductionRecursion/DybjerSetzer.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/InductionRecursion Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Int/Order.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Int Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Late.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Linear/Array.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Linear Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/List/Algebra.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/List Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/List/TailRec.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/List Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/List/Equalities.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/List Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/List/Reverse.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/List Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/List/Views/Extra.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/List/Views Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/List/Palindrome.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/List Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/List/HasLength.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/List Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/List/AtIndex.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/List Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/List/Elem/Extra.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/List/Elem Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/List/Lazy.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/List Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/List/Lazy/Quantifiers.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/List/Lazy Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Logic/Propositional.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Logic Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Monoid/Exponentiation.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Monoid Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Morphisms/Algebra.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Morphisms Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Nat/Algebra.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Nat Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Nat/Ack.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Nat Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Nat/Division.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Nat Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Nat/Equational.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Nat Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Nat/Exponentiation.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Nat Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Nat/Fact.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Nat Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Nat/Factor.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Nat Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Nat/Fib.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Nat Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Nat/Order/Strict.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Nat/Order Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Nat/Order/Properties.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Nat/Order Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Nat/Properties.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Nat Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Num/Implementations.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Num Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/OpenUnion.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Order.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Path.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Recursion/Free.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Recursion Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Rel/Complement.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Rel Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/SortedMap.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/SortedSet.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Stream/Extra.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Stream Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/String/Extra.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/String Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/String/Interpolation.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/String Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/String/Iterator.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/String Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/String/Parser.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/String Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/String/Parser/Expression.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/String/Parser Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/String/Position.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/String Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Telescope.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Telescope/Telescope.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Telescope Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Telescope/Segment.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Telescope Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Telescope/Fun.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Telescope Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Telescope/SimpleFun.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Telescope Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Telescope/Congruence.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Telescope Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Tree/Perfect.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Tree Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Validated.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Vect/Binary.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Vect Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Vect/Properties.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Vect Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Vect/Properties/Tabulate.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Vect/Properties Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Vect/Properties/Index.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Vect/Properties Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Vect/Properties/Foldr.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Vect/Properties Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Vect/Properties/Map.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Vect/Properties Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Vect/Properties/Fin.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Vect/Properties Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Vect/Extra.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Vect Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Vect/Sort.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Vect Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/Void.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Data/HVect.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Debug/Buffer.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Debug Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Decidable/Order/Strict.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Decidable/Order Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Decidable/Decidable/Extra.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Decidable/Decidable Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Language/JSON.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Language Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Language/JSON/Data.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Language/JSON Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Language/JSON/Lexer.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Language/JSON Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Language/JSON/Parser.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Language/JSON Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Language/JSON/String.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Language/JSON Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Language/JSON/String/Lexer.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Language/JSON/String Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Language/JSON/String/Parser.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Language/JSON/String Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Language/JSON/String/Tokens.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Language/JSON/String Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Language/JSON/Tokens.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Language/JSON Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Search/Generator.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Search Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Search/HDecidable.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Search Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Search/Negation.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Search Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Search/Properties.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Search Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Syntax/WithProof.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Syntax Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Syntax/PreorderReasoning.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Syntax Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Syntax/PreorderReasoning/Generic.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Syntax/PreorderReasoning Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/System/Console/GetOpt.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/System/Console Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/System/Directory/Tree.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/System/Directory Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/System/Future.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/System Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/System/Random.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/System Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/System/Path.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/System Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Text/Token.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Text Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Text/Quantity.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Text Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Text/Parser.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Text Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Text/Lexer.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Text Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Text/Parser/Core.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Text/Parser Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Text/Lexer/Core.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Text/Lexer Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Text/PrettyPrint Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Doc.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Text/PrettyPrint/Prettyprinter Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Symbols.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Text/PrettyPrint/Prettyprinter Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Util.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Text/PrettyPrint/Prettyprinter Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/SimpleDocTree.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Text/PrettyPrint/Prettyprinter Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Render/HTML.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Text/PrettyPrint/Prettyprinter/Render Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Render/String.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Text/PrettyPrint/Prettyprinter/Render Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Render/Terminal.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Text/PrettyPrint/Prettyprinter/Render Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Control/ANSI.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Control Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Control/ANSI/SGR.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Control/ANSI Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Control/ANSI/CSI.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Control/ANSI Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Control/Delayed.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Control Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Control/Linear/LIO.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Control/Linear Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Control/Monad/Algebra.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Control/Monad Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Control/Algebra.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Control Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Control/Algebra/Laws.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Control/Algebra Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Control/Algebra/Implementations.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Control/Algebra Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Control/Arrow.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Control Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Control/Category.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Control Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Control/Validation.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Control Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Binary/Digit.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Binary Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Binary.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Bool/Algebra.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Bool Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Bool/Decidable.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Bool Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Container.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Fin/Extra.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Fin Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Fun/Extra.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Fun Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Fun/Graph.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Fun Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/IMaybe.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/InductionRecursion/DybjerSetzer.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/InductionRecursion Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Int/Order.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Int Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Late.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Linear/Array.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Linear Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/List/Algebra.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/List Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/List/TailRec.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/List Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/List/Equalities.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/List Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/List/Reverse.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/List Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/List/Views/Extra.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/List/Views Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/List/Palindrome.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/List Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/List/HasLength.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/List Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/List/AtIndex.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/List Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/List/Elem/Extra.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/List/Elem Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/List/Lazy.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/List Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/List/Lazy/Quantifiers.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/List/Lazy Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Logic/Propositional.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Logic Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Monoid/Exponentiation.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Monoid Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Morphisms/Algebra.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Morphisms Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Nat/Algebra.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Nat Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Nat/Ack.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Nat Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Nat/Division.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Nat Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Nat/Equational.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Nat Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Nat/Exponentiation.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Nat Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Nat/Fact.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Nat Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Nat/Factor.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Nat Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Nat/Fib.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Nat Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Nat/Order/Strict.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Nat/Order Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Nat/Order/Properties.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Nat/Order Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Nat/Properties.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Nat Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Num/Implementations.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Num Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/OpenUnion.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Order.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Path.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Recursion/Free.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Recursion Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Rel/Complement.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Rel Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/SortedMap.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/SortedSet.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Stream/Extra.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Stream Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/String/Extra.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/String Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/String/Interpolation.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/String Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/String/Iterator.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/String Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/String/Parser.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/String Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/String/Parser/Expression.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/String/Parser Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/String/Position.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/String Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Telescope.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Telescope/Telescope.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Telescope Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Telescope/Segment.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Telescope Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Telescope/Fun.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Telescope Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Telescope/SimpleFun.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Telescope Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Telescope/Congruence.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Telescope Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Tree/Perfect.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Tree Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Validated.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Vect/Binary.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Vect Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Vect/Properties.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Vect Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Vect/Properties/Tabulate.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Vect/Properties Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Vect/Properties/Index.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Vect/Properties Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Vect/Properties/Foldr.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Vect/Properties Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Vect/Properties/Map.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Vect/Properties Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Vect/Properties/Fin.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Vect/Properties Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Vect/Extra.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Vect Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Vect/Sort.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data/Vect Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/Void.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Data/HVect.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Data Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Debug/Buffer.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Debug Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Decidable/Order/Strict.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Decidable/Order Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Decidable/Decidable/Extra.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Decidable/Decidable Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Language/JSON.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Language Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Language/JSON/Data.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Language/JSON Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Language/JSON/Lexer.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Language/JSON Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Language/JSON/Parser.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Language/JSON Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Language/JSON/String.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Language/JSON Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Language/JSON/String/Lexer.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Language/JSON/String Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Language/JSON/String/Parser.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Language/JSON/String Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Language/JSON/String/Tokens.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Language/JSON/String Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Language/JSON/Tokens.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Language/JSON Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Search/Generator.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Search Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Search/HDecidable.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Search Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Search/Negation.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Search Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Search/Properties.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Search Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Syntax/WithProof.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Syntax Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Syntax/PreorderReasoning.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Syntax Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Syntax/PreorderReasoning/Generic.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Syntax/PreorderReasoning Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/System/Console/GetOpt.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/System/Console Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/System/Directory/Tree.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/System/Directory Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/System/Future.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/System Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/System/Random.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/System Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/System/Path.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/System Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Text/Token.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Text Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Text/Quantity.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Text Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Text/Parser.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Text Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Text/Lexer.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Text Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Text/Parser/Core.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Text/Parser Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Text/Lexer/Core.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Text/Lexer Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Text/PrettyPrint/Prettyprinter.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Text/PrettyPrint Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Text/PrettyPrint/Prettyprinter/Doc.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Text/PrettyPrint/Prettyprinter Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Text/PrettyPrint/Prettyprinter/Symbols.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Text/PrettyPrint/Prettyprinter Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Text/PrettyPrint/Prettyprinter/Util.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Text/PrettyPrint/Prettyprinter Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Text/PrettyPrint/Prettyprinter/SimpleDocTree.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Text/PrettyPrint/Prettyprinter Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Text/PrettyPrint/Prettyprinter/Render/HTML.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Text/PrettyPrint/Prettyprinter/Render Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Text/PrettyPrint/Prettyprinter/Render/String.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Text/PrettyPrint/Prettyprinter/Render Installing /builddir/build/BUILD/Idris2-0.4.0/libs/contrib/Text/PrettyPrint/Prettyprinter/Render/Terminal.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/contrib-0.4.0/Text/PrettyPrint/Prettyprinter/Render make[1]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/libs/contrib' make -C libs/network install-with-src IDRIS2?=/builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 IDRIS2_PATH="/builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/network/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/test/build/ttc" IDRIS2_PREFIX=/builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64 make[1]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/libs/network' /builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 --install-with-src network.ipkg Installing /builddir/build/BUILD/Idris2-0.4.0/libs/network/build/ttc/Control/Linear/Network.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/network-0.4.0/Control/Linear Installing /builddir/build/BUILD/Idris2-0.4.0/libs/network/build/ttc/Network/Socket.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/network-0.4.0/Network Installing /builddir/build/BUILD/Idris2-0.4.0/libs/network/build/ttc/Network/Socket/Data.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/network-0.4.0/Network/Socket Installing /builddir/build/BUILD/Idris2-0.4.0/libs/network/build/ttc/Network/Socket/Raw.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/network-0.4.0/Network/Socket Installing /builddir/build/BUILD/Idris2-0.4.0/libs/network/build/ttc/Network/FFI.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/network-0.4.0/Network Installing /builddir/build/BUILD/Idris2-0.4.0/libs/network/Control/Linear/Network.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/network-0.4.0/Control/Linear Installing /builddir/build/BUILD/Idris2-0.4.0/libs/network/Network/Socket.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/network-0.4.0/Network Installing /builddir/build/BUILD/Idris2-0.4.0/libs/network/Network/Socket/Data.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/network-0.4.0/Network/Socket Installing /builddir/build/BUILD/Idris2-0.4.0/libs/network/Network/Socket/Raw.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/network-0.4.0/Network/Socket Installing /builddir/build/BUILD/Idris2-0.4.0/libs/network/Network/FFI.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/network-0.4.0/Network make[1]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/libs/network' make -C libs/test install-with-src IDRIS2?=/builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 IDRIS2_PATH="/builddir/build/BUILD/Idris2-0.4.0/libs/prelude/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/base/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/contrib/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/network/build/ttc:/builddir/build/BUILD/Idris2-0.4.0/libs/test/build/ttc" IDRIS2_PREFIX=/builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64 make[1]: Entering directory '/builddir/build/BUILD/Idris2-0.4.0/libs/test' /builddir/build/BUILD/Idris2-0.4.0/build/exec/idris2 --install-with-src test.ipkg Installing /builddir/build/BUILD/Idris2-0.4.0/libs/test/build/ttc/Test/Golden.ttc to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/test-0.4.0/Test Installing /builddir/build/BUILD/Idris2-0.4.0/libs/test/Test/Golden.idr to /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/test-0.4.0/Test make[1]: Leaving directory '/builddir/build/BUILD/Idris2-0.4.0/libs/test' + mkdir -p /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/bin + mv /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/bin/idris2_app/idris2 /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/bin/ + rm -r /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/bin + mv /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/lib/libidris2_support.so /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64 + rm /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/lib/libidris2_support.so + chmod -R a=,+rwX /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0 + mkdir -p /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/share/bash-completion/completions/ + LD_LIBRARY_PATH=/builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64: + /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/bin/idris2 --bash-completion-script idris2 + sed s/dirnames/default/ + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-ldconfig + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip /usr/bin/strip + /usr/lib/rpm/brp-strip-comment-note /usr/bin/strip /usr/bin/objdump + /usr/lib/rpm/redhat/brp-strip-lto /usr/bin/strip /usr/bin/strip: /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/refc/stBaK6VM/buffer.o: cannot set time: Invalid argument /usr/bin/strip: /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/refc/stBaK6VM/casts.o: cannot set time: Invalid argument /usr/bin/strip: /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/refc/stBaK6VM/clock.o: cannot set time: Invalid argument /usr/bin/strip: /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/refc/stBaK6VM/conCaseHelper.o: cannot set time: Invalid argument /usr/bin/strip: /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/refc/stBaK6VM/mathFunctions.o: cannot set time: Invalid argument /usr/bin/strip: /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/refc/stBaK6VM/memoryManagement.o: cannot set time: Invalid argument /usr/bin/strip: /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/refc/stBaK6VM/prim.o: cannot set time: Invalid argument /usr/bin/strip: /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/refc/stBaK6VM/runtime.o: cannot set time: Invalid argument /usr/bin/strip: /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/refc/stBaK6VM/stringOps.o: cannot set time: Invalid argument /usr/bin/strip: /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/lib/st1MNn2d/getline.o: cannot set time: Invalid argument /usr/bin/strip: /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/lib/st1MNn2d/idris_directory.o: cannot set time: Invalid argument /usr/bin/strip: /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/lib/st1MNn2d/idris_file.o: cannot set time: Invalid argument /usr/bin/strip: /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/lib/st1MNn2d/idris_net.o: cannot set time: Invalid argument /usr/bin/strip: /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/lib/st1MNn2d/idris_signal.o: cannot set time: Invalid argument /usr/bin/strip: /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/lib/st1MNn2d/idris_support.o: cannot set time: Invalid argument /usr/bin/strip: /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/lib64/idris2-0.4.0/lib/st1MNn2d/idris_term.o: cannot set time: Invalid argument + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/check-rpaths + /usr/lib/rpm/redhat/brp-mangle-shebangs + /usr/lib/rpm/redhat/brp-python-bytecompile '' 1 0 + /usr/lib/rpm/redhat/brp-python-hardlink Processing files: idris2-0.4.0-3.fc36.x86_64 Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.MAnZp8 + umask 022 + cd /builddir/build/BUILD + cd Idris2-0.4.0 + DOCDIR=/builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/share/doc/idris2 + export LC_ALL=C + LC_ALL=C + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/share/doc/idris2 + cp -pr docs /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/share/doc/idris2 + RPM_EC=0 ++ jobs -p + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.spRMUN + umask 022 + cd /builddir/build/BUILD + cd Idris2-0.4.0 + LICENSEDIR=/builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/share/licenses/idris2 + export LC_ALL=C + LC_ALL=C + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/share/licenses/idris2 + cp -pr LICENSE /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64/usr/share/licenses/idris2 + RPM_EC=0 ++ jobs -p + exit 0 Provides: idris2 = 0.4.0-3.fc36 idris2(x86-64) = 0.4.0-3.fc36 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.3.4)(64bit) libc.so.6(GLIBC_2.34)(64bit) libc.so.6(GLIBC_2.4)(64bit) rtld(GNU_HASH) Processing files: idris2-lib-0.4.0-3.fc36.x86_64 Provides: idris2-lib = 0.4.0-3.fc36 idris2-lib(x86-64) = 0.4.0-3.fc36 libidris2_support.so()(64bit) Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libc.so.6()(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.33)(64bit) rtld(GNU_HASH) Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64 Wrote: /builddir/build/RPMS/idris2-lib-0.4.0-3.fc36.x86_64.rpm Wrote: /builddir/build/RPMS/idris2-0.4.0-3.fc36.x86_64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.mqE4jj + umask 022 + cd /builddir/build/BUILD + cd Idris2-0.4.0 + /usr/bin/rm -rf /builddir/build/BUILDROOT/idris2-0.4.0-3.fc36.x86_64 + RPM_EC=0 ++ jobs -p + exit 0 Child return code was: 0