../ old/ 15-Feb-2019 06:31 - ghc-5.04.1-rh72-2.i386.rpm 15-Feb-2019 06:31 11932521 ghc-5.04.1-rh72-2.src.rpm 15-Feb-2019 06:31 4563710 ghc-doc-5.04.1-rh72-2.i386.rpm 15-Feb-2019 06:31 854309 ghc-prof-5.04.1-rh72-2.i386.rpm 15-Feb-2019 06:31 7620658