../ ghc-5.04.2-1.src.rpm 15-Feb-2019 12:36 4562165 ghc-5.04.2-rh72-1.i386.rpm 15-Feb-2019 12:36 11942137 ghc-doc-5.04.2-rh72-1.i386.rpm 15-Feb-2019 12:36 848932 ghc-prof-5.04.2-rh72-1.i386.rpm 15-Feb-2019 12:36 7624221