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

idris2-0.8.0-5.fc44 RPM for aarch64

From Fedora 44 for aarch64 / i

Name: idris2 Distribution: Fedora Project
Version: 0.8.0 Vendor: Fedora Project
Release: 5.fc44 Build date: Tue Mar 3 09:40:15 2026
Group: Unspecified Build host: buildvm-a64-11.rdu3.fedoraproject.org
Size: 299794411 Source RPM: idris2-0.8.0-5.fc44.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

* Tue Mar 03 2026 Jens Petersen <petersen@redhat.com> - 0.8.0-5
  - fix idris2-api bootstrap build
* Mon Mar 02 2026 Jens Petersen <petersen@redhat.com> - 0.8.0-4
  - enable idris2-api library (idris2.ipkg)
* Mon Mar 02 2026 Jens Petersen <petersen@redhat.com> - 0.8.0-3
  - fixup exception failure comment path for libc.so linker script
* Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 0.8.0-2
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild
* Tue Nov 04 2025 Jens Petersen <petersen@redhat.com> - 0.8.0-1
  - https://github.com/idris-lang/Idris2/blob/v0.8.0/CHANGELOG.md
  - recommend rlwrap for repl
* Tue Nov 04 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-8
  - update comments for excluded archs
* Sat Nov 01 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-7
  - only disable debug_package for el9
* Thu Jul 24 2025 Fedora Release Engineering <releng@fedoraproject.org> - 0.7.0-6
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild
* Fri Jul 04 2025 Jens Petersen <petersen@redhat.com> - 0.7.0-5
  - lock to the current chez-scheme version
* 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

Files

