../ libghc-highlighting-kate-dev_0.6.4-5+b1_armhf.deb 22-Jul-2020 16:41 3487616 libghc-highlighting-kate-doc_0.6.4-5_all.deb 22-Jul-2020 14:34 671908 libghc-highlighting-kate-prof_0.6.4-5+b1_armhf.deb 22-Jul-2020 16:19 3177460