Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

idris2-0.7.0-4.el10_1 RPM for x86_64

From EPEL 10.1 Testing for x86_64 / Packages / i

Name: idris2 Distribution: Fedora Project
Version: 0.7.0 Vendor: Fedora Project
Release: 4.el10_1 Build date: Fri Jul 4 11:34:32 2025
Group: Unspecified Build host: buildvm-x86-10.rdu3.fedoraproject.org
Size: 96277936 Source RPM: idris2-0.7.0-4.el10_1.src.rpm
Packager: Fedora Project
Url: https://www.idris-lang.org
Summary: Purely functional programming language with first class types
 
Idris is a programming language designed to encourage Type-Driven Development.

Provides

Requires

License

BSD-3-Clause

Changelog

* Fri Jul 04 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-4
  - obsolete idris2-lib
* Fri Jul 04 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-3
  - redisable s390x
* Wed Jul 02 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-8
  - rename boot bcond to scm_boot (#2314358)
  - rename lib subpackage to libs (zbyszek, #2314358)
* Tue Jul 01 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-7
  - provides idris2-static
* Tue Jul 01 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-6
  - samples is gone with the archive tarball
* Mon Jan 20 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-3
  - use github archive tarball (zbyszek, #2314358)
  - enable s390x
  - rename docs subpackage to noarch doc (#2314358)
  - move license file to lib (zbyszek, #2314358)
* Sun Jan 19 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-2
  - use modern bcond macro (#2314358)
* Tue Jun 25 2024 Jens Petersen <petersen@redhat.com> - 0.7.0-1
  - update to 0.7.0
  - require chez-scheme-10
* Sat Aug 19 2023 Jens Petersen <petersen@redhat.com> - 0.6.0-0.1
  - update to 0.6.0
    https://github.com/idris-lang/Idris2/blob/v0.6.0/CHANGELOG.md
  - revert to chez-scheme

Files

/usr/bin/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/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
/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
/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
/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
/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
/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
/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
/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
/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
/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
/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
/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
/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
/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
/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
/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
/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
/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
/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
/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
/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
/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
/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
/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
/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
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/Language/Reflection
/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
/usr/lib64/idris2-0.7.0/base-0.7.0/2023090800/Syntax/PreorderReasoning
/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
/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
/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
/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/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
/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
/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
/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/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
/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
/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
/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
/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
/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
/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
/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
/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
/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
/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
/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
/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
/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
/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
/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
/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
/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
/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
/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
/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
/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
/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
/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
/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
/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/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
/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
/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
/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.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
/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
/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
/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/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
/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
/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
/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
/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
/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
/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.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
/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
/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/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
/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.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
/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
/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/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
/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
/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
/usr/lib64/idris2-0.7.0/prelude-0.7.0/2023090800
/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
/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
/usr/lib64/idris2-0.7.0/support/c
/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
/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
/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
/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
/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
/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
/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
/usr/lib64/idris2-0.7.0/test-0.7.0/2023090800
/usr/lib64/idris2-0.7.0/test-0.7.0/2023090800/Test
/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
/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

Generated by rpm2html 1.8.1

Fabrice Bellet, Mon Jul 7 07:20:51 2025