../ libghc-highlighting-kate-dev_0.5.1-1_amd64.deb 16-Jun-2012 11:02 4712368 libghc-highlighting-kate-doc_0.5.1-1_all.deb 16-Jun-2012 11:02 575728 libghc-highlighting-kate-prof_0.5.1-1_amd64.deb 16-Jun-2012 11:02 6043780