../ highlighting-kate_0.5.8.5-2.debian.tar.xz 06-Aug-2014 15:46 3620 highlighting-kate_0.5.8.5-2.dsc 06-Aug-2014 15:46 2760 highlighting-kate_0.5.8.5.orig.tar.gz 04-Aug-2014 23:04 724217 libghc-highlighting-kate-dev_0.5.8.5-2+b1_armhf..> 30-Aug-2014 17:11 3859972 libghc-highlighting-kate-doc_0.5.8.5-2_all.deb 06-Aug-2014 15:46 417352 libghc-highlighting-kate-prof_0.5.8.5-2+b1_armh..> 30-Aug-2014 17:11 4678396