../ highlighting-kate_0.6.3-3.debian.tar.xz 03-Jul-2020 21:00 3932 highlighting-kate_0.6.3-3.dsc 03-Jul-2020 21:00 2932 highlighting-kate_0.6.3.orig.tar.gz 03-Jul-2020 21:00 884K libghc-highlighting-kate-dev_0.6.3-3_amd64.deb 03-Jul-2020 21:00 3M libghc-highlighting-kate-doc_0.6.3-3_all.deb 03-Jul-2020 21:00 509K libghc-highlighting-kate-prof_0.6.3-3_amd64.deb 03-Jul-2020 21:00 3M