../ highlighting-kate_0.6.1-1.debian.tar.xz 11-Jan-2016 12:22 3772 highlighting-kate_0.6.1-1.dsc 11-Jan-2016 12:22 2887 highlighting-kate_0.6.1.orig.tar.gz 11-Jan-2016 12:22 892K libghc-highlighting-kate-dev_0.6.1-1+b1_mipsel.deb 14-Jan-2016 03:21 5M libghc-highlighting-kate-doc_0.6.1-1_all.deb 11-Jan-2016 12:58 489K libghc-highlighting-kate-prof_0.6.1-1+b1_mipsel..> 14-Jan-2016 03:21 6M