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