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