SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

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

  
ICM