../ libghc-highlighting-kate-dev_0.6.4-5+b1_amd64.deb 04-Dec-2018 10:43 3449148 libghc-highlighting-kate-doc_0.6.4-5_all.deb 17-Oct-2018 23:25 671908 libghc-highlighting-kate-prof_0.6.4-5+b1_amd64.deb 04-Dec-2018 10:43 3526912