../ ghc-data-default-0.5.1-4.el7.armv7hl.rpm 03-Sep-2018 10:37 4996 ghc-data-default-devel-0.5.1-4.el7.armv7hl.rpm 03-Sep-2018 10:37 48K