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