../ curry-frontend_1.0.4-4_amd64.deb 09-Mar-2023 20:41 1301312 libghc-curry-frontend-dev_1.0.4-4_amd64.deb 09-Mar-2023 20:41 2053892 libghc-curry-frontend-doc_1.0.4-4_all.deb 09-Mar-2023 20:41 660924 libghc-curry-frontend-prof_1.0.4-4_amd64.deb 09-Mar-2023 20:41 1887848