../ highlighting-kate_0.6.3-3.debian.tar.xz 24-Apr-2019 17:25 3932 highlighting-kate_0.6.3-3.dsc 24-Apr-2019 17:25 2932 highlighting-kate_0.6.3.orig.tar.gz 24-Apr-2019 17:25 884K libghc-highlighting-kate-dev_0.6.3-3+b1_mips64e..> 24-Apr-2019 17:25 6M libghc-highlighting-kate-doc_0.6.3-3_all.deb 24-Apr-2019 17:25 509K libghc-highlighting-kate-prof_0.6.3-3+b1_mips64..> 24-Apr-2019 17:25 7M