../ highlighting-kate_0.6.4-5.debian.tar.xz 04-Oct-2018 03:12 4264 highlighting-kate_0.6.4-5.dsc 04-Oct-2018 03:12 2741 highlighting-kate_0.6.4.orig.tar.gz 19-Jun-2017 00:17 913575 libghc-highlighting-kate-dev_0.6.4-5+b1_amd64.deb 04-Dec-2018 18:43 3449148 libghc-highlighting-kate-doc_0.6.4-5_all.deb 18-Oct-2018 07:25 671908 libghc-highlighting-kate-prof_0.6.4-5+b1_amd64.deb 04-Dec-2018 18:43 3526912