../ libghc-these-dev_0.7.2-6+b1_amd64.deb 07-Sep-2023 09:21 187636 libghc-these-doc_0.7.2-6_all.deb 07-Sep-2023 09:21 72126 libghc-these-prof_0.7.2-6+b1_amd64.deb 07-Sep-2023 09:21 182842