../ highlighting-kate_0.2.7.1-1.debian.tar.gz 26-Apr-2023 11:13 3628 highlighting-kate_0.2.7.1-1.dsc 26-Apr-2023 11:13 1689 highlighting-kate_0.2.7.1.orig.tar.gz 26-Apr-2023 11:13 441K highlighting-kate_0.6.3-3.debian.tar.xz 26-Apr-2023 14:57 3932 highlighting-kate_0.6.3-3.dsc 26-Apr-2023 14:57 2932 highlighting-kate_0.6.3.orig.tar.gz 26-Apr-2023 14:57 884K libghc-highlighting-kate-dev_0.6.3-3+b1_i386.deb 26-Apr-2023 14:57 4M libghc-highlighting-kate-doc_0.6.3-3_all.deb 26-Apr-2023 14:57 509K libghc-highlighting-kate-prof_0.6.3-3+b1_i386.deb 26-Apr-2023 14:57 4M libghc6-highlighting-kate-dev_0.2.7.1-1_i386.deb 26-Apr-2023 11:13 4M libghc6-highlighting-kate-doc_0.2.7.1-1_all.deb 26-Apr-2023 11:13 409K libghc6-highlighting-kate-prof_0.2.7.1-1_i386.deb 26-Apr-2023 11:13 5M