../ highlighting-kate_0.6.3-3.debian.tar.xz 31-Jul-2017 07:48 3932 highlighting-kate_0.6.3-3.dsc 31-Jul-2017 07:48 2932 highlighting-kate_0.6.3.orig.tar.gz 31-Jul-2017 07:48 884K libghc-highlighting-kate-dev_0.6.3-3_mips64el.deb 31-Jul-2017 07:48 6M libghc-highlighting-kate-doc_0.6.3-3_all.deb 31-Jul-2017 07:48 509K libghc-highlighting-kate-prof_0.6.3-3_mips64el.deb 31-Jul-2017 07:48 7M