../ ghc-highlighting-kate-0.5.6-3.el7.armv7hl.rpm 04-Sep-2018 03:29 12K ghc-highlighting-kate-devel-0.5.6-3.el7.armv7hl..> 04-Sep-2018 03:29 11M