Content of RPM ghc-directory-devel-1.2.0.1-18.3.fc20.i686.rpm :
/usr/lib/ghc-7.6.3/directory-1.2.0.1/HSdirectory-1.2.0.1.o
/usr/lib/ghc-7.6.3/directory-1.2.0.1/System
/usr/lib/ghc-7.6.3/directory-1.2.0.1/System/Directory.dyn_hi
/usr/lib/ghc-7.6.3/directory-1.2.0.1/System/Directory.hi
/usr/lib/ghc-7.6.3/directory-1.2.0.1/System/Directory.p_hi
/usr/lib/ghc-7.6.3/directory-1.2.0.1/include
/usr/lib/ghc-7.6.3/directory-1.2.0.1/include/HsDirectory.h
/usr/lib/ghc-7.6.3/directory-1.2.0.1/include/HsDirectoryConfig.h
/usr/lib/ghc-7.6.3/directory-1.2.0.1/libHSdirectory-1.2.0.1.a
/usr/lib/ghc-7.6.3/directory-1.2.0.1/libHSdirectory-1.2.0.1_p.a
/usr/lib/ghc-7.6.3/package.conf.d/directory-1.2.0.1-0f6696fb1143d7612e79f8dad6bc63a4.conf
/usr/share/doc/ghc/html/libraries/directory-1.2.0.1
/usr/share/doc/ghc/html/libraries/directory-1.2.0.1/LICENSE
/usr/share/doc/ghc/html/libraries/directory-1.2.0.1/System-Directory.html
/usr/share/doc/ghc/html/libraries/directory-1.2.0.1/directory.haddock
/usr/share/doc/ghc/html/libraries/directory-1.2.0.1/directory.haddock.t
/usr/share/doc/ghc/html/libraries/directory-1.2.0.1/directory.txt
/usr/share/doc/ghc/html/libraries/directory-1.2.0.1/doc-index.html
/usr/share/doc/ghc/html/libraries/directory-1.2.0.1/frames.html
/usr/share/doc/ghc/html/libraries/directory-1.2.0.1/haddock-util.js
/usr/share/doc/ghc/html/libraries/directory-1.2.0.1/hslogo-16.png
/usr/share/doc/ghc/html/libraries/directory-1.2.0.1/index-frames.html
/usr/share/doc/ghc/html/libraries/directory-1.2.0.1/index.html
/usr/share/doc/ghc/html/libraries/directory-1.2.0.1/mini_System-Directory.html
/usr/share/doc/ghc/html/libraries/directory-1.2.0.1/minus.gif
/usr/share/doc/ghc/html/libraries/directory-1.2.0.1/ocean.css
/usr/share/doc/ghc/html/libraries/directory-1.2.0.1/plus.gif
/usr/share/doc/ghc/html/libraries/directory-1.2.0.1/src
/usr/share/doc/ghc/html/libraries/directory-1.2.0.1/src/System-Directory.html
/usr/share/doc/ghc/html/libraries/directory-1.2.0.1/src/hscolour.css
/usr/share/doc/ghc/html/libraries/directory-1.2.0.1/synopsis.png