@comment $NetBSD: PLIST,v 1.1 2023/11/06 17:17:50 pho Exp $
bin/idris2
${PKGNAME}/base-${PKGVERSION}/Control/App.so
${PKGNAME}/base-${PKGVERSION}/Control/App.ttc
${PKGNAME}/base-${PKGVERSION}/Control/App/Console.so
${PKGNAME}/base-${PKGVERSION}/Control/App/Console.ttc
${PKGNAME}/base-${PKGVERSION}/Control/App/FileIO.so
${PKGNAME}/base-${PKGVERSION}/Control/App/FileIO.ttc
${PKGNAME}/base-${PKGVERSION}/Control/Applicative/Const.so
${PKGNAME}/base-${PKGVERSION}/Control/Applicative/Const.ttc
${PKGNAME}/base-${PKGVERSION}/Control/Function.so
${PKGNAME}/base-${PKGVERSION}/Control/Function.ttc
${PKGNAME}/base-${PKGVERSION}/Control/Function/FunExt.so
${PKGNAME}/base-${PKGVERSION}/Control/Function/FunExt.ttc
${PKGNAME}/base-${PKGVERSION}/Control/Monad/Either.ttc
${PKGNAME}/base-${PKGVERSION}/Control/Monad/Error/Either.so
${PKGNAME}/base-${PKGVERSION}/Control/Monad/Error/Either.ttc
${PKGNAME}/base-${PKGVERSION}/Control/Monad/Error/Interface.so
${PKGNAME}/base-${PKGVERSION}/Control/Monad/Error/Interface.ttc
${PKGNAME}/base-${PKGVERSION}/Control/Monad/Identity.so
${PKGNAME}/base-${PKGVERSION}/Control/Monad/Identity.ttc
${PKGNAME}/base-${PKGVERSION}/Control/Monad/Maybe.so
${PKGNAME}/base-${PKGVERSION}/Control/Monad/Maybe.ttc
${PKGNAME}/base-${PKGVERSION}/Control/Monad/RWS.ttc
${PKGNAME}/base-${PKGVERSION}/Control/Monad/RWS/CPS.so
${PKGNAME}/base-${PKGVERSION}/Control/Monad/RWS/CPS.ttc
${PKGNAME}/base-${PKGVERSION}/Control/Monad/RWS/Interface.so
${PKGNAME}/base-${PKGVERSION}/Control/Monad/RWS/Interface.ttc
${PKGNAME}/base-${PKGVERSION}/Control/Monad/Reader.ttc
${PKGNAME}/base-${PKGVERSION}/Control/Monad/Reader/Interface.so
${PKGNAME}/base-${PKGVERSION}/Control/Monad/Reader/Interface.ttc
${PKGNAME}/base-${PKGVERSION}/Control/Monad/Reader/Reader.so
${PKGNAME}/base-${PKGVERSION}/Control/Monad/Reader/Reader.ttc
${PKGNAME}/base-${PKGVERSION}/Control/Monad/ST.so
${PKGNAME}/base-${PKGVERSION}/Control/Monad/ST.ttc
${PKGNAME}/base-${PKGVERSION}/Control/Monad/State.ttc
${PKGNAME}/base-${PKGVERSION}/Control/Monad/State/Interface.so
${PKGNAME}/base-${PKGVERSION}/Control/Monad/State/Interface.ttc
${PKGNAME}/base-${PKGVERSION}/Control/Monad/State/State.so
${PKGNAME}/base-${PKGVERSION}/Control/Monad/State/State.ttc
${PKGNAME}/base-${PKGVERSION}/Control/Monad/Trans.so
${PKGNAME}/base-${PKGVERSION}/Control/Monad/Trans.ttc
${PKGNAME}/base-${PKGVERSION}/Control/Monad/Writer.ttc
${PKGNAME}/base-${PKGVERSION}/Control/Monad/Writer/CPS.so
${PKGNAME}/base-${PKGVERSION}/Control/Monad/Writer/CPS.ttc
${PKGNAME}/base-${PKGVERSION}/Control/Monad/Writer/Interface.so
${PKGNAME}/base-${PKGVERSION}/Control/Monad/Writer/Interface.ttc
${PKGNAME}/base-${PKGVERSION}/Control/Ord.so
${PKGNAME}/base-${PKGVERSION}/Control/Ord.ttc
${PKGNAME}/base-${PKGVERSION}/Control/Order.so
${PKGNAME}/base-${PKGVERSION}/Control/Order.ttc
${PKGNAME}/base-${PKGVERSION}/Control/Relation.so
${PKGNAME}/base-${PKGVERSION}/Control/Relation.ttc
${PKGNAME}/base-${PKGVERSION}/Control/WellFounded.so
${PKGNAME}/base-${PKGVERSION}/Control/WellFounded.ttc
${PKGNAME}/base-${PKGVERSION}/Data/Bifoldable.so
${PKGNAME}/base-${PKGVERSION}/Data/Bifoldable.ttc
${PKGNAME}/base-${PKGVERSION}/Data/Bits.so
${PKGNAME}/base-${PKGVERSION}/Data/Bits.ttc
${PKGNAME}/base-${PKGVERSION}/Data/Bool.so
${PKGNAME}/base-${PKGVERSION}/Data/Bool.ttc
${PKGNAME}/base-${PKGVERSION}/Data/Bool/Xor.so
${PKGNAME}/base-${PKGVERSION}/Data/Bool/Xor.ttc
${PKGNAME}/base-${PKGVERSION}/Data/Buffer.so
${PKGNAME}/base-${PKGVERSION}/Data/Buffer.ttc
${PKGNAME}/base-${PKGVERSION}/Data/Colist.so
${PKGNAME}/base-${PKGVERSION}/Data/Colist.ttc
${PKGNAME}/base-${PKGVERSION}/Data/Colist1.so
${PKGNAME}/base-${PKGVERSION}/Data/Colist1.ttc
${PKGNAME}/base-${PKGVERSION}/Data/Contravariant.so
${PKGNAME}/base-${PKGVERSION}/Data/Contravariant.ttc
${PKGNAME}/base-${PKGVERSION}/Data/DPair.so
${PKGNAME}/base-${PKGVERSION}/Data/DPair.ttc
${PKGNAME}/base-${PKGVERSION}/Data/Either.so
${PKGNAME}/base-${PKGVERSION}/Data/Either.ttc
${PKGNAME}/base-${PKGVERSION}/Data/Fin.so
${PKGNAME}/base-${PKGVERSION}/Data/Fin.ttc
${PKGNAME}/base-${PKGVERSION}/Data/Fin/Order.so
${PKGNAME}/base-${PKGVERSION}/Data/Fin/Order.ttc
${PKGNAME}/base-${PKGVERSION}/Data/Fuel.so
${PKGNAME}/base-${PKGVERSION}/Data/Fuel.ttc
${PKGNAME}/base-${PKGVERSION}/Data/Fun.so
${PKGNAME}/base-${PKGVERSION}/Data/Fun.ttc
${PKGNAME}/base-${PKGVERSION}/Data/IOArray.so
${PKGNAME}/base-${PKGVERSION}/Data/IOArray.ttc
${PKGNAME}/base-${PKGVERSION}/Data/IOArray/Prims.so
${PKGNAME}/base-${PKGVERSION}/Data/IOArray/Prims.ttc
${PKGNAME}/base-${PKGVERSION}/Data/IORef.so
${PKGNAME}/base-${PKGVERSION}/Data/IORef.ttc
${PKGNAME}/base-${PKGVERSION}/Data/List.so
${PKGNAME}/base-${PKGVERSION}/Data/List.ttc
${PKGNAME}/base-${PKGVERSION}/Data/List/Elem.so
${PKGNAME}/base-${PKGVERSION}/Data/List/Elem.ttc
${PKGNAME}/base-${PKGVERSION}/Data/List/Quantifiers.so
${PKGNAME}/base-${PKGVERSION}/Data/List/Quantifiers.ttc
${PKGNAME}/base-${PKGVERSION}/Data/List/Views.so
${PKGNAME}/base-${PKGVERSION}/Data/List/Views.ttc
${PKGNAME}/base-${PKGVERSION}/Data/List1.so
${PKGNAME}/base-${PKGVERSION}/Data/List1.ttc
${PKGNAME}/base-${PKGVERSION}/Data/List1/Elem.so
${PKGNAME}/base-${PKGVERSION}/Data/List1/Elem.ttc
${PKGNAME}/base-${PKGVERSION}/Data/List1/Properties.so
${PKGNAME}/base-${PKGVERSION}/Data/List1/Properties.ttc
${PKGNAME}/base-${PKGVERSION}/Data/List1/Quantifiers.so
${PKGNAME}/base-${PKGVERSION}/Data/List1/Quantifiers.ttc
${PKGNAME}/base-${PKGVERSION}/Data/Maybe.so
${PKGNAME}/base-${PKGVERSION}/Data/Maybe.ttc
${PKGNAME}/base-${PKGVERSION}/Data/Morphisms.so
${PKGNAME}/base-${PKGVERSION}/Data/Morphisms.ttc
${PKGNAME}/base-${PKGVERSION}/Data/Nat.so
${PKGNAME}/base-${PKGVERSION}/Data/Nat.ttc
${PKGNAME}/base-${PKGVERSION}/Data/Nat/Order.so
${PKGNAME}/base-${PKGVERSION}/Data/Nat/Order.ttc
${PKGNAME}/base-${PKGVERSION}/Data/Nat/Views.so
${PKGNAME}/base-${PKGVERSION}/Data/Nat/Views.ttc
${PKGNAME}/base-${PKGVERSION}/Data/Primitives/Views.so
${PKGNAME}/base-${PKGVERSION}/Data/Primitives/Views.ttc
${PKGNAME}/base-${PKGVERSION}/Data/Ref.so
${PKGNAME}/base-${PKGVERSION}/Data/Ref.ttc
${PKGNAME}/base-${PKGVERSION}/Data/Rel.so
${PKGNAME}/base-${PKGVERSION}/Data/Rel.ttc
${PKGNAME}/base-${PKGVERSION}/Data/Singleton.so
${PKGNAME}/base-${PKGVERSION}/Data/Singleton.ttc
${PKGNAME}/base-${PKGVERSION}/Data/SnocList.so
${PKGNAME}/base-${PKGVERSION}/Data/SnocList.ttc
${PKGNAME}/base-${PKGVERSION}/Data/SnocList/Elem.so
${PKGNAME}/base-${PKGVERSION}/Data/SnocList/Elem.ttc
${PKGNAME}/base-${PKGVERSION}/Data/SnocList/Operations.so
${PKGNAME}/base-${PKGVERSION}/Data/SnocList/Operations.ttc
${PKGNAME}/base-${PKGVERSION}/Data/SnocList/Quantifiers.so
${PKGNAME}/base-${PKGVERSION}/Data/SnocList/Quantifiers.ttc
${PKGNAME}/base-${PKGVERSION}/Data/So.so
${PKGNAME}/base-${PKGVERSION}/Data/So.ttc
${PKGNAME}/base-${PKGVERSION}/Data/Stream.so
${PKGNAME}/base-${PKGVERSION}/Data/Stream.ttc
${PKGNAME}/base-${PKGVERSION}/Data/String.so
${PKGNAME}/base-${PKGVERSION}/Data/String.ttc
${PKGNAME}/base-${PKGVERSION}/Data/These.so
${PKGNAME}/base-${PKGVERSION}/Data/These.ttc
${PKGNAME}/base-${PKGVERSION}/Data/Vect.so
${PKGNAME}/base-${PKGVERSION}/Data/Vect.ttc
${PKGNAME}/base-${PKGVERSION}/Data/Vect/AtIndex.so
${PKGNAME}/base-${PKGVERSION}/Data/Vect/AtIndex.ttc
${PKGNAME}/base-${PKGVERSION}/Data/Vect/Elem.so
${PKGNAME}/base-${PKGVERSION}/Data/Vect/Elem.ttc
${PKGNAME}/base-${PKGVERSION}/Data/Vect/Quantifiers.so
${PKGNAME}/base-${PKGVERSION}/Data/Vect/Quantifiers.ttc
${PKGNAME}/base-${PKGVERSION}/Data/Zippable.so
${PKGNAME}/base-${PKGVERSION}/Data/Zippable.ttc
${PKGNAME}/base-${PKGVERSION}/Debug/Trace.so
${PKGNAME}/base-${PKGVERSION}/Debug/Trace.ttc
${PKGNAME}/base-${PKGVERSION}/Decidable/Decidable.so
${PKGNAME}/base-${PKGVERSION}/Decidable/Decidable.ttc
${PKGNAME}/base-${PKGVERSION}/Decidable/Equality.so
${PKGNAME}/base-${PKGVERSION}/Decidable/Equality.ttc
${PKGNAME}/base-${PKGVERSION}/Decidable/Equality/Core.so
${PKGNAME}/base-${PKGVERSION}/Decidable/Equality/Core.ttc
${PKGNAME}/base-${PKGVERSION}/Deriving/Common.so
${PKGNAME}/base-${PKGVERSION}/Deriving/Common.ttc
${PKGNAME}/base-${PKGVERSION}/Deriving/Foldable.so
${PKGNAME}/base-${PKGVERSION}/Deriving/Foldable.ttc
${PKGNAME}/base-${PKGVERSION}/Deriving/Functor.so
${PKGNAME}/base-${PKGVERSION}/Deriving/Functor.ttc
${PKGNAME}/base-${PKGVERSION}/Deriving/Traversable.so
${PKGNAME}/base-${PKGVERSION}/Deriving/Traversable.ttc
${PKGNAME}/base-${PKGVERSION}/Language/Reflection.so
${PKGNAME}/base-${PKGVERSION}/Language/Reflection.ttc
${PKGNAME}/base-${PKGVERSION}/Language/Reflection/TT.so
${PKGNAME}/base-${PKGVERSION}/Language/Reflection/TT.ttc
${PKGNAME}/base-${PKGVERSION}/Language/Reflection/TTImp.so
${PKGNAME}/base-${PKGVERSION}/Language/Reflection/TTImp.ttc
${PKGNAME}/base-${PKGVERSION}/Syntax/PreorderReasoning.so
${PKGNAME}/base-${PKGVERSION}/Syntax/PreorderReasoning.ttc
${PKGNAME}/base-${PKGVERSION}/Syntax/PreorderReasoning/Generic.so
${PKGNAME}/base-${PKGVERSION}/Syntax/PreorderReasoning/Generic.ttc
${PKGNAME}/base-${PKGVERSION}/System.so
${PKGNAME}/base-${PKGVERSION}/System.ttc
${PKGNAME}/base-${PKGVERSION}/System/Clock.so
${PKGNAME}/base-${PKGVERSION}/System/Clock.ttc
${PKGNAME}/base-${PKGVERSION}/System/Concurrency.so
${PKGNAME}/base-${PKGVERSION}/System/Concurrency.ttc
${PKGNAME}/base-${PKGVERSION}/System/Directory.so
${PKGNAME}/base-${PKGVERSION}/System/Directory.ttc
${PKGNAME}/base-${PKGVERSION}/System/Errno.so
${PKGNAME}/base-${PKGVERSION}/System/Errno.ttc
${PKGNAME}/base-${PKGVERSION}/System/Escape.so
${PKGNAME}/base-${PKGVERSION}/System/Escape.ttc
${PKGNAME}/base-${PKGVERSION}/System/FFI.so
${PKGNAME}/base-${PKGVERSION}/System/FFI.ttc
${PKGNAME}/base-${PKGVERSION}/System/File.so
${PKGNAME}/base-${PKGVERSION}/System/File.ttc
${PKGNAME}/base-${PKGVERSION}/System/File/Buffer.so
${PKGNAME}/base-${PKGVERSION}/System/File/Buffer.ttc
${PKGNAME}/base-${PKGVERSION}/System/File/Error.so
${PKGNAME}/base-${PKGVERSION}/System/File/Error.ttc
${PKGNAME}/base-${PKGVERSION}/System/File/Handle.so
${PKGNAME}/base-${PKGVERSION}/System/File/Handle.ttc
${PKGNAME}/base-${PKGVERSION}/System/File/Meta.so
${PKGNAME}/base-${PKGVERSION}/System/File/Meta.ttc
${PKGNAME}/base-${PKGVERSION}/System/File/Mode.so
${PKGNAME}/base-${PKGVERSION}/System/File/Mode.ttc
${PKGNAME}/base-${PKGVERSION}/System/File/Permissions.so
${PKGNAME}/base-${PKGVERSION}/System/File/Permissions.ttc
${PKGNAME}/base-${PKGVERSION}/System/File/Process.so
${PKGNAME}/base-${PKGVERSION}/System/File/Process.ttc
${PKGNAME}/base-${PKGVERSION}/System/File/ReadWrite.so
${PKGNAME}/base-${PKGVERSION}/System/File/ReadWrite.ttc
${PKGNAME}/base-${PKGVERSION}/System/File/Support.so
${PKGNAME}/base-${PKGVERSION}/System/File/Support.ttc
${PKGNAME}/base-${PKGVERSION}/System/File/Types.so
${PKGNAME}/base-${PKGVERSION}/System/File/Types.ttc
${PKGNAME}/base-${PKGVERSION}/System/File/Virtual.so
${PKGNAME}/base-${PKGVERSION}/System/File/Virtual.ttc
${PKGNAME}/base-${PKGVERSION}/System/Info.so
${PKGNAME}/base-${PKGVERSION}/System/Info.ttc
${PKGNAME}/base-${PKGVERSION}/System/REPL.so
${PKGNAME}/base-${PKGVERSION}/System/REPL.ttc
${PKGNAME}/base-${PKGVERSION}/System/Signal.so
${PKGNAME}/base-${PKGVERSION}/System/Signal.ttc
${PKGNAME}/base-${PKGVERSION}/base.ipkg
${PKGNAME}/contrib-${PKGVERSION}/Control/ANSI.so
${PKGNAME}/contrib-${PKGVERSION}/Control/ANSI.ttc
${PKGNAME}/contrib-${PKGVERSION}/Control/ANSI/CSI.so
${PKGNAME}/contrib-${PKGVERSION}/Control/ANSI/CSI.ttc
${PKGNAME}/contrib-${PKGVERSION}/Control/ANSI/SGR.so
${PKGNAME}/contrib-${PKGVERSION}/Control/ANSI/SGR.ttc
${PKGNAME}/contrib-${PKGVERSION}/Control/Algebra.so
${PKGNAME}/contrib-${PKGVERSION}/Control/Algebra.ttc
${PKGNAME}/contrib-${PKGVERSION}/Control/Algebra/Implementations.so
${PKGNAME}/contrib-${PKGVERSION}/Control/Algebra/Implementations.ttc
${PKGNAME}/contrib-${PKGVERSION}/Control/Algebra/Laws.so
${PKGNAME}/contrib-${PKGVERSION}/Control/Algebra/Laws.ttc
${PKGNAME}/contrib-${PKGVERSION}/Control/Arrow.so
${PKGNAME}/contrib-${PKGVERSION}/Control/Arrow.ttc
${PKGNAME}/contrib-${PKGVERSION}/Control/Category.so
${PKGNAME}/contrib-${PKGVERSION}/Control/Category.ttc
${PKGNAME}/contrib-${PKGVERSION}/Control/Delayed.so
${PKGNAME}/contrib-${PKGVERSION}/Control/Delayed.ttc
${PKGNAME}/contrib-${PKGVERSION}/Control/Monad/Algebra.so
${PKGNAME}/contrib-${PKGVERSION}/Control/Monad/Algebra.ttc
${PKGNAME}/contrib-${PKGVERSION}/Control/Validation.so
${PKGNAME}/contrib-${PKGVERSION}/Control/Validation.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Binary.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Binary.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Binary/Digit.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Binary/Digit.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Bool/Algebra.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Bool/Algebra.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Bool/Decidable.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Bool/Decidable.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Fin/Extra.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Fin/Extra.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Fun/Extra.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Fun/Extra.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Fun/Graph.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Fun/Graph.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/HVect.so
${PKGNAME}/contrib-${PKGVERSION}/Data/HVect.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/IMaybe.so
${PKGNAME}/contrib-${PKGVERSION}/Data/IMaybe.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Int/Order.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Int/Order.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Late.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Late.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Linear/Array.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Linear/Array.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/List/Algebra.so
${PKGNAME}/contrib-${PKGVERSION}/Data/List/Algebra.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/List/Alternating.so
${PKGNAME}/contrib-${PKGVERSION}/Data/List/Alternating.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/List/AtIndex.so
${PKGNAME}/contrib-${PKGVERSION}/Data/List/AtIndex.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/List/Elem/Extra.so
${PKGNAME}/contrib-${PKGVERSION}/Data/List/Elem/Extra.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/List/Equalities.so
${PKGNAME}/contrib-${PKGVERSION}/Data/List/Equalities.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/List/Extra.so
${PKGNAME}/contrib-${PKGVERSION}/Data/List/Extra.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/List/HasLength.so
${PKGNAME}/contrib-${PKGVERSION}/Data/List/HasLength.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/List/Lazy.so
${PKGNAME}/contrib-${PKGVERSION}/Data/List/Lazy.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/List/Lazy/Quantifiers.so
${PKGNAME}/contrib-${PKGVERSION}/Data/List/Lazy/Quantifiers.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/List/Palindrome.so
${PKGNAME}/contrib-${PKGVERSION}/Data/List/Palindrome.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/List/Reverse.so
${PKGNAME}/contrib-${PKGVERSION}/Data/List/Reverse.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/List/TailRec.so
${PKGNAME}/contrib-${PKGVERSION}/Data/List/TailRec.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/List/Views/Extra.so
${PKGNAME}/contrib-${PKGVERSION}/Data/List/Views/Extra.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Logic/Propositional.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Logic/Propositional.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Monoid/Exponentiation.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Monoid/Exponentiation.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Morphisms/Algebra.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Morphisms/Algebra.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Ack.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Ack.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Algebra.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Algebra.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Division.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Division.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Equational.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Equational.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Exponentiation.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Exponentiation.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Fact.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Fact.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Factor.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Factor.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Fib.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Fib.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Order/Properties.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Order/Properties.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Order/Relation.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Order/Relation.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Order/Strict.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Order/Strict.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Properties.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Nat/Properties.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Order.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Order.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Path.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Path.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Rel/Complement.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Rel/Complement.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Seq/Internal.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Seq/Internal.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Seq/Sized.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Seq/Sized.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Seq/Unsized.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Seq/Unsized.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/SortedMap.so
${PKGNAME}/contrib-${PKGVERSION}/Data/SortedMap.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/SortedMap/Dependent.so
${PKGNAME}/contrib-${PKGVERSION}/Data/SortedMap/Dependent.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/SortedSet.so
${PKGNAME}/contrib-${PKGVERSION}/Data/SortedSet.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Stream/Extra.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Stream/Extra.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/String/Extra.so
${PKGNAME}/contrib-${PKGVERSION}/Data/String/Extra.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/String/Interpolation.so
${PKGNAME}/contrib-${PKGVERSION}/Data/String/Interpolation.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/String/Iterator.so
${PKGNAME}/contrib-${PKGVERSION}/Data/String/Iterator.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/String/Parser.so
${PKGNAME}/contrib-${PKGVERSION}/Data/String/Parser.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/String/Parser/Expression.so
${PKGNAME}/contrib-${PKGVERSION}/Data/String/Parser/Expression.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/String/Position.so
${PKGNAME}/contrib-${PKGVERSION}/Data/String/Position.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Telescope.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Telescope/Congruence.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Telescope/Congruence.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Telescope/Fun.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Telescope/Fun.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Telescope/Segment.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Telescope/Segment.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Telescope/SimpleFun.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Telescope/SimpleFun.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Telescope/Telescope.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Telescope/Telescope.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Validated.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Validated.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Extra.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Extra.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Properties.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Properties/Fin.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Properties/Fin.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Properties/Foldr.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Properties/Foldr.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Properties/Index.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Properties/Index.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Properties/Map.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Properties/Map.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Properties/Tabulate.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Properties/Tabulate.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Sort.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Sort.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Views/Extra.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Vect/Views/Extra.ttc
${PKGNAME}/contrib-${PKGVERSION}/Data/Void.so
${PKGNAME}/contrib-${PKGVERSION}/Data/Void.ttc
${PKGNAME}/contrib-${PKGVERSION}/Debug/Buffer.so
${PKGNAME}/contrib-${PKGVERSION}/Debug/Buffer.ttc
${PKGNAME}/contrib-${PKGVERSION}/Decidable/Decidable/Extra.so
${PKGNAME}/contrib-${PKGVERSION}/Decidable/Decidable/Extra.ttc
${PKGNAME}/contrib-${PKGVERSION}/Decidable/Order/Strict.so
${PKGNAME}/contrib-${PKGVERSION}/Decidable/Order/Strict.ttc
${PKGNAME}/contrib-${PKGVERSION}/Language/JSON.so
${PKGNAME}/contrib-${PKGVERSION}/Language/JSON.ttc
${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/Data.so
${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/Data.ttc
${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/Lexer.so
${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/Lexer.ttc
${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/Parser.so
${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/Parser.ttc
${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/String.so
${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/String.ttc
${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/String/Lexer.so
${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/String/Lexer.ttc
${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/String/Parser.so
${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/String/Parser.ttc
${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/String/Tokens.so
${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/String/Tokens.ttc
${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/Tokens.so
${PKGNAME}/contrib-${PKGVERSION}/Language/JSON/Tokens.ttc
${PKGNAME}/contrib-${PKGVERSION}/Syntax/WithProof.so
${PKGNAME}/contrib-${PKGVERSION}/Syntax/WithProof.ttc
${PKGNAME}/contrib-${PKGVERSION}/System/Console/GetOpt.so
${PKGNAME}/contrib-${PKGVERSION}/System/Console/GetOpt.ttc
${PKGNAME}/contrib-${PKGVERSION}/System/Directory/Tree.so
${PKGNAME}/contrib-${PKGVERSION}/System/Directory/Tree.ttc
${PKGNAME}/contrib-${PKGVERSION}/System/Future.so
${PKGNAME}/contrib-${PKGVERSION}/System/Future.ttc
${PKGNAME}/contrib-${PKGVERSION}/System/Path.so
${PKGNAME}/contrib-${PKGVERSION}/System/Path.ttc
${PKGNAME}/contrib-${PKGVERSION}/System/Random.so
${PKGNAME}/contrib-${PKGVERSION}/System/Random.ttc
${PKGNAME}/contrib-${PKGVERSION}/Text/Bounded.so
${PKGNAME}/contrib-${PKGVERSION}/Text/Bounded.ttc
${PKGNAME}/contrib-${PKGVERSION}/Text/Lexer.so
${PKGNAME}/contrib-${PKGVERSION}/Text/Lexer.ttc
${PKGNAME}/contrib-${PKGVERSION}/Text/Lexer/Core.so
${PKGNAME}/contrib-${PKGVERSION}/Text/Lexer/Core.ttc
${PKGNAME}/contrib-${PKGVERSION}/Text/Lexer/Tokenizer.so
${PKGNAME}/contrib-${PKGVERSION}/Text/Lexer/Tokenizer.ttc
${PKGNAME}/contrib-${PKGVERSION}/Text/Literate.so
${PKGNAME}/contrib-${PKGVERSION}/Text/Literate.ttc
${PKGNAME}/contrib-${PKGVERSION}/Text/Parser.so
${PKGNAME}/contrib-${PKGVERSION}/Text/Parser.ttc
${PKGNAME}/contrib-${PKGVERSION}/Text/Parser/Core.so
${PKGNAME}/contrib-${PKGVERSION}/Text/Parser/Core.ttc
${PKGNAME}/contrib-${PKGVERSION}/Text/Parser/Expression.so
${PKGNAME}/contrib-${PKGVERSION}/Text/Parser/Expression.ttc
${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter.ttc
${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Doc.so
${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Doc.ttc
${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Render/HTML.so
${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Render/HTML.ttc
${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Render/String.so
${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Render/String.ttc
${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Render/Terminal.so
${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Render/Terminal.ttc
${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/SimpleDocTree.so
${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/SimpleDocTree.ttc
${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Symbols.so
${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Symbols.ttc
${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Util.so
${PKGNAME}/contrib-${PKGVERSION}/Text/PrettyPrint/Prettyprinter/Util.ttc
${PKGNAME}/contrib-${PKGVERSION}/Text/Quantity.so
${PKGNAME}/contrib-${PKGVERSION}/Text/Quantity.ttc
${PKGNAME}/contrib-${PKGVERSION}/Text/Token.so
${PKGNAME}/contrib-${PKGVERSION}/Text/Token.ttc
${PKGNAME}/contrib-${PKGVERSION}/contrib.ipkg
${PKGNAME}/lib/libidris2_support.a
${PKGNAME}/lib/libidris2_support.so
${PKGNAME}/linear-0.5.1/Control/Linear/LIO.so
${PKGNAME}/linear-0.5.1/Control/Linear/LIO.ttc
${PKGNAME}/linear-0.5.1/Data/Linear.ttc
${PKGNAME}/linear-0.5.1/Data/Linear/Bifunctor.so
${PKGNAME}/linear-0.5.1/Data/Linear/Bifunctor.ttc
${PKGNAME}/linear-0.5.1/Data/Linear/Copies.so
${PKGNAME}/linear-0.5.1/Data/Linear/Copies.ttc
${PKGNAME}/linear-0.5.1/Data/Linear/Interface.so
${PKGNAME}/linear-0.5.1/Data/Linear/Interface.ttc
${PKGNAME}/linear-0.5.1/Data/Linear/LEither.so
${PKGNAME}/linear-0.5.1/Data/Linear/LEither.ttc
${PKGNAME}/linear-0.5.1/Data/Linear/LList.so
${PKGNAME}/linear-0.5.1/Data/Linear/LList.ttc
${PKGNAME}/linear-0.5.1/Data/Linear/LMaybe.so
${PKGNAME}/linear-0.5.1/Data/Linear/LMaybe.ttc
${PKGNAME}/linear-0.5.1/Data/Linear/LNat.so
${PKGNAME}/linear-0.5.1/Data/Linear/LNat.ttc
${PKGNAME}/linear-0.5.1/Data/Linear/LVect.so
${PKGNAME}/linear-0.5.1/Data/Linear/LVect.ttc
${PKGNAME}/linear-0.5.1/Data/Linear/List/LQuantifiers.so
${PKGNAME}/linear-0.5.1/Data/Linear/List/LQuantifiers.ttc
${PKGNAME}/linear-0.5.1/Data/Linear/Notation.so
${PKGNAME}/linear-0.5.1/Data/Linear/Notation.ttc
${PKGNAME}/linear-0.5.1/linear.ipkg
${PKGNAME}/network-${PKGVERSION}/Control/Linear/Network.so
${PKGNAME}/network-${PKGVERSION}/Control/Linear/Network.ttc
${PKGNAME}/network-${PKGVERSION}/Network/FFI.so
${PKGNAME}/network-${PKGVERSION}/Network/FFI.ttc
${PKGNAME}/network-${PKGVERSION}/Network/Socket.so
${PKGNAME}/network-${PKGVERSION}/Network/Socket.ttc
${PKGNAME}/network-${PKGVERSION}/Network/Socket/Data.so
${PKGNAME}/network-${PKGVERSION}/Network/Socket/Data.ttc
${PKGNAME}/network-${PKGVERSION}/Network/Socket/Raw.so
${PKGNAME}/network-${PKGVERSION}/Network/Socket/Raw.ttc
${PKGNAME}/network-${PKGVERSION}/network.ipkg
${PKGNAME}/prelude-${PKGVERSION}/Builtin.so
${PKGNAME}/prelude-${PKGVERSION}/Builtin.ttc
${PKGNAME}/prelude-${PKGVERSION}/Prelude.ttc
${PKGNAME}/prelude-${PKGVERSION}/Prelude/Basics.so
${PKGNAME}/prelude-${PKGVERSION}/Prelude/Basics.ttc
${PKGNAME}/prelude-${PKGVERSION}/Prelude/Cast.so
${PKGNAME}/prelude-${PKGVERSION}/Prelude/Cast.ttc
${PKGNAME}/prelude-${PKGVERSION}/Prelude/EqOrd.so
${PKGNAME}/prelude-${PKGVERSION}/Prelude/EqOrd.ttc
${PKGNAME}/prelude-${PKGVERSION}/Prelude/IO.so
${PKGNAME}/prelude-${PKGVERSION}/Prelude/IO.ttc
${PKGNAME}/prelude-${PKGVERSION}/Prelude/Interfaces.so
${PKGNAME}/prelude-${PKGVERSION}/Prelude/Interfaces.ttc
${PKGNAME}/prelude-${PKGVERSION}/Prelude/Interpolation.so
${PKGNAME}/prelude-${PKGVERSION}/Prelude/Interpolation.ttc
${PKGNAME}/prelude-${PKGVERSION}/Prelude/Num.so
${PKGNAME}/prelude-${PKGVERSION}/Prelude/Num.ttc
${PKGNAME}/prelude-${PKGVERSION}/Prelude/Ops.ttc
${PKGNAME}/prelude-${PKGVERSION}/Prelude/Show.so
${PKGNAME}/prelude-${PKGVERSION}/Prelude/Show.ttc
${PKGNAME}/prelude-${PKGVERSION}/Prelude/Types.so
${PKGNAME}/prelude-${PKGVERSION}/Prelude/Types.ttc
${PKGNAME}/prelude-${PKGVERSION}/Prelude/Uninhabited.so
${PKGNAME}/prelude-${PKGVERSION}/Prelude/Uninhabited.ttc
${PKGNAME}/prelude-${PKGVERSION}/PrimIO.so
${PKGNAME}/prelude-${PKGVERSION}/PrimIO.ttc
${PKGNAME}/prelude-${PKGVERSION}/prelude.ipkg
${PKGNAME}/support/c/getline.h
${PKGNAME}/support/c/idris_directory.h
${PKGNAME}/support/c/idris_file.h
${PKGNAME}/support/c/idris_memory.h
${PKGNAME}/support/c/idris_net.h
${PKGNAME}/support/c/idris_signal.h
${PKGNAME}/support/c/idris_support.h
${PKGNAME}/support/c/idris_system.h
${PKGNAME}/support/c/idris_term.h
${PKGNAME}/support/c/idris_util.h
${PKGNAME}/support/chez/ct-support.ss
${PKGNAME}/support/chez/support-sep.ss
${PKGNAME}/support/chez/support.ss
${PKGNAME}/support/docs/alternative.css
${PKGNAME}/support/docs/blackandwhite.css
${PKGNAME}/support/docs/default.css
${PKGNAME}/support/gambit/foreign.scm
${PKGNAME}/support/gambit/support.scm
${PKGNAME}/support/js/support.js
${PKGNAME}/support/js/support_system.js
${PKGNAME}/support/js/support_system_directory.js
${PKGNAME}/support/js/support_system_file.js
${PKGNAME}/support/js/support_system_signal.js
${PKGNAME}/support/racket/ct-support.rkt
${PKGNAME}/support/racket/support.rkt
${PKGNAME}/support/refc/_datatypes.h
${PKGNAME}/support/refc/buffer.h
${PKGNAME}/support/refc/cBackend.h
${PKGNAME}/support/refc/casts.h
${PKGNAME}/support/refc/clock.h
${PKGNAME}/support/refc/conCaseHelper.h
${PKGNAME}/support/refc/libidris2_refc.a
${PKGNAME}/support/refc/mathFunctions.h
${PKGNAME}/support/refc/memoryManagement.h
${PKGNAME}/support/refc/prim.h
${PKGNAME}/support/refc/refc_util.h
${PKGNAME}/support/refc/runtime.h
${PKGNAME}/support/refc/stringOps.h
${PKGNAME}/support/refc/threads.h
${PKGNAME}/test-${PKGVERSION}/Test/Golden.so
${PKGNAME}/test-${PKGVERSION}/Test/Golden.ttc
${PKGNAME}/test-${PKGVERSION}/test.ipkg
lib/libidris2_support.so
libexec/idris2_app/idris2.so
libexec/idris2_app/idris2.ss
libexec/idris2_app/libidris2_support.so
share/bash-completion/completions/idris2
share/zsh/site-functions/_idris2