Content of RPM idris-0.9.9.1-7.fc24.i686.rpm :
/usr/bin/idris
/usr/lib/idris-0.9.9.1
/usr/lib/idris-0.9.9.1/base
/usr/lib/idris-0.9.9.1/base/Builtins.ibc
/usr/lib/idris-0.9.9.1/base/Control
/usr/lib/idris-0.9.9.1/base/Control/Arrow.ibc
/usr/lib/idris-0.9.9.1/base/Control/Catchable.ibc
/usr/lib/idris-0.9.9.1/base/Control/Category.ibc
/usr/lib/idris-0.9.9.1/base/Control/IOExcept.ibc
/usr/lib/idris-0.9.9.1/base/Control/Monad
/usr/lib/idris-0.9.9.1/base/Control/Monad/Identity.ibc
/usr/lib/idris-0.9.9.1/base/Control/Monad/State.ibc
/usr/lib/idris-0.9.9.1/base/Data
/usr/lib/idris-0.9.9.1/base/Data/Bits.ibc
/usr/lib/idris-0.9.9.1/base/Data/BoundedList.ibc
/usr/lib/idris-0.9.9.1/base/Data/HVect.ibc
/usr/lib/idris-0.9.9.1/base/Data/Mod2.ibc
/usr/lib/idris-0.9.9.1/base/Data/Morphisms.ibc
/usr/lib/idris-0.9.9.1/base/Data/Sign.ibc
/usr/lib/idris-0.9.9.1/base/Data/SortedMap.ibc
/usr/lib/idris-0.9.9.1/base/Data/SortedSet.ibc
/usr/lib/idris-0.9.9.1/base/Data/Vect
/usr/lib/idris-0.9.9.1/base/Data/Vect.ibc
/usr/lib/idris-0.9.9.1/base/Data/Vect/Quantifiers.ibc
/usr/lib/idris-0.9.9.1/base/Data/ZZ.ibc
/usr/lib/idris-0.9.9.1/base/Debug
/usr/lib/idris-0.9.9.1/base/Debug/Trace.ibc
/usr/lib/idris-0.9.9.1/base/Decidable
/usr/lib/idris-0.9.9.1/base/Decidable/Decidable.ibc
/usr/lib/idris-0.9.9.1/base/Decidable/Equality.ibc
/usr/lib/idris-0.9.9.1/base/Decidable/Order.ibc
/usr/lib/idris-0.9.9.1/base/IO.ibc
/usr/lib/idris-0.9.9.1/base/Language
/usr/lib/idris-0.9.9.1/base/Language/Reflection
/usr/lib/idris-0.9.9.1/base/Language/Reflection.ibc
/usr/lib/idris-0.9.9.1/base/Language/Reflection/Utils.ibc
/usr/lib/idris-0.9.9.1/base/Network
/usr/lib/idris-0.9.9.1/base/Network/Cgi.ibc
/usr/lib/idris-0.9.9.1/base/Prelude
/usr/lib/idris-0.9.9.1/base/Prelude.ibc
/usr/lib/idris-0.9.9.1/base/Prelude/Algebra.ibc
/usr/lib/idris-0.9.9.1/base/Prelude/Applicative.ibc
/usr/lib/idris-0.9.9.1/base/Prelude/Cast.ibc
/usr/lib/idris-0.9.9.1/base/Prelude/Chars.ibc
/usr/lib/idris-0.9.9.1/base/Prelude/Complex.ibc
/usr/lib/idris-0.9.9.1/base/Prelude/Either.ibc
/usr/lib/idris-0.9.9.1/base/Prelude/Fin.ibc
/usr/lib/idris-0.9.9.1/base/Prelude/Foldable.ibc
/usr/lib/idris-0.9.9.1/base/Prelude/Functor.ibc
/usr/lib/idris-0.9.9.1/base/Prelude/Heap.ibc
/usr/lib/idris-0.9.9.1/base/Prelude/List.ibc
/usr/lib/idris-0.9.9.1/base/Prelude/Maybe.ibc
/usr/lib/idris-0.9.9.1/base/Prelude/Monad.ibc
/usr/lib/idris-0.9.9.1/base/Prelude/Nat.ibc
/usr/lib/idris-0.9.9.1/base/Prelude/Strings.ibc
/usr/lib/idris-0.9.9.1/base/Prelude/Traversable.ibc
/usr/lib/idris-0.9.9.1/base/Prelude/Vect.ibc
/usr/lib/idris-0.9.9.1/base/Providers.ibc
/usr/lib/idris-0.9.9.1/base/System
/usr/lib/idris-0.9.9.1/base/System.ibc
/usr/lib/idris-0.9.9.1/base/System/Concurrency
/usr/lib/idris-0.9.9.1/base/System/Concurrency/Process.ibc
/usr/lib/idris-0.9.9.1/base/System/Concurrency/Raw.ibc
/usr/lib/idris-0.9.9.1/base/Uninhabited.ibc
/usr/lib/idris-0.9.9.1/effects
/usr/lib/idris-0.9.9.1/effects/Effect
/usr/lib/idris-0.9.9.1/effects/Effect/Exception.ibc
/usr/lib/idris-0.9.9.1/effects/Effect/File.ibc
/usr/lib/idris-0.9.9.1/effects/Effect/Memory.ibc
/usr/lib/idris-0.9.9.1/effects/Effect/Random.ibc
/usr/lib/idris-0.9.9.1/effects/Effect/Select.ibc
/usr/lib/idris-0.9.9.1/effects/Effect/State.ibc
/usr/lib/idris-0.9.9.1/effects/Effect/StdIO.ibc
/usr/lib/idris-0.9.9.1/effects/Effects.ibc
/usr/lib/idris-0.9.9.1/executable_pom.xml
/usr/lib/idris-0.9.9.1/javascript
/usr/lib/idris-0.9.9.1/javascript/JavaScript
/usr/lib/idris-0.9.9.1/javascript/JavaScript.ibc
/usr/lib/idris-0.9.9.1/javascript/JavaScript/JSON.ibc
/usr/lib/idris-0.9.9.1/js
/usr/lib/idris-0.9.9.1/js/Runtime-browser.js
/usr/lib/idris-0.9.9.1/js/Runtime-common.js
/usr/lib/idris-0.9.9.1/js/Runtime-node.js
/usr/lib/idris-0.9.9.1/llvm
/usr/lib/idris-0.9.9.1/llvm/libidris_rts.a
/usr/lib/idris-0.9.9.1/rts
/usr/lib/idris-0.9.9.1/rts/idris_bitstring.h
/usr/lib/idris-0.9.9.1/rts/idris_gc.h
/usr/lib/idris-0.9.9.1/rts/idris_gmp.h
/usr/lib/idris-0.9.9.1/rts/idris_heap.h
/usr/lib/idris-0.9.9.1/rts/idris_main.c
/usr/lib/idris-0.9.9.1/rts/idris_opts.h
/usr/lib/idris-0.9.9.1/rts/idris_rts.h
/usr/lib/idris-0.9.9.1/rts/idris_stats.h
/usr/lib/idris-0.9.9.1/rts/idris_stdfgn.h
/usr/lib/idris-0.9.9.1/rts/libidris_rts.a
/usr/lib/idris-0.9.9.1/rts/libtest.c
/usr/share/doc/idris
/usr/share/doc/idris/LICENSE
/usr/share/doc/idris/tutorial
/usr/share/doc/idris/tutorial/examples
/usr/share/doc/idris/tutorial/examples/binary.idr
/usr/share/doc/idris/tutorial/examples/bmain.idr
/usr/share/doc/idris/tutorial/examples/btree.idr
/usr/share/doc/idris/tutorial/examples/classes.idr
/usr/share/doc/idris/tutorial/examples/foo.idr
/usr/share/doc/idris/tutorial/examples/hello.idr
/usr/share/doc/idris/tutorial/examples/idiom.idr
/usr/share/doc/idris/tutorial/examples/interp.idr
/usr/share/doc/idris/tutorial/examples/letbind.idr
/usr/share/doc/idris/tutorial/examples/prims.idr
/usr/share/doc/idris/tutorial/examples/theorems.idr
/usr/share/doc/idris/tutorial/examples/universe.idr
/usr/share/doc/idris/tutorial/examples/usefultypes.idr
/usr/share/doc/idris/tutorial/examples/vbroken.idr
/usr/share/doc/idris/tutorial/examples/views.idr
/usr/share/doc/idris/tutorial/examples/wheres.idr