../ highlighting-kate_0.6.4-5.debian.tar.xz 03-Oct-2018 19:12 4264 highlighting-kate_0.6.4-5.dsc 03-Oct-2018 19:12 2741 highlighting-kate_0.6.4.orig.tar.gz 18-Jun-2017 16:17 892K libghc-highlighting-kate-dev_0.6.4-5_mips64el.deb 17-Sep-2020 03:38 6M libghc-highlighting-kate-doc_0.6.4-5_all.deb 17-Oct-2018 23:25 656K libghc-highlighting-kate-prof_0.6.4-5_mips64el.deb 17-Sep-2020 03:38 7M