/usr/bin/idris2
/usr/lib64/idris2-0.8.0
/usr/lib64/idris2-0.8.0/base-0.8.0
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/App
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/App.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/App.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/App.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/App/Console.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/App/Console.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/App/Console.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/App/FileIO.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/App/FileIO.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/App/FileIO.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Applicative
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Applicative/Const.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Applicative/Const.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Applicative/Const.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Function
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Function.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Function.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Function.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Function/FunExt.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Function/FunExt.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Function/FunExt.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Either.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Either.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Error
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Error/Either.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Error/Either.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Error/Either.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Error/Interface.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Error/Interface.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Error/Interface.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Identity.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Identity.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Identity.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Maybe.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Maybe.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Maybe.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Partial.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Partial.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Partial.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/RWS
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/RWS.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/RWS.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/RWS/CPS.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/RWS/CPS.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/RWS/CPS.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/RWS/Interface.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/RWS/Interface.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/RWS/Interface.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Reader
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Reader.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Reader.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Reader/Interface.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Reader/Interface.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Reader/Interface.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Reader/Reader.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Reader/Reader.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Reader/Reader.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/ST.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/ST.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/ST.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/State
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/State.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/State.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/State/Interface.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/State/Interface.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/State/Interface.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/State/State.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/State/State.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/State/State.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Trans.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Trans.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Trans.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Writer
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Writer.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Writer.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Writer/CPS.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Writer/CPS.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Writer/CPS.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Writer/Interface.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Writer/Interface.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Monad/Writer/Interface.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Ord.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Ord.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Ord.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Order.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Order.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Order.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Relation
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Relation.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Relation.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Relation.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Relation/Closure.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Relation/Closure.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/Relation/Closure.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/WellFounded.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/WellFounded.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Control/WellFounded.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Bifoldable.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Bifoldable.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Bifoldable.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Bits.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Bits.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Bits.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Bool
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Bool.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Bool.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Bool.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Bool/Decidable.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Bool/Decidable.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Bool/Decidable.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Bool/Xor.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Bool/Xor.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Bool/Xor.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Buffer.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Buffer.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Buffer.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Colist.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Colist.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Colist.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Colist1.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Colist1.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Colist1.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Contravariant.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Contravariant.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Contravariant.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/DPair.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/DPair.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/DPair.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Double.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Double.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Double.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Either.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Either.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Either.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Arith.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Arith.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Arith.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Order.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Order.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Order.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Properties.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Properties.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Properties.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Split.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Split.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Fin/Split.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Fuel.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Fuel.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Fuel.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Fun.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Fun.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Fun.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/IOArray
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/IOArray.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/IOArray.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/IOArray.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/IOArray/Prims.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/IOArray/Prims.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/IOArray/Prims.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/IORef.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/IORef.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/IORef.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Integral.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Integral.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Integral.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List/AtIndex.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List/AtIndex.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List/AtIndex.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Elem.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Elem.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Elem.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List/HasLength.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List/HasLength.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List/HasLength.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Lazy
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Lazy.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Lazy.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Lazy.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Lazy/Quantifiers.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Lazy/Quantifiers.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Lazy/Quantifiers.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Quantifiers.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Quantifiers.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Quantifiers.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Views.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Views.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List/Views.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List1
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List1.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List1.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List1.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List1/Elem.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List1/Elem.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List1/Elem.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List1/Properties.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List1/Properties.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List1/Properties.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List1/Quantifiers.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List1/Quantifiers.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/List1/Quantifiers.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Maybe.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Maybe.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Maybe.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Morphisms.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Morphisms.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Morphisms.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat/Order
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat/Order.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat/Order.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat/Order.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat/Order/Properties.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat/Order/Properties.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat/Order/Properties.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat/Views.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat/Views.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Nat/Views.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/OpenUnion.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/OpenUnion.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/OpenUnion.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Primitives
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Primitives/Interpolation.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Primitives/Interpolation.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Primitives/Interpolation.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Primitives/Views.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Primitives/Views.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Primitives/Views.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Ref.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Ref.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Ref.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Rel.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Rel.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Rel.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Singleton.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Singleton.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Singleton.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/Elem.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/Elem.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/Elem.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/HasLength.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/HasLength.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/HasLength.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/Operations.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/Operations.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/Operations.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/Quantifiers.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/Quantifiers.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/SnocList/Quantifiers.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/So.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/So.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/So.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/SortedMap
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/SortedMap.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/SortedMap.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/SortedMap.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/SortedMap/Dependent.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/SortedMap/Dependent.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/SortedMap/Dependent.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/SortedSet.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/SortedSet.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/SortedSet.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Stream.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Stream.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Stream.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/String.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/String.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/String.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/These.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/These.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/These.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/AtIndex.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/AtIndex.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/AtIndex.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/Elem.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/Elem.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/Elem.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/Quantifiers.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/Quantifiers.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/Quantifiers.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/Views.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/Views.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Vect/Views.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Void.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Void.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Void.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Zippable.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Zippable.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Data/Zippable.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Debug
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Debug/Trace.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Debug/Trace.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Debug/Trace.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Decidable
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Decidable/Decidable.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Decidable/Decidable.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Decidable/Decidable.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Decidable/Equality
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Decidable/Equality.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Decidable/Equality.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Decidable/Equality.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Decidable/Equality/Core.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Decidable/Equality/Core.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Decidable/Equality/Core.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Deriving
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Common.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Common.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Common.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Foldable.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Foldable.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Foldable.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Functor.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Functor.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Functor.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Show.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Show.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Show.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Traversable.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Traversable.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Deriving/Traversable.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Language
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Language/Reflection
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Language/Reflection.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Language/Reflection.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Language/Reflection.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Language/Reflection/TT.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Language/Reflection/TT.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Language/Reflection/TT.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Language/Reflection/TTImp.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Language/Reflection/TTImp.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Language/Reflection/TTImp.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Syntax
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Syntax/PreorderReasoning
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Syntax/PreorderReasoning.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Syntax/PreorderReasoning.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Syntax/PreorderReasoning.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Syntax/PreorderReasoning/Generic.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Syntax/PreorderReasoning/Generic.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Syntax/PreorderReasoning/Generic.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Syntax/PreorderReasoning/Ops.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Syntax/PreorderReasoning/Ops.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Syntax/WithProof.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Syntax/WithProof.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/Syntax/WithProof.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/Clock.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/Clock.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/Clock.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/Concurrency.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/Concurrency.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/Concurrency.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/Directory.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/Directory.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/Directory.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/Errno.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/Errno.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/Errno.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/Escape.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/Escape.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/Escape.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/FFI.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/FFI.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/FFI.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File/Buffer.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File/Buffer.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File/Buffer.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File/Error.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File/Error.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File/Error.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File/Handle.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File/Handle.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File/Handle.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File/Meta.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File/Meta.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File/Meta.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File/Mode.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File/Mode.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File/Mode.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File/Permissions.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File/Permissions.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File/Permissions.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File/Process.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File/Process.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File/Process.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File/ReadWrite.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File/ReadWrite.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File/ReadWrite.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File/Support.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File/Support.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File/Support.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File/Types.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File/Types.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File/Types.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File/Virtual.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File/Virtual.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/File/Virtual.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/Info.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/Info.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/Info.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/REPL.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/REPL.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/REPL.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/Signal.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/Signal.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/Signal.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/Term.so
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/Term.ttc
/usr/lib64/idris2-0.8.0/base-0.8.0/2025081600/System/Term.ttm
/usr/lib64/idris2-0.8.0/base-0.8.0/base.ipkg
/usr/lib64/idris2-0.8.0/contrib-0.8.0
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Control
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Control/ANSI
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Control/ANSI.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Control/ANSI.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Control/ANSI.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Control/ANSI/CSI.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Control/ANSI/CSI.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Control/ANSI/CSI.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Control/ANSI/SGR.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Control/ANSI/SGR.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Control/ANSI/SGR.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Arrow.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Arrow.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Arrow.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Category.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Category.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Category.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Delayed.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Delayed.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Delayed.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Validation.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Validation.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Control/Validation.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Binary
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Binary.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Binary.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Binary.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Binary/Digit.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Binary/Digit.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Binary/Digit.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Fin
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Fin/Extra.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Fin/Extra.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Fin/Extra.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Fun
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Fun/Extra.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Fun/Extra.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Fun/Extra.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Fun/Graph.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Fun/Graph.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Fun/Graph.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/IMaybe.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/IMaybe.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/IMaybe.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/IOMatrix.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/IOMatrix.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/IOMatrix.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Int
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Int/Order.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Int/Order.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Int/Order.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Late.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Late.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Late.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Linear
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Linear/Array.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Linear/Array.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Linear/Array.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Alternating.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Alternating.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Alternating.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Elem
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Elem/Extra.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Elem/Extra.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Elem/Extra.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Equalities.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Equalities.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Equalities.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Extra.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Extra.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Extra.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Palindrome.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Palindrome.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Palindrome.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Reverse.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Reverse.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Reverse.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Sufficient.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Sufficient.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Sufficient.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/TailRec.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/TailRec.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/TailRec.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Views
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Views/Extra.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Views/Extra.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/List/Views/Extra.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Logic
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Logic/Propositional.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Logic/Propositional.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Logic/Propositional.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Monoid
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Monoid/Exponentiation.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Monoid/Exponentiation.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Monoid/Exponentiation.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Ack.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Ack.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Ack.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Division.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Division.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Division.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Equational.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Equational.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Equational.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Exponentiation.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Exponentiation.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Exponentiation.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Fact.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Fact.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Fact.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Factor.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Factor.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Factor.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Fib.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Fib.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Fib.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Order
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Order/Relation.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Order/Relation.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Order/Relation.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Order/Strict.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Order/Strict.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Order/Strict.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Properties.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Properties.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Nat/Properties.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Order.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Order.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Order.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Path.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Path.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Path.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Rel
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Rel/Complement.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Rel/Complement.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Rel/Complement.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Seq
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Seq/Internal.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Seq/Internal.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Seq/Internal.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Seq/Sized.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Seq/Sized.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Seq/Sized.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Seq/Unsized.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Seq/Unsized.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Seq/Unsized.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Stream
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Stream/Extra.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Stream/Extra.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Stream/Extra.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Extra.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Extra.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Extra.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Interpolation.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Interpolation.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Interpolation.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Iterator.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Iterator.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Iterator.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Parser
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Parser.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Parser.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Parser.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Parser/Expression.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Parser/Expression.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Parser/Expression.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Position.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Position.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/String/Position.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Congruence.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Congruence.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Congruence.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Fun.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Fun.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Fun.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Segment.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Segment.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Segment.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/SimpleFun.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/SimpleFun.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/SimpleFun.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Telescope.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Telescope.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Telescope/Telescope.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Validated.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Validated.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Validated.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Extra.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Extra.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Extra.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Fin.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Fin.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Fin.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Foldr.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Foldr.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Foldr.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Index.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Index.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Index.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Map.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Map.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Map.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Tabulate.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Tabulate.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Properties/Tabulate.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Sort.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Sort.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Data/Vect/Sort.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Debug
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Debug/Buffer.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Debug/Buffer.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Debug/Buffer.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Decidable
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Decidable/Decidable
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Decidable/Decidable/Extra.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Decidable/Decidable/Extra.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Decidable/Decidable/Extra.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Decidable/Finite
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Decidable/Finite/Fin.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Decidable/Finite/Fin.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Decidable/Finite/Fin.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Decidable/Order
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Decidable/Order/Strict.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Decidable/Order/Strict.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Decidable/Order/Strict.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Language
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Data.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Data.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Data.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Lexer.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Lexer.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Lexer.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Parser.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Parser.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Parser.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String/Lexer.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String/Lexer.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String/Lexer.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String/Parser.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String/Parser.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String/Parser.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String/Tokens.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String/Tokens.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/String/Tokens.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Tokens.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Tokens.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Language/JSON/Tokens.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/System
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/System/Console
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/System/Console/GetOpt.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/System/Console/GetOpt.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/System/Console/GetOpt.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/System/Directory
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/System/Directory/Tree.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/System/Directory/Tree.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/System/Directory/Tree.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/System/Future.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/System/Future.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/System/Future.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/System/Path.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/System/Path.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/System/Path.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/System/Random.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/System/Random.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/System/Random.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Bounded.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Bounded.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Bounded.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Distance
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Distance/Levenshtein.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Distance/Levenshtein.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Distance/Levenshtein.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Lexer
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Lexer.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Lexer.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Lexer.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Lexer/Core.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Lexer/Core.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Lexer/Core.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Lexer/Tokenizer.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Lexer/Tokenizer.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Lexer/Tokenizer.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Literate.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Literate.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Literate.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Parser
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Parser.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Parser.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Parser.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Parser/Core.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Parser/Core.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Parser/Core.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Parser/Expression.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Parser/Expression.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Parser/Expression.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Doc.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Doc.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Doc.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Render
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Render/HTML.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Render/HTML.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Render/HTML.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Render/String.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Render/String.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Render/String.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Render/Terminal.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Render/Terminal.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Render/Terminal.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/SimpleDocTree.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/SimpleDocTree.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/SimpleDocTree.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Symbols.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Symbols.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Symbols.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Util.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Util.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/PrettyPrint/Prettyprinter/Util.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Quantity.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Quantity.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Quantity.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Token.so
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Token.ttc
/usr/lib64/idris2-0.8.0/contrib-0.8.0/2025081600/Text/Token.ttm
/usr/lib64/idris2-0.8.0/contrib-0.8.0/contrib.ipkg
/usr/lib64/idris2-0.8.0/idris2-0.8.0
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Algebra
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Algebra.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Algebra.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Algebra/Preorder.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Algebra/Preorder.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Algebra/Semiring.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Algebra/Semiring.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Algebra/SizeChange.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Algebra/SizeChange.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Algebra/ZeroOneOmega.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Algebra/ZeroOneOmega.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/ANF.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/ANF.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/CaseOpts.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/CaseOpts.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Common.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Common.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/CompileExpr.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/CompileExpr.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/ES
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/ES/Ast.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/ES/Ast.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/ES/Codegen.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/ES/Codegen.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/ES/Doc.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/ES/Doc.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/ES/Javascript.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/ES/Javascript.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/ES/Node.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/ES/Node.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/ES/State.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/ES/State.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/ES/TailRec.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/ES/TailRec.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/ES/ToAst.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/ES/ToAst.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Generated.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Generated.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Inline.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Inline.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Interpreter
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Interpreter/VMCode.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Interpreter/VMCode.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/LambdaLift.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/LambdaLift.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/NoMangle.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/NoMangle.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Opts
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Opts/CSE.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Opts/CSE.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Opts/ConstantFold.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Opts/ConstantFold.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Opts/Constructor.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Opts/Constructor.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Opts/Identity.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Opts/Identity.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Opts/InlineHeuristics.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Opts/InlineHeuristics.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Opts/ToplevelConstants.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Opts/ToplevelConstants.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/RefC
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/RefC.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/RefC.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/RefC/CC.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/RefC/CC.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/RefC/RefC.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/RefC/RefC.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Scheme
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Scheme/Chez.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Scheme/Chez.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Scheme/ChezSep.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Scheme/ChezSep.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Scheme/Common.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Scheme/Common.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Scheme/Gambit.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Scheme/Gambit.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Scheme/Racket.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Scheme/Racket.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Separate.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/Separate.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/VMCode.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Compiler/VMCode.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/AutoSearch.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/AutoSearch.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Binary
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Binary.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Binary.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Binary/Prims.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Binary/Prims.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Case
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Case/CaseBuilder.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Case/CaseBuilder.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Case/CaseTree
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Case/CaseTree.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Case/CaseTree.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Case/CaseTree/Pretty.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Case/CaseTree/Pretty.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Case/Util.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Case/Util.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/CompileExpr
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/CompileExpr.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/CompileExpr.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/CompileExpr/Pretty.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/CompileExpr/Pretty.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Context
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Context.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Context.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Context/Context.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Context/Context.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Context/Data.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Context/Data.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Context/Log.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Context/Log.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Context/Pretty.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Context/Pretty.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Context/TTC.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Context/TTC.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Core.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Core.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Coverage.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Coverage.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Directory.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Directory.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Env.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Env.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/FC.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/FC.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/GetType.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/GetType.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Hash.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Hash.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/InitPrimitives.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/InitPrimitives.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/LinearCheck.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/LinearCheck.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Metadata.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Metadata.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Name
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Name.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Name.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Name/CompatibleVars.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Name/CompatibleVars.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Name/Namespace.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Name/Namespace.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Name/Scoped.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Name/Scoped.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Normalise
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Normalise.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Normalise.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Normalise/Convert.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Normalise/Convert.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Normalise/Eval.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Normalise/Eval.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Normalise/Quote.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Normalise/Quote.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Options
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Options.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Options.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Options/Log.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Options/Log.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Ord.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Ord.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Primitives.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Primitives.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Reflect.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Reflect.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/SchemeEval
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/SchemeEval.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/SchemeEval.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/SchemeEval/Builtins.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/SchemeEval/Builtins.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/SchemeEval/Compile.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/SchemeEval/Compile.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/SchemeEval/Evaluate.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/SchemeEval/Evaluate.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/SchemeEval/Quote.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/SchemeEval/Quote.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/SchemeEval/ToScheme.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/SchemeEval/ToScheme.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/TT
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/TT.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/TT.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/TT/Binder.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/TT/Binder.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/TT/Primitive.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/TT/Primitive.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/TT/Subst.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/TT/Subst.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/TT/Term
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/TT/Term.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/TT/Term.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/TT/Term/Subst.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/TT/Term/Subst.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/TT/Traversals.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/TT/Traversals.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/TT/Var.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/TT/Var.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/TT/Views.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/TT/Views.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/TTC.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/TTC.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Termination
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Termination.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Termination.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Termination/CallGraph.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Termination/CallGraph.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Termination/Positivity.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Termination/Positivity.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Termination/References.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Termination/References.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Termination/SizeChange.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Termination/SizeChange.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Transform.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Transform.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Unify.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Unify.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/UnifyState.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/UnifyState.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Value.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/Value.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/WithData.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Core/WithData.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/CommandLine.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/CommandLine.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Desugar
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Desugar.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Desugar.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Desugar/Mutual.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Desugar/Mutual.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Doc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Doc/Annotations.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Doc/Annotations.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Doc/Brackets.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Doc/Brackets.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Doc/Display.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Doc/Display.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Doc/HTML.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Doc/HTML.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Doc/Keywords.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Doc/Keywords.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Doc/String.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Doc/String.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Driver.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Driver.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Elab
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Elab/Implementation.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Elab/Implementation.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Elab/Interface.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Elab/Interface.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Env.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Env.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Error.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Error.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/IDEMode
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/IDEMode/CaseSplit.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/IDEMode/CaseSplit.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/IDEMode/Commands.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/IDEMode/Commands.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/IDEMode/Holes.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/IDEMode/Holes.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/IDEMode/MakeClause.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/IDEMode/MakeClause.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/IDEMode/Parser.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/IDEMode/Parser.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/IDEMode/Pretty.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/IDEMode/Pretty.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/IDEMode/REPL.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/IDEMode/REPL.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/IDEMode/SyntaxHighlight.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/IDEMode/SyntaxHighlight.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/IDEMode/TokenLine.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/IDEMode/TokenLine.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/ModTree.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/ModTree.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Package
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Package.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Package.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Package/Init.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Package/Init.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Package/ToJson.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Package/ToJson.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Package/Types.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Package/Types.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Parser
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Parser.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Parser.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Parser/Let.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Parser/Let.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Pretty
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Pretty.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Pretty.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Pretty/Annotations.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Pretty/Annotations.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Pretty/Render.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Pretty/Render.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/ProcessIdr.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/ProcessIdr.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/REPL
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/REPL.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/REPL.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/REPL/Common.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/REPL/Common.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/REPL/FuzzySearch.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/REPL/FuzzySearch.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/REPL/Opts.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/REPL/Opts.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Resugar.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Resugar.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/SetOptions.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/SetOptions.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Syntax
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Syntax.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Syntax.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Syntax/Builtin.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Syntax/Builtin.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Syntax/Pragmas.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Syntax/Pragmas.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Syntax/TTC.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Syntax/TTC.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Syntax/Traversals.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Syntax/Traversals.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Syntax/Views.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Syntax/Views.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Version.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Idris/Version.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/IdrisPaths.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/IdrisPaths.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Control
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Control/ANSI
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Control/ANSI.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Control/ANSI.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Control/ANSI/CSI.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Control/ANSI/CSI.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Control/ANSI/SGR.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Control/ANSI/SGR.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Control/Delayed.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Control/Delayed.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/ANameMap.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/ANameMap.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/DList.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/DList.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/Erased.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/Erased.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/Fin.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/Fin.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/Graph.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/Graph.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/IMaybe.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/IMaybe.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/IOArray.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/IOArray.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/IOMatrix.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/IOMatrix.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/IntMap.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/IntMap.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/List
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/List/Extra.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/List/Extra.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/List/HasLength.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/List/HasLength.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/List/Lazy.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/List/Lazy.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/List/LengthMatch.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/List/LengthMatch.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/List/Quantifiers
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/List/Quantifiers/Extra.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/List/Quantifiers/Extra.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/List/SizeOf.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/List/SizeOf.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/List/Thin.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/List/Thin.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/List01
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/List01.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/List01.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/List01/Quantifiers.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/List01/Quantifiers.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/List1.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/List1.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/NameMap
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/NameMap.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/NameMap.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/NameMap/Traversable.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/NameMap/Traversable.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/NatSet.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/NatSet.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/Ordering
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/Ordering/Extra.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/Ordering/Extra.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/PosMap.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/PosMap.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/Record.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/Record.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/SnocList
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/SnocList/Extra.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/SnocList/Extra.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/SnocList/HasLength.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/SnocList/HasLength.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/SnocList/LengthMatch.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/SnocList/LengthMatch.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/SnocList/SizeOf.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/SnocList/SizeOf.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/SortedMap.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/SortedMap.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/SortedSet.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/SortedSet.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/Span.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/Span.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/SparseMatrix.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/SparseMatrix.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/String
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/String/Builder.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/String/Builder.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/String/Extra.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/String/Extra.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/String/Iterator.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/String/Iterator.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/StringMap.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/StringMap.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/StringTrie.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/StringTrie.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/Tap.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/Tap.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/UserNameMap.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/UserNameMap.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/VarSet
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/VarSet.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/VarSet.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/VarSet/Core.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/VarSet/Core.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/Version.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/Version.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/WithData.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/WithData.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/WithDefault.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Data/WithDefault.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/System
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/System/Directory
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/System/Directory/Tree.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/System/Directory/Tree.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/Bounded.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/Bounded.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/Distance
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/Distance/Levenshtein.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/Distance/Levenshtein.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/Lexer
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/Lexer.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/Lexer.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/Lexer/Core.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/Lexer/Core.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/Lexer/Tokenizer.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/Lexer/Tokenizer.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/Literate.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/Literate.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/Parser
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/Parser.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/Parser.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/Parser/Core.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/Parser/Core.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/PrettyPrint
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/PrettyPrint/Prettyprinter
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/PrettyPrint/Prettyprinter.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/PrettyPrint/Prettyprinter.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/PrettyPrint/Prettyprinter/Doc.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/PrettyPrint/Prettyprinter/Doc.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/PrettyPrint/Prettyprinter/Render
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/PrettyPrint/Prettyprinter/Render/HTML.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/PrettyPrint/Prettyprinter/Render/HTML.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/PrettyPrint/Prettyprinter/Render/String.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/PrettyPrint/Prettyprinter/Render/String.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/PrettyPrint/Prettyprinter/Render/Terminal.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/PrettyPrint/Prettyprinter/Render/Terminal.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/PrettyPrint/Prettyprinter/SimpleDocTree.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/PrettyPrint/Prettyprinter/SimpleDocTree.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/PrettyPrint/Prettyprinter/Symbols.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/PrettyPrint/Prettyprinter/Symbols.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/PrettyPrint/Prettyprinter/Util.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/PrettyPrint/Prettyprinter/Util.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/Quantity.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/Quantity.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/Token.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Text/Token.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Utils
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Utils/Binary.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Utils/Binary.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Utils/Octal.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Utils/Octal.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Utils/Path.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Utils/Path.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Utils/Scheme.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Utils/Scheme.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Utils/Shunting.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Utils/Shunting.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Utils/String.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Libraries/Utils/String.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Parser
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Parser/Lexer
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Parser/Lexer/Common.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Parser/Lexer/Common.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Parser/Lexer/Package.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Parser/Lexer/Package.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Parser/Lexer/Source.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Parser/Lexer/Source.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Parser/Package.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Parser/Package.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Parser/Rule
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Parser/Rule/Package.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Parser/Rule/Package.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Parser/Rule/Source.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Parser/Rule/Source.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Parser/Source.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Parser/Source.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Parser/Support
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Parser/Support.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Parser/Support.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Parser/Support/Escaping.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Parser/Support/Escaping.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Parser/Unlit.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Parser/Unlit.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Protocol
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Protocol/Hex.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Protocol/Hex.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Protocol/IDE
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Protocol/IDE.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Protocol/IDE.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Protocol/IDE/Command.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Protocol/IDE/Command.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Protocol/IDE/Decoration.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Protocol/IDE/Decoration.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Protocol/IDE/FileContext.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Protocol/IDE/FileContext.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Protocol/IDE/Formatting.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Protocol/IDE/Formatting.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Protocol/IDE/Highlight.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Protocol/IDE/Highlight.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Protocol/IDE/Holes.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Protocol/IDE/Holes.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Protocol/IDE/Result.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Protocol/IDE/Result.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Protocol/SExp
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Protocol/SExp.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Protocol/SExp.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Protocol/SExp/Parser.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Protocol/SExp/Parser.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/BindImplicits.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/BindImplicits.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/Ambiguity.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/Ambiguity.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/App.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/App.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/As.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/As.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/Binders.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/Binders.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/Case.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/Case.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/Check.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/Check.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/Delayed.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/Delayed.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/Dot.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/Dot.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/Hole.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/Hole.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/ImplicitBind.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/ImplicitBind.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/Lazy.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/Lazy.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/Local.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/Local.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/Prim.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/Prim.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/Quote.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/Quote.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/Record.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/Record.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/Rewrite.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/Rewrite.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/RunElab.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/RunElab.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/Term.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/Term.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/Utils.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Elab/Utils.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Impossible.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Impossible.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Interactive
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Interactive/CaseSplit.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Interactive/CaseSplit.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Interactive/Completion.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Interactive/Completion.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Interactive/ExprSearch.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Interactive/ExprSearch.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Interactive/GenerateDef.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Interactive/GenerateDef.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Interactive/Intro.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Interactive/Intro.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Interactive/MakeLemma.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Interactive/MakeLemma.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Parser.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Parser.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/PartialEval.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/PartialEval.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/ProcessBuiltin.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/ProcessBuiltin.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/ProcessData.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/ProcessData.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/ProcessDecls
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/ProcessDecls.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/ProcessDecls.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/ProcessDecls/Totality.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/ProcessDecls/Totality.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/ProcessDef.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/ProcessDef.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/ProcessFnOpt.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/ProcessFnOpt.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/ProcessParams.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/ProcessParams.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/ProcessRecord.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/ProcessRecord.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/ProcessRunElab.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/ProcessRunElab.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/ProcessTransform.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/ProcessTransform.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/ProcessType.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/ProcessType.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Reflect.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Reflect.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/TTImp
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/TTImp.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/TTImp.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/TTImp/Functor.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/TTImp/Functor.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/TTImp/TTC.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/TTImp/TTC.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/TTImp/Traversals.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/TTImp/Traversals.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Unelab.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Unelab.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Utils.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/Utils.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/WithClause.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/TTImp/WithClause.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Yaffle
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Yaffle/Main.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Yaffle/Main.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Yaffle/REPL.ttc
/usr/lib64/idris2-0.8.0/idris2-0.8.0/2025081600/Yaffle/REPL.ttm
/usr/lib64/idris2-0.8.0/idris2-0.8.0/idris2.ipkg
/usr/lib64/idris2-0.8.0/linear-0.8.0
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Control
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Control/Linear
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Control/Linear/LIO.so
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Control/Linear/LIO.ttc
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Control/Linear/LIO.ttm
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear.ttc
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear.ttm
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Bifunctor.so
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Bifunctor.ttc
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Bifunctor.ttm
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Copies.so
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Copies.ttc
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Copies.ttm
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Interface.so
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Interface.ttc
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Interface.ttm
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LEither.so
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LEither.ttc
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LEither.ttm
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LList.so
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LList.ttc
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LList.ttm
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LMaybe.so
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LMaybe.ttc
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LMaybe.ttm
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LNat.so
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LNat.ttc
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LNat.ttm
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LVect.so
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LVect.ttc
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/LVect.ttm
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/List
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/List/LQuantifiers.so
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/List/LQuantifiers.ttc
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/List/LQuantifiers.ttm
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Notation.so
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Notation.ttc
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/Data/Linear/Notation.ttm
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/System
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/System/Concurrency
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/System/Concurrency/Linear.so
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/System/Concurrency/Linear.ttc
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/System/Concurrency/Linear.ttm
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/System/Concurrency/Session.so
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/System/Concurrency/Session.ttc
/usr/lib64/idris2-0.8.0/linear-0.8.0/2025081600/System/Concurrency/Session.ttm
/usr/lib64/idris2-0.8.0/linear-0.8.0/linear.ipkg
/usr/lib64/idris2-0.8.0/network-0.8.0
/usr/lib64/idris2-0.8.0/network-0.8.0/2025081600
/usr/lib64/idris2-0.8.0/network-0.8.0/2025081600/Control
/usr/lib64/idris2-0.8.0/network-0.8.0/2025081600/Control/Linear
/usr/lib64/idris2-0.8.0/network-0.8.0/2025081600/Control/Linear/Network.so
/usr/lib64/idris2-0.8.0/network-0.8.0/2025081600/Control/Linear/Network.ttc
/usr/lib64/idris2-0.8.0/network-0.8.0/2025081600/Control/Linear/Network.ttm
/usr/lib64/idris2-0.8.0/network-0.8.0/2025081600/Network
/usr/lib64/idris2-0.8.0/network-0.8.0/2025081600/Network/FFI.so
/usr/lib64/idris2-0.8.0/network-0.8.0/2025081600/Network/FFI.ttc
/usr/lib64/idris2-0.8.0/network-0.8.0/2025081600/Network/FFI.ttm
/usr/lib64/idris2-0.8.0/network-0.8.0/2025081600/Network/Socket
/usr/lib64/idris2-0.8.0/network-0.8.0/2025081600/Network/Socket.so
/usr/lib64/idris2-0.8.0/network-0.8.0/2025081600/Network/Socket.ttc
/usr/lib64/idris2-0.8.0/network-0.8.0/2025081600/Network/Socket.ttm
/usr/lib64/idris2-0.8.0/network-0.8.0/2025081600/Network/Socket/Data.so
/usr/lib64/idris2-0.8.0/network-0.8.0/2025081600/Network/Socket/Data.ttc
/usr/lib64/idris2-0.8.0/network-0.8.0/2025081600/Network/Socket/Data.ttm
/usr/lib64/idris2-0.8.0/network-0.8.0/2025081600/Network/Socket/Raw.so
/usr/lib64/idris2-0.8.0/network-0.8.0/2025081600/Network/Socket/Raw.ttc
/usr/lib64/idris2-0.8.0/network-0.8.0/2025081600/Network/Socket/Raw.ttm
/usr/lib64/idris2-0.8.0/network-0.8.0/network.ipkg
/usr/lib64/idris2-0.8.0/prelude-0.8.0
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Builtin.so
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Builtin.ttc
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Builtin.ttm
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude.ttc
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude.ttm
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Basics.so
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Basics.ttc
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Basics.ttm
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Cast.so
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Cast.ttc
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Cast.ttm
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/EqOrd.so
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/EqOrd.ttc
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/EqOrd.ttm
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/IO.so
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/IO.ttc
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/IO.ttm
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Interfaces.so
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Interfaces.ttc
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Interfaces.ttm
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Interpolation.so
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Interpolation.ttc
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Interpolation.ttm
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Num.so
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Num.ttc
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Num.ttm
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Ops.ttc
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Ops.ttm
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Show.so
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Show.ttc
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Show.ttm
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Types.so
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Types.ttc
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Types.ttm
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Uninhabited.so
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Uninhabited.ttc
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/Prelude/Uninhabited.ttm
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/PrimIO.so
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/PrimIO.ttc
/usr/lib64/idris2-0.8.0/prelude-0.8.0/2025081600/PrimIO.ttm
/usr/lib64/idris2-0.8.0/prelude-0.8.0/prelude.ipkg
/usr/lib64/idris2-0.8.0/support
/usr/lib64/idris2-0.8.0/support/c
/usr/lib64/idris2-0.8.0/support/c/getline.h
/usr/lib64/idris2-0.8.0/support/c/idris_directory.h
/usr/lib64/idris2-0.8.0/support/c/idris_file.h
/usr/lib64/idris2-0.8.0/support/c/idris_memory.h
/usr/lib64/idris2-0.8.0/support/c/idris_net.h
/usr/lib64/idris2-0.8.0/support/c/idris_signal.h
/usr/lib64/idris2-0.8.0/support/c/idris_support.h
/usr/lib64/idris2-0.8.0/support/c/idris_system.h
/usr/lib64/idris2-0.8.0/support/c/idris_term.h
/usr/lib64/idris2-0.8.0/support/c/idris_util.h
/usr/lib64/idris2-0.8.0/support/chez
/usr/lib64/idris2-0.8.0/support/chez/ct-support.ss
/usr/lib64/idris2-0.8.0/support/chez/support-sep.ss
/usr/lib64/idris2-0.8.0/support/chez/support.ss
/usr/lib64/idris2-0.8.0/support/docs
/usr/lib64/idris2-0.8.0/support/docs/alternative.css
/usr/lib64/idris2-0.8.0/support/docs/blackandwhite.css
/usr/lib64/idris2-0.8.0/support/docs/default.css
/usr/lib64/idris2-0.8.0/support/gambit
/usr/lib64/idris2-0.8.0/support/gambit/foreign.scm
/usr/lib64/idris2-0.8.0/support/gambit/support.scm
/usr/lib64/idris2-0.8.0/support/js
/usr/lib64/idris2-0.8.0/support/js/support.js
/usr/lib64/idris2-0.8.0/support/js/support_system.js
/usr/lib64/idris2-0.8.0/support/js/support_system_clock.js
/usr/lib64/idris2-0.8.0/support/js/support_system_directory.js
/usr/lib64/idris2-0.8.0/support/js/support_system_file.js
/usr/lib64/idris2-0.8.0/support/js/support_system_signal.js
/usr/lib64/idris2-0.8.0/support/racket
/usr/lib64/idris2-0.8.0/support/racket/ct-support.rkt
/usr/lib64/idris2-0.8.0/support/racket/support.rkt
/usr/lib64/idris2-0.8.0/support/refc
/usr/lib64/idris2-0.8.0/support/refc/_datatypes.h
/usr/lib64/idris2-0.8.0/support/refc/buffer.h
/usr/lib64/idris2-0.8.0/support/refc/cBackend.h
/usr/lib64/idris2-0.8.0/support/refc/casts.h
/usr/lib64/idris2-0.8.0/support/refc/clock.h
/usr/lib64/idris2-0.8.0/support/refc/libidris2_refc.a
/usr/lib64/idris2-0.8.0/support/refc/mathFunctions.h
/usr/lib64/idris2-0.8.0/support/refc/memoryManagement.h
/usr/lib64/idris2-0.8.0/support/refc/prim.h
/usr/lib64/idris2-0.8.0/support/refc/refc_util.h
/usr/lib64/idris2-0.8.0/support/refc/runtime.h
/usr/lib64/idris2-0.8.0/support/refc/stringOps.h
/usr/lib64/idris2-0.8.0/support/refc/threads.h
/usr/lib64/idris2-0.8.0/test-0.8.0
/usr/lib64/idris2-0.8.0/test-0.8.0/2025081600
/usr/lib64/idris2-0.8.0/test-0.8.0/2025081600/Test
/usr/lib64/idris2-0.8.0/test-0.8.0/2025081600/Test/Golden.so
/usr/lib64/idris2-0.8.0/test-0.8.0/2025081600/Test/Golden.ttc
/usr/lib64/idris2-0.8.0/test-0.8.0/2025081600/Test/Golden.ttm
/usr/lib64/idris2-0.8.0/test-0.8.0/test.ipkg
/usr/share/bash-completion/completions/idris2
/usr/share/doc/idris2
/usr/share/doc/idris2/CHANGELOG.md
/usr/share/doc/idris2/CHANGELOG_NEXT.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, Sun Apr 26 00:10:12 2026