../ highlighting-kate_0.5.1-1.debian.tar.gz 16-Jun-2012 11:02 3520 highlighting-kate_0.5.1-1.dsc 16-Jun-2012 11:02 2082 highlighting-kate_0.5.1.orig.tar.gz 16-Jun-2012 11:02 603K libghc-highlighting-kate-dev_0.5.1-1_amd64.deb 16-Jun-2012 11:02 4M libghc-highlighting-kate-doc_0.5.1-1_all.deb 16-Jun-2012 11:02 562K libghc-highlighting-kate-prof_0.5.1-1_amd64.deb 16-Jun-2012 11:02 6M