../ libghc-data-default-dev_0.7.1.1-7_amd64.deb 06-Nov-2023 20:14 6942 libghc-data-default-doc_0.7.1.1-7_all.deb 06-Nov-2023 20:14 27024 libghc-data-default-prof_0.7.1.1-7_amd64.deb 06-Nov-2023 20:14 4614