../ highlighting-kate_0.6.4-1build2.debian.tar.xz 05-Nov-2017 07:46 4072 highlighting-kate_0.6.4-1build2.dsc 05-Nov-2017 07:46 2901 highlighting-kate_0.6.4.orig.tar.gz 19-Jun-2017 17:41 913575 libghc-highlighting-kate-dev_0.6.4-1build2_i386..> 05-Nov-2017 07:48 2942252 libghc-highlighting-kate-doc_0.6.4-1build2_all.deb 05-Nov-2017 07:47 498576 libghc-highlighting-kate-prof_0.6.4-1build2_i38..> 05-Nov-2017 07:48 3022548