../ curry-frontend_2.0.0-2_amd64.deb 04-Feb-2021 23:44 1399500 libghc-curry-frontend-dev_2.0.0-2_amd64.deb 04-Feb-2021 23:44 4099988 libghc-curry-frontend-doc_2.0.0-2_all.deb 04-Feb-2021 23:43 1393012 libghc-curry-frontend-prof_2.0.0-2_amd64.deb 04-Feb-2021 23:44 3704120