../ highlighting-kate_0.6.4-6.debian.tar.xz 22-Jun-2020 14:33 4296 highlighting-kate_0.6.4-6.dsc 22-Jun-2020 14:33 2742 highlighting-kate_0.6.4.orig.tar.gz 18-Jun-2017 16:17 913575 libghc-highlighting-kate-dev_0.6.4-6+b2_amd64.deb 20-Aug-2020 08:59 3493188 libghc-highlighting-kate-doc_0.6.4-6_all.deb 22-Jun-2020 15:08 758780 libghc-highlighting-kate-prof_0.6.4-6+b2_amd64.deb 20-Aug-2020 08:59 3599104