Index of /debian/pool/main/h/highlighting-kate/

Filename	Modification time	Size
highlighting-kate_0.6.4-5.debian.tar.xz	2018-10-03 21:12 CEST	4264 B
highlighting-kate_0.6.4-5.dsc	2018-10-03 21:12 CEST	2741 B
highlighting-kate_0.6.4.orig.tar.gz	2017-06-18 18:17 CEST	892 KiB
libghc-highlighting-kate-dev_0.6.4-5+b1_i386.deb	2018-12-04 11:23 CET	2858 KiB
libghc-highlighting-kate-prof_0.6.4-5+b1_i386.deb	2018-12-04 11:23 CET	3252 KiB