../ libghc-highlighting-kate-dev_0.5.8.5-2_amd64.deb 08-May-2025 15:08 3395522 libghc-highlighting-kate-doc_0.5.8.5-2_all.deb 08-May-2025 15:08 417352 libghc-highlighting-kate-prof_0.5.8.5-2_amd64.deb 08-May-2025 15:08 4702706