idris2
======
/usr/lib64/idris2-0.7.0
/usr/lib64/idris2-0.7.0/base-0.7.0
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/Control
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/Control/App
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/Control/Applicative
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/Control/Function
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Error
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/RWS
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Reader
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/State
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/Control/Monad/Writer
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/Control/Relation
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/Data
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/Data/Bool
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/Data/Fin
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/Data/IOArray
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/Data/List
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/Data/List1
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/Data/Nat
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/Data/Primitives
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/Data/SnocList
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/Data/SortedMap
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/Data/Vect
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/Debug
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/Decidable
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/Decidable/Equality
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/Deriving
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/Language
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/Language/Reflection
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/Syntax
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/Syntax/PreorderReasoning
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/System
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/System/File
/usr/lib64/idris2-0.7.0/contrib-0.7.0
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Control
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Control/ANSI
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Control/Algebra
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Control/Monad
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Data
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Binary
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Bool
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Fin
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Fun
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Int
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Linear
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Elem
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Lazy
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Data/List/Views
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Logic
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Monoid
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Morphisms
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Nat/Order
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Rel
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Seq
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Stream
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Data/String
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Data/String/Parser
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Telescope
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Properties
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Data/Vect/Views
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Debug
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Decidable
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Decidable/Decidable
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Decidable/Finite
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Decidable/Order
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Language
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Language/JSON/String
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Syntax
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/System
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/System/Console
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/System/Directory
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Text
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Text/Distance
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Text/Lexer
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Text/Parser
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter
/usr/lib64/idris2-0.7.0/contrib-0.7.0/2023090800/Text/PrettyPrint/Prettyprinter/Render
/usr/lib64/idris2-0.7.0/linear-0.7.0
/usr/lib64/idris2-0.7.0/linear-0.7.0/2023090800
/usr/lib64/idris2-0.7.0/linear-0.7.0/2023090800/Control
/usr/lib64/idris2-0.7.0/linear-0.7.0/2023090800/Control/Linear
/usr/lib64/idris2-0.7.0/linear-0.7.0/2023090800/Data
/usr/lib64/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear
/usr/lib64/idris2-0.7.0/linear-0.7.0/2023090800/Data/Linear/List
/usr/lib64/idris2-0.7.0/network-0.7.0
/usr/lib64/idris2-0.7.0/network-0.7.0/2023090800
/usr/lib64/idris2-0.7.0/network-0.7.0/2023090800/Control
/usr/lib64/idris2-0.7.0/network-0.7.0/2023090800/Control/Linear
/usr/lib64/idris2-0.7.0/network-0.7.0/2023090800/Network
/usr/lib64/idris2-0.7.0/network-0.7.0/2023090800/Network/Socket
/usr/lib64/idris2-0.7.0/prelude-0.7.0
/usr/lib64/idris2-0.7.0/prelude-0.7.0/2023090800
/usr/lib64/idris2-0.7.0/prelude-0.7.0/2023090800/Prelude
/usr/lib64/idris2-0.7.0/support
/usr/lib64/idris2-0.7.0/support/c
/usr/lib64/idris2-0.7.0/support/chez
/usr/lib64/idris2-0.7.0/support/docs
/usr/lib64/idris2-0.7.0/support/gambit
/usr/lib64/idris2-0.7.0/support/js
/usr/lib64/idris2-0.7.0/support/racket
/usr/lib64/idris2-0.7.0/support/refc
/usr/lib64/idris2-0.7.0/test-0.7.0
/usr/lib64/idris2-0.7.0/test-0.7.0/2023090800
/usr/lib64/idris2-0.7.0/test-0.7.0/2023090800/Test
/usr/share/doc/idris2
/usr/share/licenses/idris2

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

