../ libghc-numtype-dev_1.2-6build2_amd64.deb 14-Sep-2023 18:32 40820 libghc-numtype-doc_1.2-6build2_all.deb 14-Sep-2023 18:32 39520 libghc-numtype-prof_1.2-6build2_amd64.deb 14-Sep-2023 18:32 30892