../ curry-frontend_1.0.1-1_amd64.deb 02-Oct-2018 09:50 1355592 libghc-curry-frontend-dev_1.0.1-1_amd64.deb 02-Oct-2018 09:51 1988476 libghc-curry-frontend-doc_1.0.1-1_all.deb 02-Oct-2018 09:42 432240 libghc-curry-frontend-prof_1.0.1-1_amd64.deb 02-Oct-2018 09:46 1815388