idris2-docs
===========
/usr/share/doc/idris2-docs
/usr/share/doc/idris2-docs/html
/usr/share/doc/idris2-docs/html/_images
/usr/share/doc/idris2-docs/html/_sources
/usr/share/doc/idris2-docs/html/_sources/app
/usr/share/doc/idris2-docs/html/_sources/backends
/usr/share/doc/idris2-docs/html/_sources/cookbook
/usr/share/doc/idris2-docs/html/_sources/faq
/usr/share/doc/idris2-docs/html/_sources/ffi
/usr/share/doc/idris2-docs/html/_sources/implementation
/usr/share/doc/idris2-docs/html/_sources/libraries
/usr/share/doc/idris2-docs/html/_sources/proofs
/usr/share/doc/idris2-docs/html/_sources/reference
/usr/share/doc/idris2-docs/html/_sources/tutorial
/usr/share/doc/idris2-docs/html/_sources/typedd
/usr/share/doc/idris2-docs/html/_sources/updates
/usr/share/doc/idris2-docs/html/_static
/usr/share/doc/idris2-docs/html/_static/css
/usr/share/doc/idris2-docs/html/_static/js
/usr/share/doc/idris2-docs/html/app
/usr/share/doc/idris2-docs/html/backends
/usr/share/doc/idris2-docs/html/cookbook
/usr/share/doc/idris2-docs/html/faq
/usr/share/doc/idris2-docs/html/ffi
/usr/share/doc/idris2-docs/html/implementation
/usr/share/doc/idris2-docs/html/libraries
/usr/share/doc/idris2-docs/html/proofs
/usr/share/doc/idris2-docs/html/reference
/usr/share/doc/idris2-docs/html/tutorial
/usr/share/doc/idris2-docs/html/typedd
/usr/share/doc/idris2-docs/html/updates
/usr/share/doc/idris2-docs/samples
/usr/share/doc/idris2-docs/samples/FFI-readline
/usr/share/doc/idris2-docs/samples/FFI-readline/Test
/usr/share/doc/idris2-docs/samples/FFI-readline/readline_glue
/usr/share/doc/idris2-docs/samples/FFI-readline/src
/usr/share/doc/idris2-docs/samples/FFI-readline/src/Text
/usr/share/doc/idris2-docs/samples/ffi
/usr/share/doc/idris2-docs/samples/proofs

