Content of RPM idris-0.12.3-5.19.x86_64.rpm :
/usr/bin/idris
/usr/bin/idris-codegen-c
/usr/bin/idris-codegen-javascript
/usr/bin/idris-codegen-node
/usr/lib/idris-0.12.3
/usr/lib/idris-0.12.3/idrisdoc
/usr/lib/idris-0.12.3/idrisdoc/styles.css
/usr/lib/idris-0.12.3/jsrts
/usr/lib/idris-0.12.3/jsrts/Runtime-browser.js
/usr/lib/idris-0.12.3/jsrts/Runtime-common.js
/usr/lib/idris-0.12.3/jsrts/Runtime-node.js
/usr/lib/idris-0.12.3/jsrts/jsbn
/usr/lib/idris-0.12.3/jsrts/jsbn/LICENSE
/usr/lib/idris-0.12.3/jsrts/jsbn/jsbn.js
/usr/lib/idris-0.12.3/libs
/usr/lib/idris-0.12.3/libs/base
/usr/lib/idris-0.12.3/libs/base/00base-idx.ibc
/usr/lib/idris-0.12.3/libs/base/Control
/usr/lib/idris-0.12.3/libs/base/Control/Arrow.ibc
/usr/lib/idris-0.12.3/libs/base/Control/Catchable.ibc
/usr/lib/idris-0.12.3/libs/base/Control/Category.ibc
/usr/lib/idris-0.12.3/libs/base/Control/IOExcept.ibc
/usr/lib/idris-0.12.3/libs/base/Control/Isomorphism.ibc
/usr/lib/idris-0.12.3/libs/base/Control/Monad
/usr/lib/idris-0.12.3/libs/base/Control/Monad/Identity.ibc
/usr/lib/idris-0.12.3/libs/base/Control/Monad/RWS.ibc
/usr/lib/idris-0.12.3/libs/base/Control/Monad/Reader.ibc
/usr/lib/idris-0.12.3/libs/base/Control/Monad/State.ibc
/usr/lib/idris-0.12.3/libs/base/Control/Monad/Trans.ibc
/usr/lib/idris-0.12.3/libs/base/Control/Monad/Writer.ibc
/usr/lib/idris-0.12.3/libs/base/Data
/usr/lib/idris-0.12.3/libs/base/Data/Bits.ibc
/usr/lib/idris-0.12.3/libs/base/Data/Complex.ibc
/usr/lib/idris-0.12.3/libs/base/Data/Erased.ibc
/usr/lib/idris-0.12.3/libs/base/Data/Fin.ibc
/usr/lib/idris-0.12.3/libs/base/Data/HVect.ibc
/usr/lib/idris-0.12.3/libs/base/Data/List
/usr/lib/idris-0.12.3/libs/base/Data/List.ibc
/usr/lib/idris-0.12.3/libs/base/Data/List/Quantifiers.ibc
/usr/lib/idris-0.12.3/libs/base/Data/List/Views.ibc
/usr/lib/idris-0.12.3/libs/base/Data/Mod2.ibc
/usr/lib/idris-0.12.3/libs/base/Data/Morphisms.ibc
/usr/lib/idris-0.12.3/libs/base/Data/Nat
/usr/lib/idris-0.12.3/libs/base/Data/Nat/Views.ibc
/usr/lib/idris-0.12.3/libs/base/Data/Primitives
/usr/lib/idris-0.12.3/libs/base/Data/Primitives/Views.ibc
/usr/lib/idris-0.12.3/libs/base/Data/So.ibc
/usr/lib/idris-0.12.3/libs/base/Data/String
/usr/lib/idris-0.12.3/libs/base/Data/String.ibc
/usr/lib/idris-0.12.3/libs/base/Data/String/Views.ibc
/usr/lib/idris-0.12.3/libs/base/Data/Vect
/usr/lib/idris-0.12.3/libs/base/Data/Vect.ibc
/usr/lib/idris-0.12.3/libs/base/Data/Vect/Quantifiers.ibc
/usr/lib/idris-0.12.3/libs/base/Data/Vect/Views.ibc
/usr/lib/idris-0.12.3/libs/base/Debug
/usr/lib/idris-0.12.3/libs/base/Debug/Error.ibc
/usr/lib/idris-0.12.3/libs/base/Debug/Trace.ibc
/usr/lib/idris-0.12.3/libs/base/Language
/usr/lib/idris-0.12.3/libs/base/Language/Reflection
/usr/lib/idris-0.12.3/libs/base/Language/Reflection/Utils.ibc
/usr/lib/idris-0.12.3/libs/base/Syntax
/usr/lib/idris-0.12.3/libs/base/Syntax/PreorderReasoning.ibc
/usr/lib/idris-0.12.3/libs/base/System
/usr/lib/idris-0.12.3/libs/base/System.ibc
/usr/lib/idris-0.12.3/libs/base/System/Concurrency
/usr/lib/idris-0.12.3/libs/base/System/Concurrency/Channels.ibc
/usr/lib/idris-0.12.3/libs/base/System/Concurrency/Raw.ibc
/usr/lib/idris-0.12.3/libs/base/System/Info.ibc
/usr/lib/idris-0.12.3/libs/contrib
/usr/lib/idris-0.12.3/libs/contrib/00contrib-idx.ibc
/usr/lib/idris-0.12.3/libs/contrib/CFFI
/usr/lib/idris-0.12.3/libs/contrib/CFFI.ibc
/usr/lib/idris-0.12.3/libs/contrib/CFFI/Memory.ibc
/usr/lib/idris-0.12.3/libs/contrib/CFFI/Types.ibc
/usr/lib/idris-0.12.3/libs/contrib/Control
/usr/lib/idris-0.12.3/libs/contrib/Control/Algebra
/usr/lib/idris-0.12.3/libs/contrib/Control/Algebra.ibc
/usr/lib/idris-0.12.3/libs/contrib/Control/Algebra/Lattice.ibc
/usr/lib/idris-0.12.3/libs/contrib/Control/Algebra/NumericImplementations.ibc
/usr/lib/idris-0.12.3/libs/contrib/Control/Algebra/VectorSpace.ibc
/usr/lib/idris-0.12.3/libs/contrib/Control/Isomorphism
/usr/lib/idris-0.12.3/libs/contrib/Control/Isomorphism/Primitives.ibc
/usr/lib/idris-0.12.3/libs/contrib/Control/Partial.ibc
/usr/lib/idris-0.12.3/libs/contrib/Data
/usr/lib/idris-0.12.3/libs/contrib/Data/BoundedList.ibc
/usr/lib/idris-0.12.3/libs/contrib/Data/CoList.ibc
/usr/lib/idris-0.12.3/libs/contrib/Data/Fun.ibc
/usr/lib/idris-0.12.3/libs/contrib/Data/Hash.ibc
/usr/lib/idris-0.12.3/libs/contrib/Data/Heap.ibc
/usr/lib/idris-0.12.3/libs/contrib/Data/Matrix
/usr/lib/idris-0.12.3/libs/contrib/Data/Matrix.ibc
/usr/lib/idris-0.12.3/libs/contrib/Data/Matrix/Algebraic.ibc
/usr/lib/idris-0.12.3/libs/contrib/Data/Matrix/Numeric.ibc
/usr/lib/idris-0.12.3/libs/contrib/Data/Nat
/usr/lib/idris-0.12.3/libs/contrib/Data/Nat/DivMod
/usr/lib/idris-0.12.3/libs/contrib/Data/Nat/DivMod.ibc
/usr/lib/idris-0.12.3/libs/contrib/Data/Nat/DivMod/IteratedSubtraction.ibc
/usr/lib/idris-0.12.3/libs/contrib/Data/Rel.ibc
/usr/lib/idris-0.12.3/libs/contrib/Data/Sign.ibc
/usr/lib/idris-0.12.3/libs/contrib/Data/SortedMap.ibc
/usr/lib/idris-0.12.3/libs/contrib/Data/SortedSet.ibc
/usr/lib/idris-0.12.3/libs/contrib/Data/Storable.ibc
/usr/lib/idris-0.12.3/libs/contrib/Data/ZZ.ibc
/usr/lib/idris-0.12.3/libs/contrib/Decidable
/usr/lib/idris-0.12.3/libs/contrib/Decidable/Decidable.ibc
/usr/lib/idris-0.12.3/libs/contrib/Decidable/Order.ibc
/usr/lib/idris-0.12.3/libs/contrib/Interfaces
/usr/lib/idris-0.12.3/libs/contrib/Interfaces/Verified.ibc
/usr/lib/idris-0.12.3/libs/contrib/Network
/usr/lib/idris-0.12.3/libs/contrib/Network/Cgi.ibc
/usr/lib/idris-0.12.3/libs/contrib/Network/Socket.ibc
/usr/lib/idris-0.12.3/libs/contrib/System
/usr/lib/idris-0.12.3/libs/contrib/System/Concurrency
/usr/lib/idris-0.12.3/libs/contrib/System/Concurrency/Process.ibc
/usr/lib/idris-0.12.3/libs/effects
/usr/lib/idris-0.12.3/libs/effects/00effects-idx.ibc
/usr/lib/idris-0.12.3/libs/effects/Effect
/usr/lib/idris-0.12.3/libs/effects/Effect/Default.ibc
/usr/lib/idris-0.12.3/libs/effects/Effect/Exception.ibc
/usr/lib/idris-0.12.3/libs/effects/Effect/File.ibc
/usr/lib/idris-0.12.3/libs/effects/Effect/Logging
/usr/lib/idris-0.12.3/libs/effects/Effect/Logging/Category.ibc
/usr/lib/idris-0.12.3/libs/effects/Effect/Logging/Default.ibc
/usr/lib/idris-0.12.3/libs/effects/Effect/Logging/Level.ibc
/usr/lib/idris-0.12.3/libs/effects/Effect/Memory.ibc
/usr/lib/idris-0.12.3/libs/effects/Effect/Monad.ibc
/usr/lib/idris-0.12.3/libs/effects/Effect/Perf.ibc
/usr/lib/idris-0.12.3/libs/effects/Effect/Random.ibc
/usr/lib/idris-0.12.3/libs/effects/Effect/Select.ibc
/usr/lib/idris-0.12.3/libs/effects/Effect/State.ibc
/usr/lib/idris-0.12.3/libs/effects/Effect/StdIO.ibc
/usr/lib/idris-0.12.3/libs/effects/Effect/System.ibc
/usr/lib/idris-0.12.3/libs/effects/Effect/Trans.ibc
/usr/lib/idris-0.12.3/libs/effects/Effects.ibc
/usr/lib/idris-0.12.3/libs/prelude
/usr/lib/idris-0.12.3/libs/prelude/00prelude-idx.ibc
/usr/lib/idris-0.12.3/libs/prelude/Builtins.ibc
/usr/lib/idris-0.12.3/libs/prelude/Decidable
/usr/lib/idris-0.12.3/libs/prelude/Decidable/Equality.ibc
/usr/lib/idris-0.12.3/libs/prelude/IO.ibc
/usr/lib/idris-0.12.3/libs/prelude/Language
/usr/lib/idris-0.12.3/libs/prelude/Language/Reflection
/usr/lib/idris-0.12.3/libs/prelude/Language/Reflection.ibc
/usr/lib/idris-0.12.3/libs/prelude/Language/Reflection/Elab.ibc
/usr/lib/idris-0.12.3/libs/prelude/Language/Reflection/Errors.ibc
/usr/lib/idris-0.12.3/libs/prelude/Prelude
/usr/lib/idris-0.12.3/libs/prelude/Prelude.ibc
/usr/lib/idris-0.12.3/libs/prelude/Prelude/Algebra.ibc
/usr/lib/idris-0.12.3/libs/prelude/Prelude/Applicative.ibc
/usr/lib/idris-0.12.3/libs/prelude/Prelude/Basics.ibc
/usr/lib/idris-0.12.3/libs/prelude/Prelude/Bits.ibc
/usr/lib/idris-0.12.3/libs/prelude/Prelude/Bool.ibc
/usr/lib/idris-0.12.3/libs/prelude/Prelude/Cast.ibc
/usr/lib/idris-0.12.3/libs/prelude/Prelude/Chars.ibc
/usr/lib/idris-0.12.3/libs/prelude/Prelude/Doubles.ibc
/usr/lib/idris-0.12.3/libs/prelude/Prelude/Either.ibc
/usr/lib/idris-0.12.3/libs/prelude/Prelude/File.ibc
/usr/lib/idris-0.12.3/libs/prelude/Prelude/Foldable.ibc
/usr/lib/idris-0.12.3/libs/prelude/Prelude/Functor.ibc
/usr/lib/idris-0.12.3/libs/prelude/Prelude/Interactive.ibc
/usr/lib/idris-0.12.3/libs/prelude/Prelude/Interfaces.ibc
/usr/lib/idris-0.12.3/libs/prelude/Prelude/List.ibc
/usr/lib/idris-0.12.3/libs/prelude/Prelude/Maybe.ibc
/usr/lib/idris-0.12.3/libs/prelude/Prelude/Monad.ibc
/usr/lib/idris-0.12.3/libs/prelude/Prelude/Nat.ibc
/usr/lib/idris-0.12.3/libs/prelude/Prelude/Pairs.ibc
/usr/lib/idris-0.12.3/libs/prelude/Prelude/Providers.ibc
/usr/lib/idris-0.12.3/libs/prelude/Prelude/Show.ibc
/usr/lib/idris-0.12.3/libs/prelude/Prelude/Stream.ibc
/usr/lib/idris-0.12.3/libs/prelude/Prelude/Strings.ibc
/usr/lib/idris-0.12.3/libs/prelude/Prelude/Traversable.ibc
/usr/lib/idris-0.12.3/libs/prelude/Prelude/Uninhabited.ibc
/usr/lib/idris-0.12.3/libs/prelude/Prelude/WellFounded.ibc
/usr/lib/idris-0.12.3/libs/pruviloj
/usr/lib/idris-0.12.3/libs/pruviloj/00pruviloj-idx.ibc
/usr/lib/idris-0.12.3/libs/pruviloj/Pruviloj
/usr/lib/idris-0.12.3/libs/pruviloj/Pruviloj.ibc
/usr/lib/idris-0.12.3/libs/pruviloj/Pruviloj/Core.ibc
/usr/lib/idris-0.12.3/libs/pruviloj/Pruviloj/Derive
/usr/lib/idris-0.12.3/libs/pruviloj/Pruviloj/Derive/DecEq.ibc
/usr/lib/idris-0.12.3/libs/pruviloj/Pruviloj/Derive/Eliminators.ibc
/usr/lib/idris-0.12.3/libs/pruviloj/Pruviloj/Disjoint.ibc
/usr/lib/idris-0.12.3/libs/pruviloj/Pruviloj/Induction.ibc
/usr/lib/idris-0.12.3/libs/pruviloj/Pruviloj/Injective.ibc
/usr/lib/idris-0.12.3/libs/pruviloj/Pruviloj/Internals
/usr/lib/idris-0.12.3/libs/pruviloj/Pruviloj/Internals.ibc
/usr/lib/idris-0.12.3/libs/pruviloj/Pruviloj/Internals/TyConInfo.ibc
/usr/lib/idris-0.12.3/libs/pruviloj/Pruviloj/Renamers.ibc
/usr/lib/idris-0.12.3/rts
/usr/lib/idris-0.12.3/rts/arduino
/usr/lib/idris-0.12.3/rts/arduino/idris_main.c
/usr/lib/idris-0.12.3/rts/getline.h
/usr/lib/idris-0.12.3/rts/idris_bitstring.c
/usr/lib/idris-0.12.3/rts/idris_bitstring.h
/usr/lib/idris-0.12.3/rts/idris_gc.c
/usr/lib/idris-0.12.3/rts/idris_gc.h
/usr/lib/idris-0.12.3/rts/idris_gmp.c
/usr/lib/idris-0.12.3/rts/idris_gmp.h
/usr/lib/idris-0.12.3/rts/idris_heap.c
/usr/lib/idris-0.12.3/rts/idris_heap.h
/usr/lib/idris-0.12.3/rts/idris_main.c
/usr/lib/idris-0.12.3/rts/idris_net.c
/usr/lib/idris-0.12.3/rts/idris_net.h
/usr/lib/idris-0.12.3/rts/idris_opts.c
/usr/lib/idris-0.12.3/rts/idris_opts.h
/usr/lib/idris-0.12.3/rts/idris_rts.c
/usr/lib/idris-0.12.3/rts/idris_rts.h
/usr/lib/idris-0.12.3/rts/idris_stats.c
/usr/lib/idris-0.12.3/rts/idris_stats.h
/usr/lib/idris-0.12.3/rts/idris_stdfgn.c
/usr/lib/idris-0.12.3/rts/idris_stdfgn.h
/usr/lib/idris-0.12.3/rts/idris_utf8.h
/usr/lib/idris-0.12.3/rts/libidris_rts.a
/usr/lib/idris-0.12.3/rts/libtest.c
/usr/lib/idris-0.12.3/rts/mini-gmp.c
/usr/lib/idris-0.12.3/rts/mini-gmp.h
/usr/share/doc/packages/idris
/usr/share/doc/packages/idris/CHANGELOG.md
/usr/share/doc/packages/idris/CONTRIBUTORS
/usr/share/doc/packages/idris/LICENSE
/usr/share/doc/packages/idris/README.md
/usr/share/doc/packages/idris/docs
/usr/share/doc/packages/idris/docs/.gitignore
/usr/share/doc/packages/idris/docs/LICENSE
/usr/share/doc/packages/idris/docs/Makefile
/usr/share/doc/packages/idris/docs/README.md
/usr/share/doc/packages/idris/docs/conf.py
/usr/share/doc/packages/idris/docs/effects
/usr/share/doc/packages/idris/docs/effects/conclusions.rst
/usr/share/doc/packages/idris/docs/effects/depeff.rst
/usr/share/doc/packages/idris/docs/effects/hangman.rst
/usr/share/doc/packages/idris/docs/effects/impleff.rst
/usr/share/doc/packages/idris/docs/effects/index.rst
/usr/share/doc/packages/idris/docs/effects/introduction.rst
/usr/share/doc/packages/idris/docs/effects/simpleeff.rst
/usr/share/doc/packages/idris/docs/effects/state.rst
/usr/share/doc/packages/idris/docs/effects/summary.rst
/usr/share/doc/packages/idris/docs/faq
/usr/share/doc/packages/idris/docs/faq/faq.rst
/usr/share/doc/packages/idris/docs/faq/index.rst
/usr/share/doc/packages/idris/docs/guides
/usr/share/doc/packages/idris/docs/guides/index.rst
/usr/share/doc/packages/idris/docs/guides/theorem-prover.rst
/usr/share/doc/packages/idris/docs/guides/type-providers-ffi.rst
/usr/share/doc/packages/idris/docs/image
/usr/share/doc/packages/idris/docs/image/effects-tree.png
/usr/share/doc/packages/idris/docs/index.rst
/usr/share/doc/packages/idris/docs/listing
/usr/share/doc/packages/idris/docs/listing/idris-prompt-helloworld.txt
/usr/share/doc/packages/idris/docs/listing/idris-prompt-interp.txt
/usr/share/doc/packages/idris/docs/listing/idris-prompt-start.txt
/usr/share/doc/packages/idris/docs/make.bat
/usr/share/doc/packages/idris/docs/proofs
/usr/share/doc/packages/idris/docs/proofs/index.rst
/usr/share/doc/packages/idris/docs/proofs/inductive.rst
/usr/share/doc/packages/idris/docs/proofs/interactive.rst
/usr/share/doc/packages/idris/docs/proofs/patterns.rst
/usr/share/doc/packages/idris/docs/proofs/pluscomm.rst
/usr/share/doc/packages/idris/docs/reference
/usr/share/doc/packages/idris/docs/reference/codegen.rst
/usr/share/doc/packages/idris/docs/reference/compilation.rst
/usr/share/doc/packages/idris/docs/reference/documenting.rst
/usr/share/doc/packages/idris/docs/reference/elaborator-reflection.rst
/usr/share/doc/packages/idris/docs/reference/erasure.rst
/usr/share/doc/packages/idris/docs/reference/ffi.rst
/usr/share/doc/packages/idris/docs/reference/ide-protocol.rst
/usr/share/doc/packages/idris/docs/reference/index.rst
/usr/share/doc/packages/idris/docs/reference/internals.rst
/usr/share/doc/packages/idris/docs/reference/language-extensions.rst
/usr/share/doc/packages/idris/docs/reference/language-features.rst
/usr/share/doc/packages/idris/docs/reference/misc.rst
/usr/share/doc/packages/idris/docs/reference/packages.rst
/usr/share/doc/packages/idris/docs/reference/partial-evaluation.rst
/usr/share/doc/packages/idris/docs/reference/repl.rst
/usr/share/doc/packages/idris/docs/reference/semantic-highlighting.rst
/usr/share/doc/packages/idris/docs/reference/syntax-guide.rst
/usr/share/doc/packages/idris/docs/reference/tactics.rst
/usr/share/doc/packages/idris/docs/reference/type-directed-search.rst
/usr/share/doc/packages/idris/docs/reference/uniqueness-types.rst
/usr/share/doc/packages/idris/docs/tutorial
/usr/share/doc/packages/idris/docs/tutorial/conclusions.rst
/usr/share/doc/packages/idris/docs/tutorial/index.rst
/usr/share/doc/packages/idris/docs/tutorial/interactive.rst
/usr/share/doc/packages/idris/docs/tutorial/interfaces.rst
/usr/share/doc/packages/idris/docs/tutorial/interp.rst
/usr/share/doc/packages/idris/docs/tutorial/introduction.rst
/usr/share/doc/packages/idris/docs/tutorial/miscellany.rst
/usr/share/doc/packages/idris/docs/tutorial/modules.rst
/usr/share/doc/packages/idris/docs/tutorial/packages.rst
/usr/share/doc/packages/idris/docs/tutorial/provisional.rst
/usr/share/doc/packages/idris/docs/tutorial/starting.rst
/usr/share/doc/packages/idris/docs/tutorial/syntax.rst
/usr/share/doc/packages/idris/docs/tutorial/testing.rst
/usr/share/doc/packages/idris/docs/tutorial/theorems.rst
/usr/share/doc/packages/idris/docs/tutorial/typesfuns.rst
/usr/share/doc/packages/idris/docs/tutorial/views.rst
/usr/share/man/man1/idris.1.gz
6636315