../ libghc-highlighting-kate-dev_0.5.8.5-2+b1_armhf..> 30-Aug-2014 17:11 3859972 libghc-highlighting-kate-doc_0.5.8.5-2_all.deb 06-Aug-2014 15:46 417352 libghc-highlighting-kate-prof_0.5.8.5-2+b1_armh..> 30-Aug-2014 17:11 4678396