>>> idris2-stage0: Building testing/idris2-stage0 0.5.1-r1 (using abuild 3.9.0-r0) started Tue, 26 Apr 2022 16:43:43 +0000 >>> idris2-stage0: Checking sanity of /home/buildozer/aports/testing/idris2-stage0/APKBUILD... >>> WARNING: idris2-stage0: No maintainer >>> idris2-stage0: Analyzing dependencies... >>> idris2-stage0: Installing for build: build-base chez-scheme gmp-dev bash (1/7) Installing libuuid (2.38-r1) (2/7) Installing chez-scheme (9.5.8-r0) (3/7) Installing libgmpxx (6.2.1-r2) (4/7) Installing gmp-dev (6.2.1-r2) (5/7) Installing readline (8.1.2-r0) (6/7) Installing bash (5.1.16-r2) Executing bash-5.1.16-r2.post-install (7/7) Installing .makedepends-idris2-stage0 (20220426.164345) Executing busybox-1.35.0-r10.trigger OK: 339 MiB in 105 packages >>> idris2-stage0: Cleaning up srcdir >>> idris2-stage0: Cleaning up pkgdir >>> idris2-stage0: Fetching https://distfiles.alpinelinux.org/distfiles/edge/idris2-0.5.1.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 5915k 100 5915k 0 0 33.8M 0 --:--:-- --:--:-- --:--:-- 33.9M >>> idris2-stage0: Fetching https://distfiles.alpinelinux.org/distfiles/edge/idris2-0.5.1.tar.gz >>> idris2-stage0: Checking sha512sums... idris2-0.5.1.tar.gz: OK >>> idris2-stage0: Unpacking /var/cache/distfiles/edge/idris2-0.5.1.tar.gz... make[1]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/support/c' gcc -Wall -Wall -Os -fomit-frame-pointer -fPIC -fPIC -O2 -Os -fomit-frame-pointer -c -o getline.o getline.c gcc -Wall -Wall -Os -fomit-frame-pointer -fPIC -fPIC -O2 -Os -fomit-frame-pointer -c -o idris_directory.o idris_directory.c gcc -Wall -Wall -Os -fomit-frame-pointer -fPIC -fPIC -O2 -Os -fomit-frame-pointer -c -o idris_file.o idris_file.c gcc -Wall -Wall -Os -fomit-frame-pointer -fPIC -fPIC -O2 -Os -fomit-frame-pointer -c -o idris_memory.o idris_memory.c gcc -Wall -Wall -Os -fomit-frame-pointer -fPIC -fPIC -O2 -Os -fomit-frame-pointer -c -o idris_net.o idris_net.c gcc -Wall -Wall -Os -fomit-frame-pointer -fPIC -fPIC -O2 -Os -fomit-frame-pointer -c -o idris_signal.o idris_signal.c gcc -Wall -Wall -Os -fomit-frame-pointer -fPIC -fPIC -O2 -Os -fomit-frame-pointer -c -o idris_support.o idris_support.c gcc -Wall -Wall -Os -fomit-frame-pointer -fPIC -fPIC -O2 -Os -fomit-frame-pointer -c -o idris_system.o idris_system.c gcc -Wall -Wall -Os -fomit-frame-pointer -fPIC -fPIC -O2 -Os -fomit-frame-pointer -c -o idris_term.o idris_term.c gcc -Wall -Wall -Os -fomit-frame-pointer -fPIC -fPIC -O2 -Os -fomit-frame-pointer -c -o idris_util.o idris_util.c ar rc libidris2_support.a getline.o idris_directory.o idris_file.o idris_memory.o idris_net.o idris_signal.o idris_support.o idris_system.o idris_term.o idris_util.o ranlib libidris2_support.a gcc -shared -o libidris2_support.so getline.o idris_directory.o idris_file.o idris_memory.o idris_net.o idris_signal.o idris_support.o idris_system.o idris_term.o idris_util.o -Wl,--as-needed,-O1,--sort-common make[1]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/support/c' make[1]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/support/refc' gcc -Wall -Wall -Os -fomit-frame-pointer -fPIC -fPIC -O2 -Os -fomit-frame-pointer -c -o buffer.o buffer.c gcc -Wall -Wall -Os -fomit-frame-pointer -fPIC -fPIC -O2 -Os -fomit-frame-pointer -c -o casts.o casts.c gcc -Wall -Wall -Os -fomit-frame-pointer -fPIC -fPIC -O2 -Os -fomit-frame-pointer -c -o clock.o clock.c gcc -Wall -Wall -Os -fomit-frame-pointer -fPIC -fPIC -O2 -Os -fomit-frame-pointer -c -o conCaseHelper.o conCaseHelper.c gcc -Wall -Wall -Os -fomit-frame-pointer -fPIC -fPIC -O2 -Os -fomit-frame-pointer -c -o mathFunctions.o mathFunctions.c gcc -Wall -Wall -Os -fomit-frame-pointer -fPIC -fPIC -O2 -Os -fomit-frame-pointer -c -o memoryManagement.o memoryManagement.c gcc -Wall -Wall -Os -fomit-frame-pointer -fPIC -fPIC -O2 -Os -fomit-frame-pointer -c -o prim.o prim.c gcc -Wall -Wall -Os -fomit-frame-pointer -fPIC -fPIC -O2 -Os -fomit-frame-pointer -c -o refc_util.o refc_util.c gcc -Wall -Wall -Os -fomit-frame-pointer -fPIC -fPIC -O2 -Os -fomit-frame-pointer -c -o runtime.o runtime.c gcc -Wall -Wall -Os -fomit-frame-pointer -fPIC -fPIC -O2 -Os -fomit-frame-pointer -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 refc_util.o runtime.o stringOps.o ranlib libidris2_refc.a make[1]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/support/refc' make[1]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/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 '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/support/chez' mkdir -p bootstrap-build/idris2_app cp support/c/libidris2_support.so bootstrap-build/idris2_app/ sed 's/libidris2_support.so/libidris2_support.so/g; s|__PREFIX__|/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build|g' \ bootstrap/idris2_app/idris2.ss \ > bootstrap-build/idris2_app/idris2-boot.ss /bin/sh ./bootstrap-stage1-chez.sh Bootstrapping SCHEME=chez IDRIS2_VERSION=0.5.1 Building idris2-boot from idris2-boot.ss compiling idris2_app/idris2-boot.ss with output to idris2_app/idris2-boot.so IDRIS2_CG="chez" /bin/sh ./bootstrap-stage2.sh /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build make[1]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1' make -C libs/prelude IDRIS2=/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 IDRIS2_INC_CGS=chez IDRIS2_PATH="/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/test/build/ttc" make[2]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude' /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/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 '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude' make -C libs/base IDRIS2=/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 IDRIS2_INC_CGS=chez IDRIS2_PATH="/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/test/build/ttc" make[2]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base' /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 --build base.ipkg 1/95: Building Data.Fuel (Data/Fuel.idr) 2/95: Building Control.Relation (Control/Relation.idr) 3/95: Building Control.Order (Control/Order.idr) 4/95: Building Data.Nat (Data/Nat.idr) 5/95: Building Data.Zippable (Data/Zippable.idr) 6/95: Building Data.List1 (Data/List1.idr) 7/95: Building Data.Maybe (Data/Maybe.idr) 8/95: Building Decidable.Equality.Core (Decidable/Equality/Core.idr) 9/95: Building Data.Fin (Data/Fin.idr) 10/95: Building Data.List (Data/List.idr) 11/95: Building Data.Either (Data/Either.idr) 12/95: Building Decidable.Equality (Decidable/Equality.idr) 13/95: Building Data.List.Elem (Data/List/Elem.idr) 14/95: Building System.Errno (System/Errno.idr) 15/95: Building System.Signal (System/Signal.idr) 16/95: Building Data.Buffer (Data/Buffer.idr) 17/95: Building System.File.Support (System/File/Support.idr) 18/95: Building System.File.Types (System/File/Types.idr) 19/95: Building System.File.Error (System/File/Error.idr) 20/95: Building System.Info (System/Info.idr) 21/95: Building System.File.Mode (System/File/Mode.idr) 22/95: Building System.File.Handle (System/File/Handle.idr) 23/95: Building System.File.Meta (System/File/Meta.idr) 24/95: Building System.File.ReadWrite (System/File/ReadWrite.idr) 25/95: Building System.File.Buffer (System/File/Buffer.idr) 26/95: Building System.File.Permissions (System/File/Permissions.idr) 27/95: Building System.File.Process (System/File/Process.idr) 28/95: Building System.File.Virtual (System/File/Virtual.idr) 29/95: Building System.File (System/File.idr) 30/95: Building System.REPL (System/REPL.idr) 31/95: Building System.FFI (System/FFI.idr) 32/95: Building System.Directory (System/Directory.idr) 33/95: Building Data.IORef (Data/IORef.idr) 34/95: Building System.Concurrency (System/Concurrency.idr) 35/95: Building Data.String (Data/String.idr) 36/95: Building System.Clock (System/Clock.idr) 37/95: Building Data.Bool (Data/Bool.idr) 38/95: Building Data.So (Data/So.idr) 39/95: Building System (System.idr) 40/95: Building Language.Reflection.TT (Language/Reflection/TT.idr) 41/95: Building Language.Reflection.TTImp (Language/Reflection/TTImp.idr) 42/95: Building Language.Reflection (Language/Reflection.idr) 43/95: Building Debug.Trace (Debug/Trace.idr) 44/95: Building Data.DPair (Data/DPair.idr) 45/95: Building Data.Vect (Data/Vect.idr) 46/95: Building Data.Vect.Quantifiers (Data/Vect/Quantifiers.idr) 47/95: Building Data.Vect.AtIndex (Data/Vect/AtIndex.idr) 48/95: Building Data.Vect.Elem (Data/Vect/Elem.idr) 49/95: Building Data.These (Data/These.idr) 50/95: Building Data.Stream (Data/Stream.idr) 51/95: Building Control.Monad.ST (Control/Monad/ST.idr) 52/95: Building Data.Ref (Data/Ref.idr) 53/95: Building Data.Primitives.Views (Data/Primitives/Views.idr) 54/95: Building Data.Contravariant (Data/Contravariant.idr) 55/95: Building Data.Morphisms (Data/Morphisms.idr) 56/95: Building Data.List.Quantifiers (Data/List/Quantifiers.idr) 57/95: Building Control.WellFounded (Control/WellFounded.idr) 58/95: Building Data.Nat.Views (Data/Nat/Views.idr) 59/95: Building Data.List.Views (Data/List/Views.idr) 60/95: Building Data.SnocList (Data/SnocList.idr) 61/95: Building Data.SnocList.Elem (Data/SnocList/Elem.idr) 62/95: Building Data.IOArray.Prims (Data/IOArray/Prims.idr) 63/95: Building Data.IOArray (Data/IOArray.idr) 64/95: Building Data.Fun (Data/Fun.idr) 65/95: Building Data.Rel (Data/Rel.idr) 66/95: Building Decidable.Decidable (Decidable/Decidable.idr) 67/95: Building Data.Nat.Order (Data/Nat/Order.idr) 68/95: Building Data.Fin.Order (Data/Fin/Order.idr) 69/95: Building Data.Colist (Data/Colist.idr) 70/95: Building Data.Colist1 (Data/Colist1.idr) 71/95: Building Data.Bool.Xor (Data/Bool/Xor.idr) 72/95: Building Data.Bifoldable (Data/Bifoldable.idr) 73/95: Building Control.Monad.Trans (Control/Monad/Trans.idr) 74/95: Building Control.Monad.Maybe (Control/Monad/Maybe.idr) 75/95: Building Control.Monad.Error.Either (Control/Monad/Error/Either.idr) 76/95: Building Data.Bits (Data/Bits.idr) 77/95: Building Control.Monad.Identity (Control/Monad/Identity.idr) 78/95: Building Control.Monad.Reader.Reader (Control/Monad/Reader/Reader.idr) 79/95: Building Control.Monad.State.State (Control/Monad/State/State.idr) 80/95: Building Control.Monad.RWS.CPS (Control/Monad/RWS/CPS.idr) 81/95: Building Control.Monad.Writer.CPS (Control/Monad/Writer/CPS.idr) 82/95: Building Control.Monad.Writer.Interface (Control/Monad/Writer/Interface.idr) 83/95: Building Control.Monad.Writer (Control/Monad/Writer.idr) 84/95: Building Control.Monad.State.Interface (Control/Monad/State/Interface.idr) 85/95: Building Control.Monad.State (Control/Monad/State.idr) 86/95: Building Control.Monad.Reader.Interface (Control/Monad/Reader/Interface.idr) 87/95: Building Control.Monad.Reader (Control/Monad/Reader.idr) 88/95: Building Control.Monad.RWS.Interface (Control/Monad/RWS/Interface.idr) 89/95: Building Control.Monad.RWS (Control/Monad/RWS.idr) 90/95: Building Control.Monad.Error.Interface (Control/Monad/Error/Interface.idr) 91/95: Building Control.Monad.Either (Control/Monad/Either.idr) 92/95: Building Control.Applicative.Const (Control/Applicative/Const.idr) 93/95: Building Control.App (Control/App.idr) 94/95: Building Control.App.FileIO (Control/App/FileIO.idr) 95/95: Building Control.App.Console (Control/App/Console.idr) make[2]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base' make -C libs/contrib IDRIS2=/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 IDRIS2_INC_CGS=chez IDRIS2_PATH="/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/test/build/ttc" make[2]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib' /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 --build contrib.ipkg 1/129: Building Data.String.Extra (Data/String/Extra.idr) 2/129: Building Text.PrettyPrint.Prettyprinter.Doc (Text/PrettyPrint/Prettyprinter/Doc.idr) 3/129: Building Control.Delayed (Control/Delayed.idr) 4/129: Building Text.Bounded (Text/Bounded.idr) 5/129: Building Text.Parser.Core (Text/Parser/Core.idr) 6/129: Building Text.Quantity (Text/Quantity.idr) 7/129: Building Text.Token (Text/Token.idr) 8/129: Building Text.Parser (Text/Parser.idr) 9/129: Building Text.PrettyPrint.Prettyprinter.SimpleDocTree (Text/PrettyPrint/Prettyprinter/SimpleDocTree.idr) 10/129: Building Control.ANSI.CSI (Control/ANSI/CSI.idr) 11/129: Building Control.ANSI.SGR (Control/ANSI/SGR.idr) 12/129: Building Control.ANSI (Control/ANSI.idr) 13/129: Building Text.PrettyPrint.Prettyprinter.Render.Terminal (Text/PrettyPrint/Prettyprinter/Render/Terminal.idr) 14/129: Building Text.PrettyPrint.Prettyprinter.Render.HTML (Text/PrettyPrint/Prettyprinter/Render/HTML.idr) 15/129: Building Text.Lexer.Core (Text/Lexer/Core.idr) 16/129: Building Text.Lexer (Text/Lexer.idr) 17/129: Building Text.Literate (Text/Literate.idr) 18/129: Building Text.PrettyPrint.Prettyprinter.Symbols (Text/PrettyPrint/Prettyprinter/Symbols.idr) 19/129: Building Text.PrettyPrint.Prettyprinter (Text/PrettyPrint/Prettyprinter.idr) 20/129: Building Text.PrettyPrint.Prettyprinter.Render.String (Text/PrettyPrint/Prettyprinter/Render/String.idr) 21/129: Building Text.PrettyPrint.Prettyprinter.Util (Text/PrettyPrint/Prettyprinter/Util.idr) 22/129: Building Text.Lexer.Tokenizer (Text/Lexer/Tokenizer.idr) 23/129: Building System.Random (System/Random.idr) 24/129: Building System.Future (System/Future.idr) 25/129: Building System.Path (System/Path.idr) 26/129: Building System.Directory.Tree (System/Directory/Tree.idr) 27/129: Building System.Console.GetOpt (System/Console/GetOpt.idr) 28/129: Building Data.List.Lazy (Data/List/Lazy.idr) 29/129: Building Data.List.Lazy.Quantifiers (Data/List/Lazy/Quantifiers.idr) 30/129: Building Search.Negation (Search/Negation.idr) 31/129: Building Search.HDecidable (Search/HDecidable.idr) 32/129: Building Search.Generator (Search/Generator.idr) 33/129: Building Search.Properties (Search/Properties.idr) 34/129: Building Language.JSON.String.Tokens (Language/JSON/String/Tokens.idr) 35/129: Building Language.JSON.String.Lexer (Language/JSON/String/Lexer.idr) 36/129: Building Language.JSON.String.Parser (Language/JSON/String/Parser.idr) 37/129: Building Language.JSON.String (Language/JSON/String.idr) 38/129: Building Language.JSON.Tokens (Language/JSON/Tokens.idr) 39/129: Building Language.JSON.Lexer (Language/JSON/Lexer.idr) 40/129: Building Language.JSON.Data (Language/JSON/Data.idr) 41/129: Building Language.JSON.Parser (Language/JSON/Parser.idr) 42/129: Building Language.JSON (Language/JSON.idr) 43/129: Building Data.HVect (Data/HVect.idr) 44/129: Building Data.Fun.Extra (Data/Fun/Extra.idr) 45/129: Building Data.Rel.Complement (Data/Rel/Complement.idr) 46/129: Building Decidable.Decidable.Extra (Decidable/Decidable/Extra.idr) 47/129: Building Debug.Buffer (Debug/Buffer.idr) 48/129: Building Data.Vect.Views.Extra (Data/Vect/Views/Extra.idr) 49/129: Building Data.Vect.Sort (Data/Vect/Sort.idr) 50/129: Building Data.Vect.Properties.Tabulate (Data/Vect/Properties/Tabulate.idr) 51/129: Building Syntax.PreorderReasoning (Syntax/PreorderReasoning.idr) 52/129: Building Data.Vect.Properties.Index (Data/Vect/Properties/Index.idr) 53/129: Building Syntax.PreorderReasoning.Generic (Syntax/PreorderReasoning/Generic.idr) 54/129: Building Data.Vect.Properties.Foldr (Data/Vect/Properties/Foldr.idr) 55/129: Building Data.Vect.Extra (Data/Vect/Extra.idr) 56/129: Building Data.Vect.Properties.Map (Data/Vect/Properties/Map.idr) 57/129: Building Data.Vect.Properties.Fin (Data/Vect/Properties/Fin.idr) 58/129: Building Data.Vect.Properties (Data/Vect/Properties.idr) 59/129: Building Data.Binary.Digit (Data/Binary/Digit.idr) 60/129: Building Data.Nat.Properties (Data/Nat/Properties.idr) 61/129: Building Data.Binary (Data/Binary.idr) 62/129: Building Data.IMaybe (Data/IMaybe.idr) 63/129: Building Control.Algebra (Control/Algebra.idr) 64/129: Building Data.Monoid.Exponentiation (Data/Monoid/Exponentiation.idr) 65/129: Building Data.Num.Implementations (Data/Num/Implementations.idr) 66/129: Building Data.Nat.Exponentiation (Data/Nat/Exponentiation.idr) 67/129: Building Decidable.Order.Strict (Decidable/Order/Strict.idr) 68/129: Building Data.Nat.Order.Strict (Data/Nat/Order/Strict.idr) 69/129: Building Data.Void (Data/Void.idr) 70/129: Building Data.Bool.Decidable (Data/Bool/Decidable.idr) 71/129: Building Data.Nat.Order.Properties (Data/Nat/Order/Properties.idr) 72/129: Building Syntax.WithProof (Syntax/WithProof.idr) 73/129: Building Data.Tree.Perfect (Data/Tree/Perfect.idr) 74/129: Building Data.Vect.Binary (Data/Vect/Binary.idr) 75/129: Building Data.Validated (Data/Validated.idr) 76/129: Building Data.Telescope.Telescope (Data/Telescope/Telescope.idr) 77/129: Building Data.Telescope.Segment (Data/Telescope/Segment.idr) 78/129: Building Data.Telescope.SimpleFun (Data/Telescope/SimpleFun.idr) 79/129: Building Data.Telescope.Fun (Data/Telescope/Fun.idr) 80/129: Building Data.Telescope.Congruence (Data/Telescope/Congruence.idr) 81/129: Building Data.Telescope (Data/Telescope.idr) 82/129: Building Data.String.Position (Data/String/Position.idr) 83/129: Building Data.String.Parser (Data/String/Parser.idr) 84/129: Building Data.String.Parser.Expression (Data/String/Parser/Expression.idr) 85/129: Building Data.String.Iterator (Data/String/Iterator.idr) 86/129: Building Data.String.Interpolation (Data/String/Interpolation.idr) 87/129: Building Data.Stream.Extra (Data/Stream/Extra.idr) 88/129: Building Data.SortedMap.Dependent (Data/SortedMap/Dependent.idr) 89/129: Building Data.SortedMap (Data/SortedMap.idr) 90/129: Building Data.SortedSet (Data/SortedSet.idr) 91/129: Building Data.Late (Data/Late.idr) 92/129: Building Data.InductionRecursion.DybjerSetzer (Data/InductionRecursion/DybjerSetzer.idr) 93/129: Building Data.Recursion.Free (Data/Recursion/Free.idr) 94/129: Building Data.Path (Data/Path.idr) 95/129: Building Data.List.HasLength (Data/List/HasLength.idr) 96/129: Building Data.List.AtIndex (Data/List/AtIndex.idr) 97/129: Building Data.OpenUnion (Data/OpenUnion.idr) 98/129: Building Data.Nat.Order.Relation (Data/Nat/Order/Relation.idr) 99/129: Building Data.Nat.Fib (Data/Nat/Fib.idr) 100/129: Building Data.Fin.Extra (Data/Fin/Extra.idr) 101/129: Building Data.Nat.Equational (Data/Nat/Equational.idr) 102/129: Building Data.Nat.Factor (Data/Nat/Factor.idr) 103/129: Building Data.Nat.Fact (Data/Nat/Fact.idr) 104/129: Building Data.Nat.Division (Data/Nat/Division.idr) 105/129: Building Data.Nat.Ack (Data/Nat/Ack.idr) 106/129: Building Data.Nat.Algebra (Data/Nat/Algebra.idr) 107/129: Building Data.Morphisms.Algebra (Data/Morphisms/Algebra.idr) 108/129: Building Data.Logic.Propositional (Data/Logic/Propositional.idr) 109/129: Building Data.List.Elem.Extra (Data/List/Elem/Extra.idr) 110/129: Building Data.List.Equalities (Data/List/Equalities.idr) 111/129: Building Data.List.Reverse (Data/List/Reverse.idr) 112/129: Building Data.List.Views.Extra (Data/List/Views/Extra.idr) 113/129: Building Data.List.Palindrome (Data/List/Palindrome.idr) 114/129: Building Data.List.Extra (Data/List/Extra.idr) 115/129: Building Data.List.TailRec (Data/List/TailRec.idr) 116/129: Building Data.List.Algebra (Data/List/Algebra.idr) 117/129: Building Data.Linear.Array (Data/Linear/Array.idr) 118/129: Building Data.Order (Data/Order.idr) 119/129: Building Data.Int.Order (Data/Int/Order.idr) 120/129: Building Data.Fun.Graph (Data/Fun/Graph.idr) 121/129: Building Data.Container (Data/Container.idr) 122/129: Building Data.Bool.Algebra (Data/Bool/Algebra.idr) 123/129: Building Control.Validation (Control/Validation.idr) 124/129: Building Control.Category (Control/Category.idr) 125/129: Building Control.Arrow (Control/Arrow.idr) 126/129: Building Control.Algebra.Implementations (Control/Algebra/Implementations.idr) 127/129: Building Control.Algebra.Laws (Control/Algebra/Laws.idr) 128/129: Building Control.Monad.Algebra (Control/Monad/Algebra.idr) 129/129: Building Control.Linear.LIO (Control/Linear/LIO.idr) make[2]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib' make -C libs/network IDRIS2=/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 IDRIS2_INC_CGS=chez IDRIS2_PATH="/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/test/build/ttc" make[2]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network' /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/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 '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network' make -C libs/test IDRIS2=/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 IDRIS2_INC_CGS=chez IDRIS2_PATH="/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/test/build/ttc" make[2]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/test' /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 --build test.ipkg 1/1: Building Test.Golden (Test/Golden.idr) make[2]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/test' make[1]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1' make[1]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1' mkdir -p /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/bin/ install /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/bin mkdir -p /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/lib/ install support/c/libidris2_support.so /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/lib mkdir -p /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/bin/idris2_app install /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2_app/* /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/bin/idris2_app mkdir -p /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/support/docs mkdir -p /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/support/racket mkdir -p /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/support/gambit mkdir -p /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/support/js install -m 644 support/docs/*.css /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/support/docs install -m 644 support/racket/* /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/support/racket install -m 644 support/gambit/* /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/support/gambit install -m 644 support/js/* /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/support/js make[2]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/support/c' mkdir -p /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/lib mkdir -p /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/include install -m 755 libidris2_support.so /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/lib install -m 644 libidris2_support.a /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/lib install -m 644 *.h /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/include make[2]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/support/c' make[2]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/support/refc' mkdir -p /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/refc install -m 644 libidris2_refc.a *.h /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/refc make[2]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/support/refc' make[2]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/support/chez' mkdir -p /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/support/chez install -m 644 *.ss /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/support/chez make[2]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/support/chez' make -C libs/prelude install IDRIS2?=/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 IDRIS2_PATH="/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/test/build/ttc" make[2]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude' /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 --install prelude.ipkg Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc/Builtin.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/prelude-0.5.1 Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc/PrimIO.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/prelude-0.5.1 Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc/Prelude.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/prelude-0.5.1 Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc/Prelude/Basics.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/prelude-0.5.1/Prelude Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc/Prelude/Cast.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/prelude-0.5.1/Prelude Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc/Prelude/EqOrd.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/prelude-0.5.1/Prelude Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc/Prelude/Interfaces.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/prelude-0.5.1/Prelude Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc/Prelude/IO.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/prelude-0.5.1/Prelude Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc/Prelude/Num.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/prelude-0.5.1/Prelude Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc/Prelude/Ops.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/prelude-0.5.1/Prelude Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc/Prelude/Show.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/prelude-0.5.1/Prelude Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc/Prelude/Types.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/prelude-0.5.1/Prelude Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc/Prelude/Uninhabited.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/prelude-0.5.1/Prelude make[2]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude' make -C libs/base install IDRIS2?=/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 IDRIS2_PATH="/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/test/build/ttc" make[2]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base' /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 --install base.ipkg Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/App.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Control Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/App/Console.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Control/App Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/App/FileIO.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Control/App Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Applicative/Const.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Control/Applicative Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/Either.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Control/Monad Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/Error/Either.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Control/Monad/Error Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/Error/Interface.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Control/Monad/Error Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/Identity.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Control/Monad Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/Maybe.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Control/Monad Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/RWS.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Control/Monad Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/RWS/CPS.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Control/Monad/RWS Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/RWS/Interface.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Control/Monad/RWS Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/Reader.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Control/Monad Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/Reader/Interface.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Control/Monad/Reader Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/Reader/Reader.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Control/Monad/Reader Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/ST.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Control/Monad Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/State.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Control/Monad Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/State/Interface.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Control/Monad/State Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/State/State.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Control/Monad/State Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/Trans.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Control/Monad Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/Writer.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Control/Monad Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/Writer/CPS.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Control/Monad/Writer Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/Writer/Interface.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Control/Monad/Writer Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/WellFounded.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Control Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Relation.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Control Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Order.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Control Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Bifoldable.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Bits.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Bool.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Bool/Xor.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data/Bool Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Buffer.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Colist.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Colist1.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Contravariant.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/DPair.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Either.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Fin.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Fin/Order.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data/Fin Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Fuel.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Fun.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/IOArray.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/IOArray/Prims.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data/IOArray Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/IORef.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/List.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/SnocList.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/SnocList/Elem.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data/SnocList Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/List/Elem.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data/List Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/List/Views.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data/List Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/List/Quantifiers.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data/List Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/List1.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Maybe.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Morphisms.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Nat.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Nat/Order.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data/Nat Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Nat/Views.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data/Nat Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Primitives/Views.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data/Primitives Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Ref.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Rel.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/So.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Stream.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/String.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/These.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Vect.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Vect/Elem.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data/Vect Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Vect/AtIndex.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data/Vect Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Vect/Quantifiers.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data/Vect Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Zippable.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Debug/Trace.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Debug Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Decidable/Decidable.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Decidable Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Decidable/Equality.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Decidable Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Decidable/Equality/Core.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Decidable/Equality Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Language/Reflection.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Language Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Language/Reflection/TT.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Language/Reflection Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Language/Reflection/TTImp.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/Language/Reflection Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1 Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/Clock.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/System Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/Concurrency.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/System Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/Directory.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/System Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/Errno.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/System Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/FFI.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/System Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/File.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/System Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/File/Buffer.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/System/File Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/File/Error.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/System/File Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/File/Handle.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/System/File Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/File/Meta.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/System/File Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/File/Mode.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/System/File Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/File/Permissions.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/System/File Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/File/Process.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/System/File Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/File/ReadWrite.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/System/File Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/File/Support.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/System/File Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/File/Types.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/System/File Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/File/Virtual.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/System/File Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/Info.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/System Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/REPL.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/System Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/Signal.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/base-0.5.1/System make[2]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base' make -C libs/contrib install IDRIS2?=/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 IDRIS2_PATH="/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/test/build/ttc" make[2]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib' /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 --install contrib.ipkg Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Control/ANSI.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Control Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Control/ANSI/SGR.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Control/ANSI Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Control/ANSI/CSI.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Control/ANSI Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Control/Delayed.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Control Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Control/Linear/LIO.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Control/Linear Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Control/Monad/Algebra.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Control/Monad Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Control/Algebra.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Control Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Control/Algebra/Laws.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Control/Algebra Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Control/Algebra/Implementations.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Control/Algebra Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Control/Arrow.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Control Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Control/Category.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Control Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Control/Validation.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Control Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Binary/Digit.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Binary Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Binary.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Bool/Algebra.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Bool Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Bool/Decidable.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Bool Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Container.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Fin/Extra.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Fin Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Fun/Extra.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Fun Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Fun/Graph.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Fun Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/IMaybe.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/InductionRecursion/DybjerSetzer.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/InductionRecursion Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Int/Order.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Int Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Late.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Linear/Array.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Linear Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/List/Algebra.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/List Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/List/TailRec.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/List Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/List/Equalities.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/List Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/List/Extra.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/List Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/List/Reverse.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/List Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/List/Views/Extra.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/List/Views Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/List/Palindrome.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/List Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/List/HasLength.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/List Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/List/AtIndex.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/List Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/List/Elem/Extra.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/List/Elem Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/List/Lazy.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/List Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/List/Lazy/Quantifiers.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/List/Lazy Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Logic/Propositional.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Logic Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Monoid/Exponentiation.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Monoid Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Morphisms/Algebra.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Morphisms Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Nat/Algebra.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Nat Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Nat/Ack.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Nat Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Nat/Division.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Nat Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Nat/Equational.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Nat Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Nat/Exponentiation.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Nat Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Nat/Fact.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Nat Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Nat/Factor.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Nat Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Nat/Fib.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Nat Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Nat/Order/Strict.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Nat/Order Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Nat/Order/Properties.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Nat/Order Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Nat/Order/Relation.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Nat/Order Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Nat/Properties.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Nat Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Num/Implementations.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Num Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/OpenUnion.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Order.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Path.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Recursion/Free.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Recursion Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Rel/Complement.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Rel Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/SortedMap.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/SortedMap/Dependent.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/SortedMap Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/SortedSet.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Stream/Extra.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Stream Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/String/Extra.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/String Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/String/Interpolation.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/String Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/String/Iterator.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/String Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/String/Parser.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/String Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/String/Parser/Expression.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/String/Parser Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/String/Position.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/String Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Telescope.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Telescope/Telescope.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Telescope Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Telescope/Segment.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Telescope Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Telescope/Fun.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Telescope Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Telescope/SimpleFun.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Telescope Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Telescope/Congruence.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Telescope Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Tree/Perfect.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Tree Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Validated.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Vect/Binary.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Vect Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Vect/Properties.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Vect Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Vect/Properties/Tabulate.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Vect/Properties Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Vect/Properties/Index.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Vect/Properties Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Vect/Properties/Foldr.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Vect/Properties Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Vect/Properties/Map.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Vect/Properties Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Vect/Properties/Fin.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Vect/Properties Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Vect/Extra.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Vect Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Vect/Sort.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Vect Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Vect/Views/Extra.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data/Vect/Views Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Void.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/HVect.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Debug/Buffer.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Debug Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Decidable/Order/Strict.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Decidable/Order Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Decidable/Decidable/Extra.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Decidable/Decidable Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Language/JSON.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Language Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Language/JSON/Data.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Language/JSON Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Language/JSON/Lexer.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Language/JSON Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Language/JSON/Parser.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Language/JSON Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Language/JSON/String.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Language/JSON Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Language/JSON/String/Lexer.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Language/JSON/String Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Language/JSON/String/Parser.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Language/JSON/String Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Language/JSON/String/Tokens.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Language/JSON/String Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Language/JSON/Tokens.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Language/JSON Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Search/Generator.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Search Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Search/HDecidable.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Search Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Search/Negation.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Search Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Search/Properties.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Search Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Syntax/WithProof.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Syntax Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Syntax/PreorderReasoning.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Syntax Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Syntax/PreorderReasoning/Generic.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Syntax/PreorderReasoning Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/System/Console/GetOpt.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/System/Console Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/System/Directory/Tree.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/System/Directory Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/System/Future.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/System Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/System/Random.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/System Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/System/Path.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/System Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/Bounded.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Text Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/Lexer.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Text Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/Lexer/Core.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Text/Lexer Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/Lexer/Tokenizer.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Text/Lexer Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/Literate.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Text Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/Parser.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Text Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/Parser/Core.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Text/Parser Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Text/PrettyPrint Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Doc.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Text/PrettyPrint/Prettyprinter Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Render/HTML.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Text/PrettyPrint/Prettyprinter/Render Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Render/String.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Text/PrettyPrint/Prettyprinter/Render Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Render/Terminal.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Text/PrettyPrint/Prettyprinter/Render Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/SimpleDocTree.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Text/PrettyPrint/Prettyprinter Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Symbols.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Text/PrettyPrint/Prettyprinter Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Util.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Text/PrettyPrint/Prettyprinter Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/Quantity.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Text Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/Token.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/contrib-0.5.1/Text make[2]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib' make -C libs/network install IDRIS2?=/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 IDRIS2_PATH="/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/test/build/ttc" make[2]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network' /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 --install network.ipkg Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network/build/ttc/Control/Linear/Network.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/network-0.5.1/Control/Linear Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network/build/ttc/Network/Socket.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/network-0.5.1/Network Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network/build/ttc/Network/Socket/Data.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/network-0.5.1/Network/Socket Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network/build/ttc/Network/Socket/Raw.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/network-0.5.1/Network/Socket Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network/build/ttc/Network/FFI.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/network-0.5.1/Network make[2]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network' make -C libs/test install IDRIS2?=/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 IDRIS2_PATH="/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/test/build/ttc" make[2]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/test' /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 --install test.ipkg Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/test/build/ttc/Test/Golden.ttc to /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/idris2-0.5.1/test-0.5.1/Test make[2]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/test' make[1]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1' make[1]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1' make -C libs/prelude clean make[2]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude' rm -f -r build make[2]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude' make -C libs/base clean make[2]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base' rm -f -r build make[2]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base' make -C libs/contrib clean make[2]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib' rm -f -r build make[2]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib' make -C libs/network clean make[2]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network' rm -f -r build make[2]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network' make -C libs/test clean make[2]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/test' rm -f -r build make[2]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/test' make[1]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1' make[1]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1' make[2]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/support/c' make[2]: Nothing to be done for 'all'. make[2]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/support/c' make[2]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/support/refc' make[2]: Nothing to be done for 'all'. make[2]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/support/refc' make[2]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/support/chez' make[2]: Nothing to be done for 'all'. make[2]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/support/chez' echo "-- @""generated" > src/IdrisPaths.idr echo 'module IdrisPaths' >> src/IdrisPaths.idr echo 'export idrisVersion : ((Nat,Nat,Nat), String); idrisVersion = ((0,5,1), "166fb48cb")' >> src/IdrisPaths.idr echo 'export yprefix : String; yprefix="/usr"' >> src/IdrisPaths.idr /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build/bin/idris2 --build idris2.ipkg 1/212: Building Libraries.Data.String.Extra (src/Libraries/Data/String/Extra.idr) 2/212: Building Libraries.Text.PrettyPrint.Prettyprinter.Doc (src/Libraries/Text/PrettyPrint/Prettyprinter/Doc.idr) 3/212: Building Libraries.Text.PrettyPrint.Prettyprinter.Symbols (src/Libraries/Text/PrettyPrint/Prettyprinter/Symbols.idr) 4/212: Building Libraries.Text.PrettyPrint.Prettyprinter (src/Libraries/Text/PrettyPrint/Prettyprinter.idr) 5/212: Building Libraries.Text.PrettyPrint.Prettyprinter.Render.String (src/Libraries/Text/PrettyPrint/Prettyprinter/Render/String.idr) 6/212: Building Libraries.Text.PrettyPrint.Prettyprinter.Util (src/Libraries/Text/PrettyPrint/Prettyprinter/Util.idr) 7/212: Building Idris.Env (src/Idris/Env.idr) 8/212: Building Libraries.Text.Token (src/Libraries/Text/Token.idr) 9/212: Building Libraries.Control.Delayed (src/Libraries/Control/Delayed.idr) 10/212: Building Libraries.Text.Bounded (src/Libraries/Text/Bounded.idr) 11/212: Building Libraries.Text.Lexer.Core (src/Libraries/Text/Lexer/Core.idr) 12/212: Building Libraries.Text.Quantity (src/Libraries/Text/Quantity.idr) 13/212: Building Libraries.Text.Lexer (src/Libraries/Text/Lexer.idr) 14/212: Building Libraries.Text.Parser.Core (src/Libraries/Text/Parser/Core.idr) 15/212: Building Libraries.Text.Parser (src/Libraries/Text/Parser.idr) 16/212: Building Libraries.Utils.Path (src/Libraries/Utils/Path.idr) 17/212: Building Core.Name.Namespace (src/Core/Name/Namespace.idr) 18/212: Building Core.FC (src/Core/FC.idr) 19/212: Building Libraries.Utils.String (src/Libraries/Utils/String.idr) 20/212: Building Core.Name (src/Core/Name.idr) 21/212: Building Libraries.Data.NameMap (src/Libraries/Data/NameMap.idr) 22/212: Building Algebra.Semiring (src/Algebra/Semiring.idr) 23/212: Building Algebra.Preorder (src/Algebra/Preorder.idr) 24/212: Building Algebra.ZeroOneOmega (src/Algebra/ZeroOneOmega.idr) 25/212: Building Algebra (src/Algebra.idr) 26/212: Building Core.TT (src/Core/TT.idr) 27/212: Building Core.CompileExpr (src/Core/CompileExpr.idr) 28/212: Building Core.CaseTree (src/Core/CaseTree.idr) 29/212: Building Core.Env (src/Core/Env.idr) 30/212: Building Libraries.Data.List.Lazy (src/Libraries/Data/List/Lazy.idr) 31/212: Building Libraries.Data.String.Iterator (src/Libraries/Data/String/Iterator.idr) 32/212: Building Core.Hash (src/Core/Hash.idr) 33/212: Building Libraries.Data.StringMap (src/Libraries/Data/StringMap.idr) 34/212: Building Libraries.Data.StringTrie (src/Libraries/Data/StringTrie.idr) 35/212: Building Core.Options.Log (src/Core/Options/Log.idr) 36/212: Building Libraries.Data.IntMap (src/Libraries/Data/IntMap.idr) 37/212: Building Libraries.Data.IOArray (src/Libraries/Data/IOArray.idr) 38/212: Building Libraries.Data.UserNameMap (src/Libraries/Data/UserNameMap.idr) 39/212: Building Libraries.Utils.Binary (src/Libraries/Utils/Binary.idr) 40/212: Building Core.Context.Context (src/Core/Context/Context.idr) 41/212: Building Libraries.Data.IMaybe (src/Libraries/Data/IMaybe.idr) 42/212: Building Core.Core (src/Core/Core.idr) 43/212: Building Core.Options (src/Core/Options.idr) 44/212: Building Libraries.Data.IOMatrix (src/Libraries/Data/IOMatrix.idr) 45/212: Building Libraries.Data.List.Extra (src/Libraries/Data/List/Extra.idr) 46/212: Building Libraries.Text.Distance.Levenshtein (src/Libraries/Text/Distance/Levenshtein.idr) 47/212: Building Core.Context (src/Core/Context.idr) 48/212: Building Compiler.LambdaLift (src/Compiler/LambdaLift.idr) 49/212: Building Compiler.ANF (src/Compiler/ANF.idr) 50/212: Building Core.Context.Log (src/Core/Context/Log.idr) 51/212: Building Core.Ord (src/Core/Ord.idr) 52/212: Building Libraries.Data.SortedMap (src/Libraries/Data/SortedMap.idr) 53/212: Building Compiler.Opts.CSE (src/Compiler/Opts/CSE.idr) 54/212: Building Core.Value (src/Core/Value.idr) 55/212: Building Core.Primitives (src/Core/Primitives.idr) 56/212: Building Core.Normalise.Eval (src/Core/Normalise/Eval.idr) 57/212: Building Core.Normalise.Quote (src/Core/Normalise/Quote.idr) 58/212: Building Core.Normalise.Convert (src/Core/Normalise/Convert.idr) 59/212: Building Core.Normalise (src/Core/Normalise.idr) 60/212: Building Compiler.CompileExpr (src/Compiler/CompileExpr.idr) 61/212: Building Compiler.CaseOpts (src/Compiler/CaseOpts.idr) 62/212: Building Compiler.Identity (src/Compiler/Identity.idr) 63/212: Building Libraries.Data.LengthMatch (src/Libraries/Data/LengthMatch.idr) 64/212: Building Compiler.Inline (src/Compiler/Inline.idr) 65/212: Building Compiler.VMCode (src/Compiler/VMCode.idr) 66/212: Building Libraries.Data.PosMap (src/Libraries/Data/PosMap.idr) 67/212: Building Core.Binary.Prims (src/Core/Binary/Prims.idr) 68/212: Building Core.Directory (src/Core/Directory.idr) 69/212: Building Core.TTC (src/Core/TTC.idr) 70/212: Building Compiler.Common (src/Compiler/Common.idr) 71/212: Building Core.InitPrimitives (src/Core/InitPrimitives.idr) 72/212: Building Core.UnifyState (src/Core/UnifyState.idr) 73/212: Building Core.Binary (src/Core/Binary.idr) 74/212: Building Core.Metadata (src/Core/Metadata.idr) 75/212: Building Core.GetType (src/Core/GetType.idr) 76/212: Building Core.Unify (src/Core/Unify.idr) 77/212: Building IdrisPaths (src/IdrisPaths.idr) 78/212: Building Libraries.Data.Version (src/Libraries/Data/Version.idr) 79/212: Building Idris.Version (src/Idris/Version.idr) 80/212: Building Idris.CommandLine (src/Idris/CommandLine.idr) 81/212: Building Compiler.Generated (src/Compiler/Generated.idr) 82/212: Building Compiler.Scheme.Common (src/Compiler/Scheme/Common.idr) 83/212: Building Libraries.Utils.Hex (src/Libraries/Utils/Hex.idr) 84/212: Building Compiler.Scheme.Chez (src/Compiler/Scheme/Chez.idr) 85/212: Building Compiler.Scheme.Racket (src/Compiler/Scheme/Racket.idr) 86/212: Building Compiler.Scheme.Gambit (src/Compiler/Scheme/Gambit.idr) 87/212: Building Core.AutoSearch (src/Core/AutoSearch.idr) 88/212: Building Libraries.Data.ANameMap (src/Libraries/Data/ANameMap.idr) 89/212: Building Libraries.Control.ANSI.SGR (src/Libraries/Control/ANSI/SGR.idr) 90/212: Building Parser.Lexer.Common (src/Parser/Lexer/Common.idr) 91/212: Building Libraries.Text.Lexer.Tokenizer (src/Libraries/Text/Lexer/Tokenizer.idr) 92/212: Building Libraries.Utils.Octal (src/Libraries/Utils/Octal.idr) 93/212: Building Parser.Lexer.Source (src/Parser/Lexer/Source.idr) 94/212: Building TTImp.TTImp (src/TTImp/TTImp.idr) 95/212: Building Idris.Syntax (src/Idris/Syntax.idr) 96/212: Building Libraries.Text.Literate (src/Libraries/Text/Literate.idr) 97/212: Building Parser.Unlit (src/Parser/Unlit.idr) 98/212: Building Core.LinearCheck (src/Core/LinearCheck.idr) 99/212: Building TTImp.Elab.Check (src/TTImp/Elab/Check.idr) 100/212: Building TTImp.Elab.Delayed (src/TTImp/Elab/Delayed.idr) 101/212: Building Core.Reflect (src/Core/Reflect.idr) 102/212: Building TTImp.Elab.Ambiguity (src/TTImp/Elab/Ambiguity.idr) 103/212: Building TTImp.Elab.ImplicitBind (src/TTImp/Elab/ImplicitBind.idr) 104/212: Building TTImp.Elab.Dot (src/TTImp/Elab/Dot.idr) 105/212: Building TTImp.Elab.App (src/TTImp/Elab/App.idr) 106/212: Building TTImp.Elab.As (src/TTImp/Elab/As.idr) 107/212: Building TTImp.Elab.Binders (src/TTImp/Elab/Binders.idr) 108/212: Building TTImp.Elab.Utils (src/TTImp/Elab/Utils.idr) 109/212: Building TTImp.Utils (src/TTImp/Utils.idr) 110/212: Building TTImp.Elab.Case (src/TTImp/Elab/Case.idr) 111/212: Building TTImp.Elab.Hole (src/TTImp/Elab/Hole.idr) 112/212: Building TTImp.Elab.Lazy (src/TTImp/Elab/Lazy.idr) 113/212: Building TTImp.Elab.Local (src/TTImp/Elab/Local.idr) 114/212: Building TTImp.Elab.Prim (src/TTImp/Elab/Prim.idr) 115/212: Building TTImp.Reflect (src/TTImp/Reflect.idr) 116/212: Building TTImp.Elab.Quote (src/TTImp/Elab/Quote.idr) 117/212: Building TTImp.Elab.Record (src/TTImp/Elab/Record.idr) 118/212: Building TTImp.Elab.Rewrite (src/TTImp/Elab/Rewrite.idr) 119/212: Building TTImp.TTImp.Functor (src/TTImp/TTImp/Functor.idr) 120/212: Building TTImp.Unelab (src/TTImp/Unelab.idr) 121/212: Building TTImp.Elab.RunElab (src/TTImp/Elab/RunElab.idr) 122/212: Building TTImp.Elab.Term (src/TTImp/Elab/Term.idr) 123/212: Building TTImp.Elab (src/TTImp/Elab.idr) 124/212: Building Core.CaseBuilder (src/Core/CaseBuilder.idr) 125/212: Building Core.Coverage (src/Core/Coverage.idr) 126/212: Building Core.Termination (src/Core/Termination.idr) 127/212: Building Core.Transform (src/Core/Transform.idr) 128/212: Building TTImp.BindImplicits (src/TTImp/BindImplicits.idr) 129/212: Building TTImp.Impossible (src/TTImp/Impossible.idr) 130/212: Building TTImp.PartialEval (src/TTImp/PartialEval.idr) 131/212: Building TTImp.WithClause (src/TTImp/WithClause.idr) 132/212: Building TTImp.ProcessDef (src/TTImp/ProcessDef.idr) 133/212: Building Parser.Support (src/Parser/Support.idr) 134/212: Building Parser.Rule.Source (src/Parser/Rule/Source.idr) 135/212: Building Parser.Source (src/Parser/Source.idr) 136/212: Building TTImp.Parser (src/TTImp/Parser.idr) 137/212: Building Libraries.Data.Fin (src/Libraries/Data/Fin.idr) 138/212: Building TTImp.ProcessBuiltin (src/TTImp/ProcessBuiltin.idr) 139/212: Building Core.Context.Data (src/Core/Context/Data.idr) 140/212: Building TTImp.ProcessData (src/TTImp/ProcessData.idr) 141/212: Building TTImp.ProcessParams (src/TTImp/ProcessParams.idr) 142/212: Building TTImp.ProcessRecord (src/TTImp/ProcessRecord.idr) 143/212: Building TTImp.ProcessRunElab (src/TTImp/ProcessRunElab.idr) 144/212: Building TTImp.ProcessTransform (src/TTImp/ProcessTransform.idr) 145/212: Building TTImp.ProcessType (src/TTImp/ProcessType.idr) 146/212: Building TTImp.ProcessDecls (src/TTImp/ProcessDecls.idr) 147/212: Building TTImp.Interactive.CaseSplit (src/TTImp/Interactive/CaseSplit.idr) 148/212: Building TTImp.Interactive.ExprSearch (src/TTImp/Interactive/ExprSearch.idr) 149/212: Building Idris.REPL.Opts (src/Idris/REPL/Opts.idr) 150/212: Building Libraries.Control.ANSI.CSI (src/Libraries/Control/ANSI/CSI.idr) 151/212: Building Libraries.Control.ANSI (src/Libraries/Control/ANSI.idr) 152/212: Building Libraries.Text.PrettyPrint.Prettyprinter.Render.Terminal (src/Libraries/Text/PrettyPrint/Prettyprinter/Render/Terminal.idr) 153/212: Building Libraries.Utils.Term (src/Libraries/Utils/Term.idr) 154/212: Building Idris.Pretty.Render (src/Idris/Pretty/Render.idr) 155/212: Building Idris.Pretty (src/Idris/Pretty.idr) 156/212: Building Idris.Resugar (src/Idris/Resugar.idr) 157/212: Building Idris.Doc.String (src/Idris/Doc/String.idr) 158/212: Building Idris.Elab.Implementation (src/Idris/Elab/Implementation.idr) 159/212: Building Idris.Elab.Interface (src/Idris/Elab/Interface.idr) 160/212: Building Idris.Desugar.Mutual (src/Idris/Desugar/Mutual.idr) 161/212: Building Libraries.Utils.Shunting (src/Libraries/Utils/Shunting.idr) 162/212: Building Idris.Desugar (src/Idris/Desugar.idr) 163/212: Building Libraries.Data.List1 (src/Libraries/Data/List1.idr) 164/212: Building Idris.Error (src/Idris/Error.idr) 165/212: Building Idris.Parser.Let (src/Idris/Parser/Let.idr) 166/212: Building Idris.Parser (src/Idris/Parser.idr) 167/212: Building Compiler.RefC.CC (src/Compiler/RefC/CC.idr) 168/212: Building Libraries.Data.DList (src/Libraries/Data/DList.idr) 169/212: Building Libraries.Data.SortedSet (src/Libraries/Data/SortedSet.idr) 170/212: Building Compiler.RefC.RefC (src/Compiler/RefC/RefC.idr) 171/212: Building Libraries.Data.Graph (src/Libraries/Data/Graph.idr) 172/212: Building Compiler.Separate (src/Compiler/Separate.idr) 173/212: Building Compiler.Scheme.ChezSep (src/Compiler/Scheme/ChezSep.idr) 174/212: Building Compiler.ES.Ast (src/Compiler/ES/Ast.idr) 175/212: Building Compiler.ES.Doc (src/Compiler/ES/Doc.idr) 176/212: Building Compiler.ES.State (src/Compiler/ES/State.idr) 177/212: Building Compiler.ES.ToAst (src/Compiler/ES/ToAst.idr) 178/212: Building Compiler.ES.TailRec (src/Compiler/ES/TailRec.idr) 179/212: Building Compiler.ES.Codegen (src/Compiler/ES/Codegen.idr) 180/212: Building Compiler.ES.Node (src/Compiler/ES/Node.idr) 181/212: Building Compiler.ES.Javascript (src/Compiler/ES/Javascript.idr) 182/212: Building Compiler.Interpreter.VMCode (src/Compiler/Interpreter/VMCode.idr) 183/212: Building Idris.IDEMode.Commands (src/Idris/IDEMode/Commands.idr) 184/212: Building Idris.IDEMode.Holes (src/Idris/IDEMode/Holes.idr) 185/212: Building Idris.REPL.Common (src/Idris/REPL/Common.idr) 186/212: Building Idris.ProcessIdr (src/Idris/ProcessIdr.idr) 187/212: Building Idris.ModTree (src/Idris/ModTree.idr) 188/212: Building Parser.Lexer.Package (src/Parser/Lexer/Package.idr) 189/212: Building Parser.Rule.Package (src/Parser/Rule/Package.idr) 190/212: Building Parser.Package (src/Parser/Package.idr) 191/212: Building Libraries.System.Directory.Tree (src/Libraries/System/Directory/Tree.idr) 192/212: Building Libraries.Text.PrettyPrint.Prettyprinter.Render.HTML (src/Libraries/Text/PrettyPrint/Prettyprinter/Render/HTML.idr) 193/212: Building Libraries.Text.PrettyPrint.Prettyprinter.SimpleDocTree (src/Libraries/Text/PrettyPrint/Prettyprinter/SimpleDocTree.idr) 194/212: Building Idris.Package.Types (src/Idris/Package/Types.idr) 195/212: Building Idris.Doc.HTML (src/Idris/Doc/HTML.idr) 196/212: Building Idris.IDEMode.TokenLine (src/Idris/IDEMode/TokenLine.idr) 197/212: Building Idris.IDEMode.CaseSplit (src/Idris/IDEMode/CaseSplit.idr) 198/212: Building Idris.IDEMode.MakeClause (src/Idris/IDEMode/MakeClause.idr) 199/212: Building Idris.REPL.FuzzySearch (src/Idris/REPL/FuzzySearch.idr) 200/212: Building TTImp.Interactive.GenerateDef (src/TTImp/Interactive/GenerateDef.idr) 201/212: Building TTImp.Interactive.MakeLemma (src/TTImp/Interactive/MakeLemma.idr) 202/212: Building Idris.REPL (src/Idris/REPL.idr) 203/212: Building Idris.SetOptions (src/Idris/SetOptions.idr) 204/212: Building Idris.Package.Init (src/Idris/Package/Init.idr) 205/212: Building Idris.Package (src/Idris/Package.idr) 206/212: Building Idris.IDEMode.Parser (src/Idris/IDEMode/Parser.idr) 207/212: Building Idris.IDEMode.SyntaxHighlight (src/Idris/IDEMode/SyntaxHighlight.idr) 208/212: Building Idris.IDEMode.REPL (src/Idris/IDEMode/REPL.idr) 209/212: Building Yaffle.REPL (src/Yaffle/REPL.idr) 210/212: Building Yaffle.Main (src/Yaffle/Main.idr) 211/212: Building Idris.Driver (src/Idris/Driver.idr) 212/212: Building Idris.Main (src/Idris/Main.idr) make -C libs/prelude IDRIS2=/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 IDRIS2_INC_CGS=chez IDRIS2_PATH="/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/test/build/ttc" make[2]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude' /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/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 '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude' make -C libs/base IDRIS2=/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 IDRIS2_INC_CGS=chez IDRIS2_PATH="/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/test/build/ttc" make[2]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base' /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 --build base.ipkg 1/95: Building Data.Fuel (Data/Fuel.idr) 2/95: Building Control.Relation (Control/Relation.idr) 3/95: Building Control.Order (Control/Order.idr) 4/95: Building Data.Nat (Data/Nat.idr) 5/95: Building Data.Zippable (Data/Zippable.idr) 6/95: Building Data.List1 (Data/List1.idr) 7/95: Building Data.Maybe (Data/Maybe.idr) 8/95: Building Decidable.Equality.Core (Decidable/Equality/Core.idr) 9/95: Building Data.Fin (Data/Fin.idr) 10/95: Building Data.List (Data/List.idr) 11/95: Building Data.Either (Data/Either.idr) 12/95: Building Decidable.Equality (Decidable/Equality.idr) 13/95: Building Data.List.Elem (Data/List/Elem.idr) 14/95: Building System.Errno (System/Errno.idr) 15/95: Building System.Signal (System/Signal.idr) 16/95: Building Data.Buffer (Data/Buffer.idr) 17/95: Building System.File.Support (System/File/Support.idr) 18/95: Building System.File.Types (System/File/Types.idr) 19/95: Building System.File.Error (System/File/Error.idr) 20/95: Building System.Info (System/Info.idr) 21/95: Building System.File.Mode (System/File/Mode.idr) 22/95: Building System.File.Handle (System/File/Handle.idr) 23/95: Building System.File.Meta (System/File/Meta.idr) 24/95: Building System.File.ReadWrite (System/File/ReadWrite.idr) 25/95: Building System.File.Buffer (System/File/Buffer.idr) 26/95: Building System.File.Permissions (System/File/Permissions.idr) 27/95: Building System.File.Process (System/File/Process.idr) 28/95: Building System.File.Virtual (System/File/Virtual.idr) 29/95: Building System.File (System/File.idr) 30/95: Building System.REPL (System/REPL.idr) 31/95: Building System.FFI (System/FFI.idr) 32/95: Building System.Directory (System/Directory.idr) 33/95: Building Data.IORef (Data/IORef.idr) 34/95: Building System.Concurrency (System/Concurrency.idr) 35/95: Building Data.String (Data/String.idr) 36/95: Building System.Clock (System/Clock.idr) 37/95: Building Data.Bool (Data/Bool.idr) 38/95: Building Data.So (Data/So.idr) 39/95: Building System (System.idr) 40/95: Building Language.Reflection.TT (Language/Reflection/TT.idr) 41/95: Building Language.Reflection.TTImp (Language/Reflection/TTImp.idr) 42/95: Building Language.Reflection (Language/Reflection.idr) 43/95: Building Debug.Trace (Debug/Trace.idr) 44/95: Building Data.DPair (Data/DPair.idr) 45/95: Building Data.Vect (Data/Vect.idr) 46/95: Building Data.Vect.Quantifiers (Data/Vect/Quantifiers.idr) 47/95: Building Data.Vect.AtIndex (Data/Vect/AtIndex.idr) 48/95: Building Data.Vect.Elem (Data/Vect/Elem.idr) 49/95: Building Data.These (Data/These.idr) 50/95: Building Data.Stream (Data/Stream.idr) 51/95: Building Control.Monad.ST (Control/Monad/ST.idr) 52/95: Building Data.Ref (Data/Ref.idr) 53/95: Building Data.Primitives.Views (Data/Primitives/Views.idr) 54/95: Building Data.Contravariant (Data/Contravariant.idr) 55/95: Building Data.Morphisms (Data/Morphisms.idr) 56/95: Building Data.List.Quantifiers (Data/List/Quantifiers.idr) 57/95: Building Control.WellFounded (Control/WellFounded.idr) 58/95: Building Data.Nat.Views (Data/Nat/Views.idr) 59/95: Building Data.List.Views (Data/List/Views.idr) 60/95: Building Data.SnocList (Data/SnocList.idr) 61/95: Building Data.SnocList.Elem (Data/SnocList/Elem.idr) 62/95: Building Data.IOArray.Prims (Data/IOArray/Prims.idr) 63/95: Building Data.IOArray (Data/IOArray.idr) 64/95: Building Data.Fun (Data/Fun.idr) 65/95: Building Data.Rel (Data/Rel.idr) 66/95: Building Decidable.Decidable (Decidable/Decidable.idr) 67/95: Building Data.Nat.Order (Data/Nat/Order.idr) 68/95: Building Data.Fin.Order (Data/Fin/Order.idr) 69/95: Building Data.Colist (Data/Colist.idr) 70/95: Building Data.Colist1 (Data/Colist1.idr) 71/95: Building Data.Bool.Xor (Data/Bool/Xor.idr) 72/95: Building Data.Bifoldable (Data/Bifoldable.idr) 73/95: Building Control.Monad.Trans (Control/Monad/Trans.idr) 74/95: Building Control.Monad.Maybe (Control/Monad/Maybe.idr) 75/95: Building Control.Monad.Error.Either (Control/Monad/Error/Either.idr) 76/95: Building Data.Bits (Data/Bits.idr) 77/95: Building Control.Monad.Identity (Control/Monad/Identity.idr) 78/95: Building Control.Monad.Reader.Reader (Control/Monad/Reader/Reader.idr) 79/95: Building Control.Monad.State.State (Control/Monad/State/State.idr) 80/95: Building Control.Monad.RWS.CPS (Control/Monad/RWS/CPS.idr) 81/95: Building Control.Monad.Writer.CPS (Control/Monad/Writer/CPS.idr) 82/95: Building Control.Monad.Writer.Interface (Control/Monad/Writer/Interface.idr) 83/95: Building Control.Monad.Writer (Control/Monad/Writer.idr) 84/95: Building Control.Monad.State.Interface (Control/Monad/State/Interface.idr) 85/95: Building Control.Monad.State (Control/Monad/State.idr) 86/95: Building Control.Monad.Reader.Interface (Control/Monad/Reader/Interface.idr) 87/95: Building Control.Monad.Reader (Control/Monad/Reader.idr) 88/95: Building Control.Monad.RWS.Interface (Control/Monad/RWS/Interface.idr) 89/95: Building Control.Monad.RWS (Control/Monad/RWS.idr) 90/95: Building Control.Monad.Error.Interface (Control/Monad/Error/Interface.idr) 91/95: Building Control.Monad.Either (Control/Monad/Either.idr) 92/95: Building Control.Applicative.Const (Control/Applicative/Const.idr) 93/95: Building Control.App (Control/App.idr) 94/95: Building Control.App.FileIO (Control/App/FileIO.idr) 95/95: Building Control.App.Console (Control/App/Console.idr) make[2]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base' make -C libs/contrib IDRIS2=/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 IDRIS2_INC_CGS=chez IDRIS2_PATH="/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/test/build/ttc" make[2]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib' /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 --build contrib.ipkg 1/129: Building Data.String.Extra (Data/String/Extra.idr) 2/129: Building Text.PrettyPrint.Prettyprinter.Doc (Text/PrettyPrint/Prettyprinter/Doc.idr) 3/129: Building Control.Delayed (Control/Delayed.idr) 4/129: Building Text.Bounded (Text/Bounded.idr) 5/129: Building Text.Parser.Core (Text/Parser/Core.idr) 6/129: Building Text.Quantity (Text/Quantity.idr) 7/129: Building Text.Token (Text/Token.idr) 8/129: Building Text.Parser (Text/Parser.idr) 9/129: Building Text.PrettyPrint.Prettyprinter.SimpleDocTree (Text/PrettyPrint/Prettyprinter/SimpleDocTree.idr) 10/129: Building Control.ANSI.CSI (Control/ANSI/CSI.idr) 11/129: Building Control.ANSI.SGR (Control/ANSI/SGR.idr) 12/129: Building Control.ANSI (Control/ANSI.idr) 13/129: Building Text.PrettyPrint.Prettyprinter.Render.Terminal (Text/PrettyPrint/Prettyprinter/Render/Terminal.idr) 14/129: Building Text.PrettyPrint.Prettyprinter.Render.HTML (Text/PrettyPrint/Prettyprinter/Render/HTML.idr) 15/129: Building Text.Lexer.Core (Text/Lexer/Core.idr) 16/129: Building Text.Lexer (Text/Lexer.idr) 17/129: Building Text.Literate (Text/Literate.idr) 18/129: Building Text.PrettyPrint.Prettyprinter.Symbols (Text/PrettyPrint/Prettyprinter/Symbols.idr) 19/129: Building Text.PrettyPrint.Prettyprinter (Text/PrettyPrint/Prettyprinter.idr) 20/129: Building Text.PrettyPrint.Prettyprinter.Render.String (Text/PrettyPrint/Prettyprinter/Render/String.idr) 21/129: Building Text.PrettyPrint.Prettyprinter.Util (Text/PrettyPrint/Prettyprinter/Util.idr) 22/129: Building Text.Lexer.Tokenizer (Text/Lexer/Tokenizer.idr) 23/129: Building System.Random (System/Random.idr) 24/129: Building System.Future (System/Future.idr) 25/129: Building System.Path (System/Path.idr) 26/129: Building System.Directory.Tree (System/Directory/Tree.idr) 27/129: Building System.Console.GetOpt (System/Console/GetOpt.idr) 28/129: Building Data.List.Lazy (Data/List/Lazy.idr) 29/129: Building Data.List.Lazy.Quantifiers (Data/List/Lazy/Quantifiers.idr) 30/129: Building Search.Negation (Search/Negation.idr) 31/129: Building Search.HDecidable (Search/HDecidable.idr) 32/129: Building Search.Generator (Search/Generator.idr) 33/129: Building Search.Properties (Search/Properties.idr) 34/129: Building Language.JSON.String.Tokens (Language/JSON/String/Tokens.idr) 35/129: Building Language.JSON.String.Lexer (Language/JSON/String/Lexer.idr) 36/129: Building Language.JSON.String.Parser (Language/JSON/String/Parser.idr) 37/129: Building Language.JSON.String (Language/JSON/String.idr) 38/129: Building Language.JSON.Tokens (Language/JSON/Tokens.idr) 39/129: Building Language.JSON.Lexer (Language/JSON/Lexer.idr) 40/129: Building Language.JSON.Data (Language/JSON/Data.idr) 41/129: Building Language.JSON.Parser (Language/JSON/Parser.idr) 42/129: Building Language.JSON (Language/JSON.idr) 43/129: Building Data.HVect (Data/HVect.idr) 44/129: Building Data.Fun.Extra (Data/Fun/Extra.idr) 45/129: Building Data.Rel.Complement (Data/Rel/Complement.idr) 46/129: Building Decidable.Decidable.Extra (Decidable/Decidable/Extra.idr) 47/129: Building Debug.Buffer (Debug/Buffer.idr) 48/129: Building Data.Vect.Views.Extra (Data/Vect/Views/Extra.idr) 49/129: Building Data.Vect.Sort (Data/Vect/Sort.idr) 50/129: Building Data.Vect.Properties.Tabulate (Data/Vect/Properties/Tabulate.idr) 51/129: Building Syntax.PreorderReasoning (Syntax/PreorderReasoning.idr) 52/129: Building Data.Vect.Properties.Index (Data/Vect/Properties/Index.idr) 53/129: Building Syntax.PreorderReasoning.Generic (Syntax/PreorderReasoning/Generic.idr) 54/129: Building Data.Vect.Properties.Foldr (Data/Vect/Properties/Foldr.idr) 55/129: Building Data.Vect.Extra (Data/Vect/Extra.idr) 56/129: Building Data.Vect.Properties.Map (Data/Vect/Properties/Map.idr) 57/129: Building Data.Vect.Properties.Fin (Data/Vect/Properties/Fin.idr) 58/129: Building Data.Vect.Properties (Data/Vect/Properties.idr) 59/129: Building Data.Binary.Digit (Data/Binary/Digit.idr) 60/129: Building Data.Nat.Properties (Data/Nat/Properties.idr) 61/129: Building Data.Binary (Data/Binary.idr) 62/129: Building Data.IMaybe (Data/IMaybe.idr) 63/129: Building Control.Algebra (Control/Algebra.idr) 64/129: Building Data.Monoid.Exponentiation (Data/Monoid/Exponentiation.idr) 65/129: Building Data.Num.Implementations (Data/Num/Implementations.idr) 66/129: Building Data.Nat.Exponentiation (Data/Nat/Exponentiation.idr) 67/129: Building Decidable.Order.Strict (Decidable/Order/Strict.idr) 68/129: Building Data.Nat.Order.Strict (Data/Nat/Order/Strict.idr) 69/129: Building Data.Void (Data/Void.idr) 70/129: Building Data.Bool.Decidable (Data/Bool/Decidable.idr) 71/129: Building Data.Nat.Order.Properties (Data/Nat/Order/Properties.idr) 72/129: Building Syntax.WithProof (Syntax/WithProof.idr) 73/129: Building Data.Tree.Perfect (Data/Tree/Perfect.idr) 74/129: Building Data.Vect.Binary (Data/Vect/Binary.idr) 75/129: Building Data.Validated (Data/Validated.idr) 76/129: Building Data.Telescope.Telescope (Data/Telescope/Telescope.idr) 77/129: Building Data.Telescope.Segment (Data/Telescope/Segment.idr) 78/129: Building Data.Telescope.SimpleFun (Data/Telescope/SimpleFun.idr) 79/129: Building Data.Telescope.Fun (Data/Telescope/Fun.idr) 80/129: Building Data.Telescope.Congruence (Data/Telescope/Congruence.idr) 81/129: Building Data.Telescope (Data/Telescope.idr) 82/129: Building Data.String.Position (Data/String/Position.idr) 83/129: Building Data.String.Parser (Data/String/Parser.idr) 84/129: Building Data.String.Parser.Expression (Data/String/Parser/Expression.idr) 85/129: Building Data.String.Iterator (Data/String/Iterator.idr) 86/129: Building Data.String.Interpolation (Data/String/Interpolation.idr) 87/129: Building Data.Stream.Extra (Data/Stream/Extra.idr) 88/129: Building Data.SortedMap.Dependent (Data/SortedMap/Dependent.idr) 89/129: Building Data.SortedMap (Data/SortedMap.idr) 90/129: Building Data.SortedSet (Data/SortedSet.idr) 91/129: Building Data.Late (Data/Late.idr) 92/129: Building Data.InductionRecursion.DybjerSetzer (Data/InductionRecursion/DybjerSetzer.idr) 93/129: Building Data.Recursion.Free (Data/Recursion/Free.idr) 94/129: Building Data.Path (Data/Path.idr) 95/129: Building Data.List.HasLength (Data/List/HasLength.idr) 96/129: Building Data.List.AtIndex (Data/List/AtIndex.idr) 97/129: Building Data.OpenUnion (Data/OpenUnion.idr) 98/129: Building Data.Nat.Order.Relation (Data/Nat/Order/Relation.idr) 99/129: Building Data.Nat.Fib (Data/Nat/Fib.idr) 100/129: Building Data.Fin.Extra (Data/Fin/Extra.idr) 101/129: Building Data.Nat.Equational (Data/Nat/Equational.idr) 102/129: Building Data.Nat.Factor (Data/Nat/Factor.idr) 103/129: Building Data.Nat.Fact (Data/Nat/Fact.idr) 104/129: Building Data.Nat.Division (Data/Nat/Division.idr) 105/129: Building Data.Nat.Ack (Data/Nat/Ack.idr) 106/129: Building Data.Nat.Algebra (Data/Nat/Algebra.idr) 107/129: Building Data.Morphisms.Algebra (Data/Morphisms/Algebra.idr) 108/129: Building Data.Logic.Propositional (Data/Logic/Propositional.idr) 109/129: Building Data.List.Elem.Extra (Data/List/Elem/Extra.idr) 110/129: Building Data.List.Equalities (Data/List/Equalities.idr) 111/129: Building Data.List.Reverse (Data/List/Reverse.idr) 112/129: Building Data.List.Views.Extra (Data/List/Views/Extra.idr) 113/129: Building Data.List.Palindrome (Data/List/Palindrome.idr) 114/129: Building Data.List.Extra (Data/List/Extra.idr) 115/129: Building Data.List.TailRec (Data/List/TailRec.idr) 116/129: Building Data.List.Algebra (Data/List/Algebra.idr) 117/129: Building Data.Linear.Array (Data/Linear/Array.idr) 118/129: Building Data.Order (Data/Order.idr) 119/129: Building Data.Int.Order (Data/Int/Order.idr) 120/129: Building Data.Fun.Graph (Data/Fun/Graph.idr) 121/129: Building Data.Container (Data/Container.idr) 122/129: Building Data.Bool.Algebra (Data/Bool/Algebra.idr) 123/129: Building Control.Validation (Control/Validation.idr) 124/129: Building Control.Category (Control/Category.idr) 125/129: Building Control.Arrow (Control/Arrow.idr) 126/129: Building Control.Algebra.Implementations (Control/Algebra/Implementations.idr) 127/129: Building Control.Algebra.Laws (Control/Algebra/Laws.idr) 128/129: Building Control.Monad.Algebra (Control/Monad/Algebra.idr) 129/129: Building Control.Linear.LIO (Control/Linear/LIO.idr) make[2]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib' make -C libs/network IDRIS2=/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 IDRIS2_INC_CGS=chez IDRIS2_PATH="/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/test/build/ttc" make[2]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network' /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/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 '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network' make -C libs/test IDRIS2=/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 IDRIS2_INC_CGS=chez IDRIS2_PATH="/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/test/build/ttc" make[2]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/test' /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 --build test.ipkg 1/1: Building Test.Golden (Test/Golden.idr) make[2]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/test' make[1]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1' make test INTERACTIVE='' IDRIS2_PREFIX=/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/bootstrap-build make[1]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1' make[2]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1' make install-support PREFIX=/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/env make[3]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1' mkdir -p /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/env/idris2-0.5.1/support/docs mkdir -p /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/env/idris2-0.5.1/support/racket mkdir -p /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/env/idris2-0.5.1/support/gambit mkdir -p /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/env/idris2-0.5.1/support/js install -m 644 support/docs/*.css /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/env/idris2-0.5.1/support/docs install -m 644 support/racket/* /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/env/idris2-0.5.1/support/racket install -m 644 support/gambit/* /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/env/idris2-0.5.1/support/gambit install -m 644 support/js/* /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/env/idris2-0.5.1/support/js make[4]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/support/c' mkdir -p /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/env/idris2-0.5.1/lib mkdir -p /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/env/idris2-0.5.1/include install -m 755 libidris2_support.so /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/env/idris2-0.5.1/lib install -m 644 libidris2_support.a /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/env/idris2-0.5.1/lib install -m 644 *.h /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/env/idris2-0.5.1/include make[4]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/support/c' make[4]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/support/refc' mkdir -p /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/env/idris2-0.5.1/refc install -m 644 libidris2_refc.a *.h /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/env/idris2-0.5.1/refc make[4]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/support/refc' make[4]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/support/chez' mkdir -p /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/env/idris2-0.5.1/support/chez install -m 644 *.ss /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/env/idris2-0.5.1/support/chez make[4]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/support/chez' make[3]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1' ln -sf /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/env/idris2-0.5.1/prelude-0.5.1 ln -sf /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/env/idris2-0.5.1/base-0.5.1 ln -sf /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/test/build/ttc /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/env/idris2-0.5.1/test-0.5.1 ln -sf /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/env/idris2-0.5.1/contrib-0.5.1 ln -sf /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network/build/ttc /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/env/idris2-0.5.1/network-0.5.1 make[2]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1' make[2]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/tests' /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 --build tests.ipkg 1/1: Building Main (Main.idr) make[2]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/tests' NOTE: `make test` does not rebuild Idris or the libraries packaged with it; to do that run `make` make[2]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/tests' ./build/exec/runtests /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 --timing --failure-file failures --threads 32 --only ------------------------------------------------------------------------ TTImp ------------------------------------------------------------------------ ttimp/qtt001: success 00.583s ttimp/basic002: success 00.591s ttimp/total003: success 00.590s ttimp/perf001: success 00.679s ttimp/basic006: success 00.698s ttimp/record002: success 00.710s ttimp/perf003: success 00.721s ttimp/basic004: success 00.805s ttimp/qtt003: success 00.832s ttimp/nest001: success 00.868s ttimp/eta001: success 00.882s ttimp/total001: success 00.889s ttimp/basic005: success 00.899s ttimp/nest002: success 00.908s ttimp/coverage002: success 00.919s ttimp/total002: success 00.929s ttimp/basic003: success 01.640s ttimp/perf002: success 01.139s ttimp/record003: success 01.210s ttimp/record001: success 01.341s ttimp/basic001: success 01.385s ttimp/lazy001: success 01.774s ttimp/dot001: success 01.925s ------------------------------------------------------------------------ Fundamental language features ------------------------------------------------------------------------ idris2/basic005: success 00.958s idris2/basic030: success 01.350s idris2/basic010: success 01.520s idris2/basic018: success 01.900s idris2/basic031: success 01.121s idris2/basic014: success 01.126s idris2/basic009: success 01.168s idris2/basic028: success 01.321s idris2/basic001: success 01.324s idris2/basic006: success 01.415s idris2/basic002: success 01.418s idris2/basic004: success 01.424s idris2/basic008: success 01.439s idris2/basic027: success 01.507s idris2/basic026: success 01.509s idris2/basic015: success 01.521s idris2/basic021: success 01.525s idris2/basic007: success 01.531s idris2/basic019: success 01.554s idris2/basic012: success 01.589s idris2/basic022: success 01.609s idris2/basic013: success 01.622s idris2/basic016: success 01.768s idris2/basic017: success 01.789s idris2/basic003: success 01.827s idris2/basic029: success 02.600s idris2/basic023: success 02.109s idris2/basic024: success 02.111s idris2/basic020: success 02.431s idris2/basic025: success 02.508s idris2/basic011: success 02.608s idris2/basic032: success 02.629s idris2/basic049: success 01.990s idris2/basic034: success 01.108s idris2/basic051: success 01.209s idris2/interpolation001: success 01.475s idris2/basic041: success 01.498s idris2/basic040: success 01.518s idris2/basic042: success 03.984s idris2/basic039: success 01.500s idris2/basic033: success 01.541s idris2/basic059: success 01.624s idris2/basic045: success 01.637s idris2/basic057: success 01.640s idris2/basic056: success 01.712s idris2/basic061: success 01.714s idris2/basic054: success 01.769s idris2/basic052: success 01.784s idris2/basic038: success 01.960s idris2/basic047: success 01.801s idris2/basic037: success 02.202s idris2/basic036: success 02.140s idris2/basic035: success 02.212s idris2/interpolation002: success 01.968s idris2/basic050: success 02.227s idris2/basic046: success 02.425s idris2/basic058: success 02.572s idris2/basic053: success 02.574s idris2/basic060: success 02.699s idris2/basic043: success 03.400s idris2/basic055: success 02.851s idris2/basic044: success 02.583s ------------------------------------------------------------------------ Coverage checking ------------------------------------------------------------------------ idris2/coverage007: success 00.675s idris2/coverage014: success 00.716s idris2/coverage004: success 00.749s idris2/coverage010: success 00.869s idris2/coverage003: success 00.997s idris2/coverage008: success 01.590s idris2/coverage005: success 01.710s idris2/coverage009: success 01.940s idris2/coverage019: success 01.930s idris2/coverage006: success 01.970s idris2/coverage002: success 01.166s idris2/coverage013: success 01.230s idris2/coverage011: success 01.275s idris2/coverage015: success 01.280s idris2/coverage017: success 01.284s idris2/coverage012: success 01.419s idris2/coverage016: success 01.745s idris2/coverage018: success 01.808s idris2/coverage001: success 02.524s ------------------------------------------------------------------------ Case tree building ------------------------------------------------------------------------ idris2/casetree001: success 01.525s ------------------------------------------------------------------------ Error messages ------------------------------------------------------------------------ idris2/perror005: success 00.700s idris2/perror004: success 00.703s idris2/perror009: success 00.707s idris2/perror006: success 00.709s idris2/perror001: success 00.709s idris2/perror002: success 00.719s idris2/error008: success 00.772s idris2/error009: success 00.807s idris2/error012: success 00.808s idris2/error015: success 00.848s idris2/error010: success 00.850s idris2/error020: success 00.880s idris2/error005: success 00.880s idris2/error011: success 00.885s idris2/error019: success 00.891s idris2/error001: success 00.940s idris2/error007: success 00.951s idris2/error014: success 00.953s idris2/error013: success 00.967s idris2/error003: success 00.970s idris2/error006: success 00.992s idris2/perror003: success 01.186s idris2/error002: success 01.188s idris2/error021: success 01.251s idris2/error004: success 01.527s idris2/error017: success 01.787s idris2/perror011: success 01.891s idris2/error018: success 02.356s idris2/perror010: success 02.712s idris2/error016: success 02.718s idris2/perror008: success 03.462s idris2/perror007: success 05.795s ------------------------------------------------------------------------ Warnings ------------------------------------------------------------------------ idris2/warning001: success 04.133s ------------------------------------------------------------------------ Interactive editing ------------------------------------------------------------------------ idris2/interactive016: success 03.325s idris2/interactive002: success 01.109s idris2/interactive020: success 01.850s idris2/interactive011: success 01.137s idris2/interactive025: success 01.470s idris2/interactive022: success 01.475s idris2/interactive026: success 01.488s idris2/interactive024: success 01.572s idris2/interactive001: success 01.603s idris2/interactive006: success 01.611s idris2/interactive008: success 01.616s idris2/interactive014: success 01.624s idris2/interactive023: success 01.630s idris2/interactive029: success 01.458s idris2/interactive004: success 01.672s idris2/interactive007: success 01.669s idris2/interactive009: success 01.698s idris2/interactive012: success 01.702s idris2/interactive017: success 01.729s idris2/interactive010: success 01.741s idris2/interactive021: success 01.687s idris2/interactive005: success 01.994s idris2/interactive027: success 01.658s idris2/interactive018: success 01.985s idris2/interactive003: success 02.421s idris2/interactive019: success 02.183s idris2/interactive013: success 01.499s idris2/interactive015: success 02.780s idris2/interactive028: success 00.698s idris2/interactive030: success 00.710s idris2/interactive032: success 00.974s idris2/interactive031: success 01.260s idris2/interactive036: success 00.806s idris2/interactive033: success 00.812s idris2/interactive037: success 00.851s idris2/interactive035: success 00.883s idris2/interactive034: success 02.480s ------------------------------------------------------------------------ Interface ------------------------------------------------------------------------ idris2/interface013: success 00.706s idris2/interface002: success 00.803s idris2/interface026: success 00.967s idris2/interface016: success 00.998s idris2/interface008: success 01.300s idris2/interface019: success 01.530s idris2/interface015: success 01.590s idris2/interface005: success 01.174s idris2/interface020: success 01.309s idris2/interface021: success 01.362s idris2/interface012: success 01.402s idris2/interface010: success 01.408s idris2/interface004: success 01.485s idris2/interface017: success 01.487s idris2/interface014: success 01.492s idris2/interface025: success 01.499s idris2/interface009: success 01.508s idris2/interface011: success 01.509s idris2/interface007: success 01.575s idris2/interface003: success 01.595s idris2/interface006: success 01.859s idris2/interface024: success 01.930s idris2/interface027: success 02.169s idris2/interface001: success 02.187s idris2/interface023: success 02.341s idris2/interface022: success 02.386s idris2/interface018: success 03.568s ------------------------------------------------------------------------ Literate programming ------------------------------------------------------------------------ idris2/literate015: success 01.470s idris2/literate004: success 01.580s idris2/literate010: success 01.590s idris2/literate001: success 01.760s idris2/literate016: success 01.820s idris2/literate012: success 01.870s idris2/literate014: success 01.890s idris2/literate008: success 01.102s idris2/literate005: success 01.121s idris2/literate006: success 01.131s idris2/literate009: success 01.141s idris2/literate011: success 01.141s idris2/literate003: success 01.804s idris2/literate013: success 01.867s idris2/literate002: success 01.897s idris2/literate007: success 02.840s ------------------------------------------------------------------------ Quantities ------------------------------------------------------------------------ idris2/linear007: success 00.578s idris2/linear002: success 00.626s idris2/linear003: success 00.628s idris2/linear001: success 00.630s idris2/linear006: success 00.854s idris2/linear013: success 00.904s idris2/linear014: success 00.929s idris2/linear012: success 00.938s idris2/linear010: success 00.945s idris2/linear009: success 00.954s idris2/linear008: success 01.400s idris2/linear011: success 01.600s idris2/linear005: success 01.220s ------------------------------------------------------------------------ Performance ------------------------------------------------------------------------ idris2/perf003: success 00.852s idris2/perf007: success 00.880s idris2/perf004: success 00.890s idris2/perf002: success 00.989s idris2/perf001: success 01.337s idris2/perf005: success 01.747s idris2/perf009: success 02.456s idris2/perf008: success 02.814s ------------------------------------------------------------------------ Various regressions ------------------------------------------------------------------------ idris2/reg003: success 01.236s idris2/reg004: success 00.801s idris2/reg002: success 00.829s idris2/reg001: success 00.905s idris2/reg005: success 00.986s idris2/reg015: success 00.991s idris2/reg019: success 01.180s idris2/reg007: success 01.310s idris2/reg010: success 01.410s idris2/reg023: success 01.430s idris2/reg017: success 01.470s idris2/reg013: success 01.660s idris2/reg032: success 01.127s idris2/reg024: success 01.143s idris2/reg020: success 01.197s idris2/reg022: success 01.258s idris2/reg031: success 01.383s idris2/reg006: success 01.386s idris2/reg021: success 01.411s idris2/reg014: success 01.413s idris2/reg009: success 01.472s idris2/reg011: success 01.478s idris2/reg026: success 01.480s idris2/reg027: success 01.493s idris2/reg016: success 01.517s idris2/reg030: success 01.519s idris2/reg028: success 01.536s idris2/reg029: success 01.539s idris2/reg012: success 01.559s idris2/reg025: success 01.605s idris2/reg018: success 01.682s idris2/reg008: success 01.698s idris2/reg041: success 00.644s idris2/reg040: success 00.650s idris2/reg050: success 00.664s idris2/reg048: success 00.683s idris2/reg039: success 00.687s idris2/reg034: success 00.692s idris2/reg044: success 00.701s idris2/reg043: success 00.938s idris2/reg035: success 00.990s idris2/reg042: success 01.380s idris2/reg036: success 01.390s idris2/reg046: success 01.650s idris2/reg038: success 01.160s idris2/reg037: success 01.168s idris2/reg045: success 01.169s idris2/reg049: success 01.207s idris2/reg033: success 01.458s idris2/reg047: success 01.632s ------------------------------------------------------------------------ Data and record types ------------------------------------------------------------------------ idris2/record007: success 00.999s idris2/record009: success 01.400s idris2/record003: success 01.180s idris2/data001: success 01.370s idris2/record008: success 01.870s idris2/record005: success 01.121s idris2/record006: success 01.132s idris2/record001: success 01.504s idris2/record002: success 01.736s idris2/record004: success 03.665s ------------------------------------------------------------------------ Builtin types and functions ------------------------------------------------------------------------ idris2/builtin004: success 00.620s idris2/builtin008: success 00.625s idris2/builtin002: success 00.676s idris2/builtin006: success 00.680s idris2/builtin010: success 00.705s idris2/builtin003: success 00.877s idris2/builtin005: success 00.886s idris2/builtin007: success 00.889s idris2/builtin001: success 00.918s idris2/builtin009: success 01.990s idris2/builtin011: success 01.119s ------------------------------------------------------------------------ Evaluation ------------------------------------------------------------------------ idris2/interpreter002: success 00.556s idris2/evaluator001: success 00.934s idris2/interpreter001: success 00.978s idris2/interpreter005: success 01.580s idris2/evaluator002: success 01.211s idris2/interpreter007: success 01.250s idris2/evaluator003: success 01.752s idris2/interpreter003: success 01.945s idris2/interpreter006: success 02.207s idris2/interpreter004: success 04.425s ------------------------------------------------------------------------ Totality checking ------------------------------------------------------------------------ idris2/total007: success 00.648s idris2/total008: success 00.712s idris2/total002: success 00.960s idris2/total001: success 00.973s idris2/total009: success 00.983s idris2/positivity001: success 01.129s idris2/total010: success 01.132s idris2/total005: success 01.133s idris2/positivity002: success 01.139s idris2/total003: success 01.144s idris2/total004: success 01.153s idris2/positivity003: success 01.169s idris2/total006: success 01.205s idris2/positivity004: success 01.650s idris2/total011: success 02.581s idris2/total012: success 05.328s ------------------------------------------------------------------------ Misc ------------------------------------------------------------------------ idris2/namespace002: success 01.380s idris2/pkg010: success 01.185s idris2/lazy001: success 01.222s idris2/pkg009: success 01.223s idris2/pkg008: success 01.230s idris2/pkg001: success 01.312s idris2/docs001: success 01.421s idris2/reflection003: success 01.451s idris2/import004: success 01.455s idris2/import002: success 01.469s idris2/pkg002: success 01.572s idris2/params002: success 01.595s idris2/params003: success 01.606s idris2/eta001: success 01.662s idris2/docs003: success 02.510s idris2/docs002: success 02.950s idris2/lazy002: success 02.192s idris2/params001: success 02.213s idris2/reflection002: success 02.325s idris2/pkg004: success 02.326s idris2/namespace001: success 02.335s idris2/reflection001: success 02.359s idris2/real001: success 02.429s idris2/import003: success 02.477s idris2/import005: success 02.608s idris2/reflection004: success 02.632s idris2/import001: success 02.775s idris2/pkg006: success 03.200s idris2/pkg005: success 03.101s idris2/pkg007: success 03.192s idris2/real002: success 03.475s idris2/pkg003: success 03.944s idris2/reflection006: success 00.759s idris2/with006: success 01.150s idris2/pretty001: success 01.250s idris2/with002: success 01.320s idris2/reflection005: success 01.500s idris2/reflection010: success 01.114s idris2/with001: success 01.128s idris2/reflection007: success 01.232s idris2/reflection009: success 01.381s idris2/reflection008: success 01.435s idris2/with005: success 01.853s idris2/with004: success 01.860s idris2/with003: success 02.356s idris2/golden001: success 02.835s ------------------------------------------------------------------------ Type Driven Development ------------------------------------------------------------------------ typedd-book/chapter03: success 01.788s typedd-book/chapter07: success 01.811s typedd-book/chapter02: success 01.862s typedd-book/chapter09: success 01.927s typedd-book/chapter13: success 01.934s typedd-book/chapter08: success 01.988s typedd-book/chapter14: success 02.150s typedd-book/chapter05: success 02.170s typedd-book/chapter10: success 02.730s typedd-book/chapter01: success 02.274s typedd-book/chapter12: success 02.521s typedd-book/chapter06: success 02.203s typedd-book/chapter11: success 02.690s typedd-book/chapter04: success 02.261s ------------------------------------------------------------------------ IDE mode ------------------------------------------------------------------------ ideMode/ideMode004: success 00.814s ideMode/ideMode003: success 00.929s ideMode/ideMode002: success 01.910s ideMode/ideMode001: success 01.106s ideMode/ideMode005: success 16.680s ------------------------------------------------------------------------ Prelude library ------------------------------------------------------------------------ prelude/reg001: success 00.777s prelude/nat001: success 00.855s ------------------------------------------------------------------------ Base library ✓ Found Chez at /usr/bin/chez ✗ node not found ------------------------------------------------------------------------ ------------------------------------------------------------------------ Contrib library ✓ Found Chez at /usr/bin/chez ✗ node not found ------------------------------------------------------------------------ ------------------------------------------------------------------------ Chez backend ✓ Found Chez at /usr/bin/chez ------------------------------------------------------------------------ chez/chez016: success 01.886s chez/chez009: success 01.888s chez/chez008: success 01.902s chez/chez007: success 01.980s chez/chez001: success 02.150s chez/chez003: success 02.200s chez/chez005: success 02.310s chez/chez030: success 02.770s chez/chez025: success 02.980s chez/chez022: success 02.102s chez/chez018: success 02.126s chez/chez015: success 02.138s chez/chez013: success 02.152s chez/chez026: success 02.156s chez/chez024: success 02.189s chez/chez017: success 02.200s chez/chez010: success 02.207s chez/chez002: success 02.236s chez/chez012: success 02.247s chez/chez029: success 02.423s chez/chez019: success 02.442s chez/chez023: success 02.453s chez/chez014: success 02.510s chez/chez028: success 02.615s chez/chez031: success 03.931s chez/chez004: success 02.655s chez/chez020: success 02.688s chez/chez027: success 02.730s chez/chez021: success 02.731s chez/chez011: success 02.837s chez/chez006: success 02.682s chez/chez032: success 02.913s chez/perf001: success 01.295s chez/semaphores001: success 01.343s chez/channels003: success 01.358s chez/chez034: success 01.366s chez/channels004: success 01.370s chez/channels002: success 01.449s chez/channels005: success 01.460s chez/memo: success 01.464s chez/semaphores002: success 01.469s chez/reg001: success 01.633s chez/chez033: success 01.764s chez/bitops: success 02.230s chez/channels001: success 02.250s chez/casts: success 03.456s chez/newints: success 03.617s chez/futures001: success 04.123s chez/integers: success 05.748s ------------------------------------------------------------------------ Reference counting C backend ✓ Found C at gcc ------------------------------------------------------------------------ refc/refc001: success 01.141s refc/refc002: success 01.263s refc/clock: success 01.338s refc/doubles: success 01.385s refc/args: success 01.667s refc/buffer: success 02.196s refc/strings: success 02.385s refc/integers: success 09.496s ------------------------------------------------------------------------ Racket backend ✗ racket not found ------------------------------------------------------------------------ ------------------------------------------------------------------------ Node backend ✗ node not found ------------------------------------------------------------------------ ------------------------------------------------------------------------ VMCode interpreter ------------------------------------------------------------------------ vmcode/basic001: success 00.938s ------------------------------------------------------------------------ Test templates ------------------------------------------------------------------------ templates/with-ipkg: success 00.596s templates/simple-test: success 01.200s templates/ttimp: success 01.390s ------------------------------------------------------------------------ Code generation ------------------------------------------------------------------------ codegen/con001: success 01.354s codegen/builtin001: success 02.783s ------------------------------------------------------------------------ Test across all backends: Chez instance ✓ Found Chez at /usr/bin/chez ------------------------------------------------------------------------ allbackends/perf006: success 01.335s allbackends/evaluator004: success 03.246s allbackends/basic048: success 03.915s ------------------------------------------------------------------------ Test across all backends: node instance ✗ node not found ------------------------------------------------------------------------ ------------------------------------------------------------------------ Test across all backends: racket instance ✗ racket not found ------------------------------------------------------------------------ 469/469 tests successful make[2]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/tests' make[1]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1' >>> idris2-stage0: Entering fakeroot... mkdir -p /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/bin/ mkdir -p /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/support/docs make -C libs/prelude install IDRIS2?=/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 IDRIS2_PATH="/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/test/build/ttc" install /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/bin mkdir -p /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/support/racket mkdir -p /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/lib/ make[1]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude' /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 --install prelude.ipkg mkdir -p /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/support/gambit install support/c/libidris2_support.so /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/lib mkdir -p /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/support/js mkdir -p /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/bin/idris2_app install -m 644 support/docs/*.css /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/support/docs install /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2_app/* /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/bin/idris2_app install -m 644 support/racket/* /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/support/racket install -m 644 support/gambit/* /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/support/gambit install -m 644 support/js/* /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/support/js make[1]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/support/c' mkdir -p /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/lib mkdir -p /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/include install -m 755 libidris2_support.so /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/lib install -m 644 libidris2_support.a /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/lib install -m 644 *.h /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/include make[1]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/support/c' make[1]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/support/refc' mkdir -p /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/refc install -m 644 libidris2_refc.a *.h /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/refc make[1]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/support/refc' make[1]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/support/chez' mkdir -p /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/support/chez install -m 644 *.ss /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/support/chez make[1]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/support/chez' Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc/Builtin.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/prelude-0.5.1 Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc/PrimIO.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/prelude-0.5.1 Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc/Prelude.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/prelude-0.5.1 Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc/Prelude/Basics.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/prelude-0.5.1/Prelude Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc/Prelude/Cast.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/prelude-0.5.1/Prelude Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc/Prelude/EqOrd.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/prelude-0.5.1/Prelude Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc/Prelude/Interfaces.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/prelude-0.5.1/Prelude Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc/Prelude/IO.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/prelude-0.5.1/Prelude Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc/Prelude/Num.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/prelude-0.5.1/Prelude Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc/Prelude/Ops.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/prelude-0.5.1/Prelude Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc/Prelude/Show.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/prelude-0.5.1/Prelude Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc/Prelude/Types.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/prelude-0.5.1/Prelude Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc/Prelude/Uninhabited.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/prelude-0.5.1/Prelude make[1]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude' make -C libs/base install IDRIS2?=/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 IDRIS2_PATH="/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/test/build/ttc" make[1]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base' /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 --install base.ipkg Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/App.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Control Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/App/Console.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Control/App Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/App/FileIO.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Control/App Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Applicative/Const.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Control/Applicative Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/Either.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Control/Monad Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/Error/Either.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Control/Monad/Error Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/Error/Interface.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Control/Monad/Error Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/Identity.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Control/Monad Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/Maybe.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Control/Monad Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/RWS.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Control/Monad Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/RWS/CPS.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Control/Monad/RWS Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/RWS/Interface.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Control/Monad/RWS Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/Reader.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Control/Monad Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/Reader/Interface.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Control/Monad/Reader Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/Reader/Reader.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Control/Monad/Reader Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/ST.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Control/Monad Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/State.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Control/Monad Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/State/Interface.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Control/Monad/State Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/State/State.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Control/Monad/State Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/Trans.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Control/Monad Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/Writer.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Control/Monad Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/Writer/CPS.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Control/Monad/Writer Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Monad/Writer/Interface.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Control/Monad/Writer Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/WellFounded.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Control Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Relation.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Control Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Control/Order.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Control Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Bifoldable.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Bits.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Bool.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Bool/Xor.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data/Bool Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Buffer.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Colist.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Colist1.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Contravariant.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/DPair.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Either.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Fin.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Fin/Order.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data/Fin Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Fuel.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Fun.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/IOArray.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/IOArray/Prims.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data/IOArray Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/IORef.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/List.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/SnocList.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/SnocList/Elem.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data/SnocList Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/List/Elem.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data/List Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/List/Views.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data/List Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/List/Quantifiers.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data/List Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/List1.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Maybe.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Morphisms.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Nat.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Nat/Order.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data/Nat Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Nat/Views.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data/Nat Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Primitives/Views.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data/Primitives Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Ref.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Rel.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/So.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Stream.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/String.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/These.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Vect.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Vect/Elem.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data/Vect Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Vect/AtIndex.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data/Vect Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Vect/Quantifiers.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data/Vect Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Data/Zippable.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Debug/Trace.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Debug Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Decidable/Decidable.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Decidable Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Decidable/Equality.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Decidable Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Decidable/Equality/Core.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Decidable/Equality Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Language/Reflection.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Language Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Language/Reflection/TT.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Language/Reflection Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/Language/Reflection/TTImp.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/Language/Reflection Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1 Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/Clock.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/System Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/Concurrency.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/System Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/Directory.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/System Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/Errno.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/System Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/FFI.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/System Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/File.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/System Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/File/Buffer.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/System/File Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/File/Error.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/System/File Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/File/Handle.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/System/File Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/File/Meta.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/System/File Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/File/Mode.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/System/File Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/File/Permissions.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/System/File Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/File/Process.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/System/File Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/File/ReadWrite.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/System/File Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/File/Support.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/System/File Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/File/Types.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/System/File Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/File/Virtual.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/System/File Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/Info.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/System Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/REPL.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/System Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc/System/Signal.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/base-0.5.1/System make[1]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base' make -C libs/contrib install IDRIS2?=/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 IDRIS2_PATH="/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/test/build/ttc" make[1]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib' /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 --install contrib.ipkg Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Control/ANSI.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Control Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Control/ANSI/SGR.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Control/ANSI Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Control/ANSI/CSI.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Control/ANSI Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Control/Delayed.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Control Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Control/Linear/LIO.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Control/Linear Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Control/Monad/Algebra.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Control/Monad Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Control/Algebra.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Control Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Control/Algebra/Laws.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Control/Algebra Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Control/Algebra/Implementations.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Control/Algebra Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Control/Arrow.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Control Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Control/Category.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Control Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Control/Validation.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Control Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Binary/Digit.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Binary Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Binary.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Bool/Algebra.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Bool Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Bool/Decidable.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Bool Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Container.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Fin/Extra.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Fin Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Fun/Extra.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Fun Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Fun/Graph.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Fun Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/IMaybe.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/InductionRecursion/DybjerSetzer.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/InductionRecursion Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Int/Order.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Int Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Late.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Linear/Array.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Linear Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/List/Algebra.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/List Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/List/TailRec.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/List Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/List/Equalities.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/List Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/List/Extra.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/List Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/List/Reverse.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/List Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/List/Views/Extra.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/List/Views Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/List/Palindrome.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/List Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/List/HasLength.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/List Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/List/AtIndex.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/List Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/List/Elem/Extra.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/List/Elem Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/List/Lazy.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/List Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/List/Lazy/Quantifiers.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/List/Lazy Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Logic/Propositional.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Logic Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Monoid/Exponentiation.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Monoid Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Morphisms/Algebra.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Morphisms Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Nat/Algebra.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Nat Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Nat/Ack.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Nat Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Nat/Division.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Nat Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Nat/Equational.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Nat Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Nat/Exponentiation.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Nat Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Nat/Fact.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Nat Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Nat/Factor.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Nat Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Nat/Fib.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Nat Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Nat/Order/Strict.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Nat/Order Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Nat/Order/Properties.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Nat/Order Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Nat/Order/Relation.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Nat/Order Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Nat/Properties.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Nat Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Num/Implementations.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Num Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/OpenUnion.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Order.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Path.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Recursion/Free.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Recursion Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Rel/Complement.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Rel Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/SortedMap.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/SortedMap/Dependent.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/SortedMap Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/SortedSet.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Stream/Extra.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Stream Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/String/Extra.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/String Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/String/Interpolation.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/String Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/String/Iterator.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/String Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/String/Parser.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/String Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/String/Parser/Expression.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/String/Parser Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/String/Position.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/String Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Telescope.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Telescope/Telescope.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Telescope Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Telescope/Segment.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Telescope Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Telescope/Fun.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Telescope Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Telescope/SimpleFun.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Telescope Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Telescope/Congruence.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Telescope Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Tree/Perfect.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Tree Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Validated.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Vect/Binary.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Vect Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Vect/Properties.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Vect Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Vect/Properties/Tabulate.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Vect/Properties Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Vect/Properties/Index.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Vect/Properties Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Vect/Properties/Foldr.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Vect/Properties Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Vect/Properties/Map.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Vect/Properties Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Vect/Properties/Fin.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Vect/Properties Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Vect/Extra.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Vect Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Vect/Sort.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Vect Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Vect/Views/Extra.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data/Vect/Views Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/Void.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Data/HVect.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Data Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Debug/Buffer.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Debug Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Decidable/Order/Strict.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Decidable/Order Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Decidable/Decidable/Extra.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Decidable/Decidable Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Language/JSON.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Language Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Language/JSON/Data.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Language/JSON Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Language/JSON/Lexer.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Language/JSON Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Language/JSON/Parser.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Language/JSON Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Language/JSON/String.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Language/JSON Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Language/JSON/String/Lexer.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Language/JSON/String Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Language/JSON/String/Parser.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Language/JSON/String Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Language/JSON/String/Tokens.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Language/JSON/String Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Language/JSON/Tokens.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Language/JSON Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Search/Generator.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Search Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Search/HDecidable.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Search Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Search/Negation.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Search Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Search/Properties.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Search Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Syntax/WithProof.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Syntax Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Syntax/PreorderReasoning.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Syntax Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Syntax/PreorderReasoning/Generic.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Syntax/PreorderReasoning Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/System/Console/GetOpt.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/System/Console Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/System/Directory/Tree.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/System/Directory Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/System/Future.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/System Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/System/Random.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/System Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/System/Path.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/System Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/Bounded.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Text Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/Lexer.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Text Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/Lexer/Core.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Text/Lexer Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/Lexer/Tokenizer.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Text/Lexer Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/Literate.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Text Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/Parser.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Text Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/Parser/Core.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Text/Parser Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Text/PrettyPrint Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Doc.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Text/PrettyPrint/Prettyprinter Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Render/HTML.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Text/PrettyPrint/Prettyprinter/Render Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Render/String.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Text/PrettyPrint/Prettyprinter/Render Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Render/Terminal.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Text/PrettyPrint/Prettyprinter/Render Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/SimpleDocTree.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Text/PrettyPrint/Prettyprinter Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Symbols.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Text/PrettyPrint/Prettyprinter Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/PrettyPrint/Prettyprinter/Util.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Text/PrettyPrint/Prettyprinter Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/Quantity.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Text Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc/Text/Token.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/contrib-0.5.1/Text make[1]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib' make -C libs/network install IDRIS2?=/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 IDRIS2_PATH="/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/test/build/ttc" make[1]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network' /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 --install network.ipkg Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network/build/ttc/Control/Linear/Network.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/network-0.5.1/Control/Linear Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network/build/ttc/Network/Socket.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/network-0.5.1/Network Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network/build/ttc/Network/Socket/Data.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/network-0.5.1/Network/Socket Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network/build/ttc/Network/Socket/Raw.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/network-0.5.1/Network/Socket Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network/build/ttc/Network/FFI.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/network-0.5.1/Network make[1]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network' make -C libs/test install IDRIS2?=/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 IDRIS2_PATH="/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/prelude/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/base/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/contrib/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/network/build/ttc:/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/test/build/ttc" make[1]: Entering directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/test' /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/build/exec/idris2 --install test.ipkg Installing /home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/test/build/ttc/Test/Golden.ttc to /home/buildozer/aports/testing/idris2-stage0/pkg/idris2-stage0/usr/idris2-0.5.1/test-0.5.1/Test make[1]: Leaving directory '/home/buildozer/aports/testing/idris2-stage0/src/Idris2-0.5.1/libs/test' >>> idris2-stage0*: Running postcheck for idris2-stage0 >>> idris2-stage0*: Preparing package idris2-stage0... >>> idris2-stage0*: Stripping binaries >>> idris2-stage0*: Scanning shared objects >>> idris2-stage0*: Tracing dependencies... chez-scheme gmp-dev so:libc.musl-x86_64.so.1 >>> idris2-stage0*: Package size: 51.3 MB >>> idris2-stage0*: Compressing data... >>> idris2-stage0*: Create checksum... >>> idris2-stage0*: Create idris2-stage0-0.5.1-r1.apk >>> idris2-stage0: Build complete at Tue, 26 Apr 2022 16:56:14 +0000 elapsed time 0h 12m 31s >>> idris2-stage0: Cleaning up srcdir >>> idris2-stage0: Cleaning up pkgdir >>> idris2-stage0: Uninstalling dependencies... (1/7) Purging .makedepends-idris2-stage0 (20220426.164345) (2/7) Purging chez-scheme (9.5.8-r0) (3/7) Purging gmp-dev (6.2.1-r2) (4/7) Purging libgmpxx (6.2.1-r2) (5/7) Purging bash (5.1.16-r2) Executing bash-5.1.16-r2.pre-deinstall (6/7) Purging libuuid (2.38-r1) (7/7) Purging readline (8.1.2-r0) Executing busybox-1.35.0-r10.trigger OK: 332 MiB in 98 packages >>> idris2-stage0: Updating the testing/x86_64 repository index... >>> idris2-stage0: Signing the index...