../ libghc-data-default-dev_0.7.1.1-6+b3_amd64.deb 02-Aug-2023 18:45 11424 libghc-data-default-doc_0.7.1.1-6_all.deb 02-Aug-2023 18:44 39188 libghc-data-default-prof_0.7.1.1-6+b3_amd64.deb 02-Aug-2023 18:41 9688