Content of RPM idris-0.9.4.1-2.fc18.x86_64.rpm :
/usr/bin/idris
/usr/lib64/idris-0.9.4.1
/usr/lib64/idris-0.9.4.1/base
/usr/lib64/idris-0.9.4.1/base/builtins.ibc
/usr/lib64/idris-0.9.4.1/base/control
/usr/lib64/idris-0.9.4.1/base/control/monad
/usr/lib64/idris-0.9.4.1/base/control/monad/identity.ibc
/usr/lib64/idris-0.9.4.1/base/control/monad/state.ibc
/usr/lib64/idris-0.9.4.1/base/io.ibc
/usr/lib64/idris-0.9.4.1/base/language
/usr/lib64/idris-0.9.4.1/base/language/reflection.ibc
/usr/lib64/idris-0.9.4.1/base/network
/usr/lib64/idris-0.9.4.1/base/network/cgi.ibc
/usr/lib64/idris-0.9.4.1/base/prelude
/usr/lib64/idris-0.9.4.1/base/prelude.ibc
/usr/lib64/idris-0.9.4.1/base/prelude/algebra.ibc
/usr/lib64/idris-0.9.4.1/base/prelude/applicative.ibc
/usr/lib64/idris-0.9.4.1/base/prelude/cast.ibc
/usr/lib64/idris-0.9.4.1/base/prelude/char.ibc
/usr/lib64/idris-0.9.4.1/base/prelude/complex.ibc
/usr/lib64/idris-0.9.4.1/base/prelude/either.ibc
/usr/lib64/idris-0.9.4.1/base/prelude/fin.ibc
/usr/lib64/idris-0.9.4.1/base/prelude/heap.ibc
/usr/lib64/idris-0.9.4.1/base/prelude/list.ibc
/usr/lib64/idris-0.9.4.1/base/prelude/maybe.ibc
/usr/lib64/idris-0.9.4.1/base/prelude/monad.ibc
/usr/lib64/idris-0.9.4.1/base/prelude/nat.ibc
/usr/lib64/idris-0.9.4.1/base/prelude/strings.ibc
/usr/lib64/idris-0.9.4.1/base/prelude/vect.ibc
/usr/lib64/idris-0.9.4.1/base/system.ibc
/usr/lib64/idris-0.9.4.1/rts
/usr/lib64/idris-0.9.4.1/rts/idris_gc.h
/usr/lib64/idris-0.9.4.1/rts/idris_gmp.h
/usr/lib64/idris-0.9.4.1/rts/idris_main.c
/usr/lib64/idris-0.9.4.1/rts/idris_rts.h
/usr/lib64/idris-0.9.4.1/rts/idris_stdfgn.h
/usr/lib64/idris-0.9.4.1/rts/libidris_rts.a
/usr/lib64/idris-0.9.4.1/rts/libtest.c
/usr/share/doc/idris-0.9.4.1
/usr/share/doc/idris-0.9.4.1/LICENSE
/usr/share/doc/idris-0.9.4.1/tutorial
/usr/share/doc/idris-0.9.4.1/tutorial/examples
/usr/share/doc/idris-0.9.4.1/tutorial/examples/binary.idr
/usr/share/doc/idris-0.9.4.1/tutorial/examples/bmain.idr
/usr/share/doc/idris-0.9.4.1/tutorial/examples/btree.idr
/usr/share/doc/idris-0.9.4.1/tutorial/examples/classes.idr
/usr/share/doc/idris-0.9.4.1/tutorial/examples/foo.idr
/usr/share/doc/idris-0.9.4.1/tutorial/examples/hello.idr
/usr/share/doc/idris-0.9.4.1/tutorial/examples/idiom.idr
/usr/share/doc/idris-0.9.4.1/tutorial/examples/interp.idr
/usr/share/doc/idris-0.9.4.1/tutorial/examples/letbind.idr
/usr/share/doc/idris-0.9.4.1/tutorial/examples/prims.idr
/usr/share/doc/idris-0.9.4.1/tutorial/examples/theorems.idr
/usr/share/doc/idris-0.9.4.1/tutorial/examples/universe.idr
/usr/share/doc/idris-0.9.4.1/tutorial/examples/usefultypes.idr
/usr/share/doc/idris-0.9.4.1/tutorial/examples/vbroken.idr
/usr/share/doc/idris-0.9.4.1/tutorial/examples/views.idr