../ curry-frontend_1.0.4-4_amd64.deb 15-Jan-2020 23:24 1301312 libghc-curry-frontend-dev_1.0.4-4_amd64.deb 15-Jan-2020 23:24 2053892 libghc-curry-frontend-doc_1.0.4-4_all.deb 15-Jan-2020 23:24 660924 libghc-curry-frontend-prof_1.0.4-4_amd64.deb 15-Jan-2020 23:24 1887848