../ libghc-highlighting-kate-dev_0.6.3-3_armhf.deb 02-Dec-2016 09:08 3326202 libghc-highlighting-kate-doc_0.6.3-3_all.deb 28-Oct-2016 17:00 521644 libghc-highlighting-kate-prof_0.6.3-3_armhf.deb 02-Dec-2016 09:08 3086532