/usr/share/doc/idris2-docs/html/.buildinfo
/usr/share/doc/idris2-docs/html/_images/login.png
/usr/share/doc/idris2-docs/html/_sources/app/exceptionsstate.rst.txt
/usr/share/doc/idris2-docs/html/_sources/app/index.rst.txt
/usr/share/doc/idris2-docs/html/_sources/app/interfaces.rst.txt
/usr/share/doc/idris2-docs/html/_sources/app/introapp.rst.txt
/usr/share/doc/idris2-docs/html/_sources/app/linear.rst.txt
/usr/share/doc/idris2-docs/html/_sources/backends/backend-cookbook.rst.txt
/usr/share/doc/idris2-docs/html/_sources/backends/chez.rst.txt
/usr/share/doc/idris2-docs/html/_sources/backends/custom.rst.txt
/usr/share/doc/idris2-docs/html/_sources/backends/gambit.rst.txt
/usr/share/doc/idris2-docs/html/_sources/backends/incremental.rst.txt
/usr/share/doc/idris2-docs/html/_sources/backends/index.rst.txt
/usr/share/doc/idris2-docs/html/_sources/backends/javascript.rst.txt
/usr/share/doc/idris2-docs/html/_sources/backends/libraries.rst.txt
/usr/share/doc/idris2-docs/html/_sources/backends/racket.rst.txt
/usr/share/doc/idris2-docs/html/_sources/backends/refc.rst.txt
/usr/share/doc/idris2-docs/html/_sources/cookbook/index.rst.txt
/usr/share/doc/idris2-docs/html/_sources/cookbook/parsing.rst.txt
/usr/share/doc/idris2-docs/html/_sources/faq/faq.rst.txt
/usr/share/doc/idris2-docs/html/_sources/ffi/ffi.rst.txt
/usr/share/doc/idris2-docs/html/_sources/ffi/index.rst.txt
/usr/share/doc/idris2-docs/html/_sources/ffi/readline.rst.txt
/usr/share/doc/idris2-docs/html/_sources/implementation/ide-protocol.rst.txt
/usr/share/doc/idris2-docs/html/_sources/implementation/index.rst.txt
/usr/share/doc/idris2-docs/html/_sources/implementation/overview.rst.txt
/usr/share/doc/idris2-docs/html/_sources/index.rst.txt
/usr/share/doc/idris2-docs/html/_sources/libraries/index.rst.txt
/usr/share/doc/idris2-docs/html/_sources/proofs/definitional.rst.txt
/usr/share/doc/idris2-docs/html/_sources/proofs/index.rst.txt
/usr/share/doc/idris2-docs/html/_sources/proofs/inductive.rst.txt
/usr/share/doc/idris2-docs/html/_sources/proofs/patterns.rst.txt
/usr/share/doc/idris2-docs/html/_sources/proofs/pluscomm.rst.txt
/usr/share/doc/idris2-docs/html/_sources/proofs/propositional.rst.txt
/usr/share/doc/idris2-docs/html/_sources/reference/builtins.rst.txt
/usr/share/doc/idris2-docs/html/_sources/reference/debugging.rst.txt
/usr/share/doc/idris2-docs/html/_sources/reference/documenting.rst.txt
/usr/share/doc/idris2-docs/html/_sources/reference/envvars.rst.txt
/usr/share/doc/idris2-docs/html/_sources/reference/failing.rst.txt
/usr/share/doc/idris2-docs/html/_sources/reference/index.rst.txt
/usr/share/doc/idris2-docs/html/_sources/reference/literate.rst.txt
/usr/share/doc/idris2-docs/html/_sources/reference/overloadedlit.rst.txt
/usr/share/doc/idris2-docs/html/_sources/reference/packages.rst.txt
/usr/share/doc/idris2-docs/html/_sources/reference/pragmas.rst.txt
/usr/share/doc/idris2-docs/html/_sources/reference/records.rst.txt
/usr/share/doc/idris2-docs/html/_sources/reference/strings.rst.txt
/usr/share/doc/idris2-docs/html/_sources/tutorial/conclusions.rst.txt
/usr/share/doc/idris2-docs/html/_sources/tutorial/index.rst.txt
/usr/share/doc/idris2-docs/html/_sources/tutorial/interactive.rst.txt
/usr/share/doc/idris2-docs/html/_sources/tutorial/interfaces.rst.txt
/usr/share/doc/idris2-docs/html/_sources/tutorial/interp.rst.txt
/usr/share/doc/idris2-docs/html/_sources/tutorial/introduction.rst.txt
/usr/share/doc/idris2-docs/html/_sources/tutorial/miscellany.rst.txt
/usr/share/doc/idris2-docs/html/_sources/tutorial/modules.rst.txt
/usr/share/doc/idris2-docs/html/_sources/tutorial/multiplicities.rst.txt
/usr/share/doc/idris2-docs/html/_sources/tutorial/packages.rst.txt
/usr/share/doc/idris2-docs/html/_sources/tutorial/starting.rst.txt
/usr/share/doc/idris2-docs/html/_sources/tutorial/theorems.rst.txt
/usr/share/doc/idris2-docs/html/_sources/tutorial/typesfuns.rst.txt
/usr/share/doc/idris2-docs/html/_sources/tutorial/views.rst.txt
/usr/share/doc/idris2-docs/html/_sources/tutorial/windows.rst.txt
/usr/share/doc/idris2-docs/html/_sources/typedd/typedd.rst.txt
/usr/share/doc/idris2-docs/html/_sources/updates/updates.rst.txt
/usr/share/doc/idris2-docs/html/_static/_sphinx_javascript_frameworks_compat.js
/usr/share/doc/idris2-docs/html/_static/basic.css
/usr/share/doc/idris2-docs/html/_static/css/badge_only.css
/usr/share/doc/idris2-docs/html/_static/css/theme.css
/usr/share/doc/idris2-docs/html/_static/doctools.js
/usr/share/doc/idris2-docs/html/_static/documentation_options.js
/usr/share/doc/idris2-docs/html/_static/file.png
/usr/share/doc/idris2-docs/html/_static/jquery.js
/usr/share/doc/idris2-docs/html/_static/js/badge_only.js
/usr/share/doc/idris2-docs/html/_static/js/theme.js
/usr/share/doc/idris2-docs/html/_static/language_data.js
/usr/share/doc/idris2-docs/html/_static/minus.png
/usr/share/doc/idris2-docs/html/_static/plus.png
/usr/share/doc/idris2-docs/html/_static/pygments.css
/usr/share/doc/idris2-docs/html/_static/searchtools.js
/usr/share/doc/idris2-docs/html/_static/sphinx_highlight.js
/usr/share/doc/idris2-docs/html/app/exceptionsstate.html
/usr/share/doc/idris2-docs/html/app/index.html
/usr/share/doc/idris2-docs/html/app/interfaces.html
/usr/share/doc/idris2-docs/html/app/introapp.html
/usr/share/doc/idris2-docs/html/app/linear.html
/usr/share/doc/idris2-docs/html/backends/backend-cookbook.html
/usr/share/doc/idris2-docs/html/backends/chez.html
/usr/share/doc/idris2-docs/html/backends/custom.html
/usr/share/doc/idris2-docs/html/backends/gambit.html
/usr/share/doc/idris2-docs/html/backends/incremental.html
/usr/share/doc/idris2-docs/html/backends/index.html
/usr/share/doc/idris2-docs/html/backends/javascript.html
/usr/share/doc/idris2-docs/html/backends/libraries.html
/usr/share/doc/idris2-docs/html/backends/racket.html
/usr/share/doc/idris2-docs/html/backends/refc.html
/usr/share/doc/idris2-docs/html/cookbook/index.html
/usr/share/doc/idris2-docs/html/cookbook/parsing.html
/usr/share/doc/idris2-docs/html/faq/faq.html
/usr/share/doc/idris2-docs/html/ffi/ffi.html
/usr/share/doc/idris2-docs/html/ffi/index.html
/usr/share/doc/idris2-docs/html/ffi/readline.html
/usr/share/doc/idris2-docs/html/genindex.html
/usr/share/doc/idris2-docs/html/implementation/ide-protocol.html
/usr/share/doc/idris2-docs/html/implementation/index.html
/usr/share/doc/idris2-docs/html/implementation/overview.html
/usr/share/doc/idris2-docs/html/index.html
/usr/share/doc/idris2-docs/html/libraries/index.html
/usr/share/doc/idris2-docs/html/objects.inv
/usr/share/doc/idris2-docs/html/proofs/definitional.html
/usr/share/doc/idris2-docs/html/proofs/index.html
/usr/share/doc/idris2-docs/html/proofs/inductive.html
/usr/share/doc/idris2-docs/html/proofs/patterns.html
/usr/share/doc/idris2-docs/html/proofs/pluscomm.html
/usr/share/doc/idris2-docs/html/proofs/propositional.html
/usr/share/doc/idris2-docs/html/reference/builtins.html
/usr/share/doc/idris2-docs/html/reference/debugging.html
/usr/share/doc/idris2-docs/html/reference/documenting.html
/usr/share/doc/idris2-docs/html/reference/envvars.html
/usr/share/doc/idris2-docs/html/reference/failing.html
/usr/share/doc/idris2-docs/html/reference/index.html
/usr/share/doc/idris2-docs/html/reference/literate.html
/usr/share/doc/idris2-docs/html/reference/overloadedlit.html
/usr/share/doc/idris2-docs/html/reference/packages.html
/usr/share/doc/idris2-docs/html/reference/pragmas.html
/usr/share/doc/idris2-docs/html/reference/records.html
/usr/share/doc/idris2-docs/html/reference/strings.html
/usr/share/doc/idris2-docs/html/search.html
/usr/share/doc/idris2-docs/html/searchindex.js
/usr/share/doc/idris2-docs/html/tutorial/conclusions.html
/usr/share/doc/idris2-docs/html/tutorial/index.html
/usr/share/doc/idris2-docs/html/tutorial/interactive.html
/usr/share/doc/idris2-docs/html/tutorial/interfaces.html
/usr/share/doc/idris2-docs/html/tutorial/interp.html
/usr/share/doc/idris2-docs/html/tutorial/introduction.html
/usr/share/doc/idris2-docs/html/tutorial/miscellany.html
/usr/share/doc/idris2-docs/html/tutorial/modules.html
/usr/share/doc/idris2-docs/html/tutorial/multiplicities.html
/usr/share/doc/idris2-docs/html/tutorial/packages.html
/usr/share/doc/idris2-docs/html/tutorial/starting.html
/usr/share/doc/idris2-docs/html/tutorial/theorems.html
/usr/share/doc/idris2-docs/html/tutorial/typesfuns.html
/usr/share/doc/idris2-docs/html/tutorial/views.html
/usr/share/doc/idris2-docs/html/tutorial/windows.html
/usr/share/doc/idris2-docs/html/typedd/typedd.html
/usr/share/doc/idris2-docs/html/updates/updates.html
/usr/share/doc/idris2-docs/samples/BTree.idr
/usr/share/doc/idris2-docs/samples/FFI-readline/Test/ReadHistory.idr
/usr/share/doc/idris2-docs/samples/FFI-readline/Test/ReadTab.idr
/usr/share/doc/idris2-docs/samples/FFI-readline/Test/test.ipkg
/usr/share/doc/idris2-docs/samples/FFI-readline/readline.ipkg
/usr/share/doc/idris2-docs/samples/FFI-readline/readline_glue/.gitignore
/usr/share/doc/idris2-docs/samples/FFI-readline/readline_glue/Makefile
/usr/share/doc/idris2-docs/samples/FFI-readline/readline_glue/idris_readline.c
/usr/share/doc/idris2-docs/samples/FFI-readline/readline_glue/idris_readline.h
/usr/share/doc/idris2-docs/samples/FFI-readline/src/Text/Readline.idr
/usr/share/doc/idris2-docs/samples/Interp.idr
/usr/share/doc/idris2-docs/samples/InterpE.idr
/usr/share/doc/idris2-docs/samples/MyOrd.idr
/usr/share/doc/idris2-docs/samples/NamedSemi.idr
/usr/share/doc/idris2-docs/samples/Prims.idr
/usr/share/doc/idris2-docs/samples/Proofs.idr
/usr/share/doc/idris2-docs/samples/Vect.idr
/usr/share/doc/idris2-docs/samples/Void.idr
/usr/share/doc/idris2-docs/samples/With.idr
/usr/share/doc/idris2-docs/samples/bmain.idr
/usr/share/doc/idris2-docs/samples/deprec.idr
/usr/share/doc/idris2-docs/samples/dummy.ipkg
/usr/share/doc/idris2-docs/samples/fctypes.idr
/usr/share/doc/idris2-docs/samples/ffi/Small.idr
/usr/share/doc/idris2-docs/samples/ffi/Struct.idr
/usr/share/doc/idris2-docs/samples/ffi/args.idr
/usr/share/doc/idris2-docs/samples/ffi/dummy.ipkg
/usr/share/doc/idris2-docs/samples/ffi/smallc.c
/usr/share/doc/idris2-docs/samples/holes.idr
/usr/share/doc/idris2-docs/samples/io.idr
/usr/share/doc/idris2-docs/samples/listcomp.idr
/usr/share/doc/idris2-docs/samples/multiplicity.idr
/usr/share/doc/idris2-docs/samples/params.idr
/usr/share/doc/idris2-docs/samples/proofs/induction.idr
/usr/share/doc/idris2-docs/samples/proofs/pluscomm.idr
/usr/share/doc/idris2-docs/samples/proofs/plusprops.idr
/usr/share/doc/idris2-docs/samples/proofs/prfintro.idr
/usr/share/doc/idris2-docs/samples/proofs/proof.ipkg
/usr/share/doc/idris2-docs/samples/wheres.idr

idris2-lib
==========
/usr/lib/.build-id
/usr/lib/.build-id/66

/usr/lib/.build-id/66/ef68bb8b3bc63ca9ae7a1b8cd4d8d6d6c8000d
/usr/lib64/libidris2_support.so