../ ghc-IfElse-0.85-3.el7.armv7hl.rpm 03-Sep-2018 18:39 3616 ghc-IfElse-devel-0.85-3.el7.armv7hl.rpm 03-Sep-2018 18:39 49392