../ curry-frontend_2.0.0-2_amd64.deb 04-Feb-2021 19:44 1M libghc-curry-frontend-dev_2.0.0-2_amd64.deb 04-Feb-2021 19:44 4M libghc-curry-frontend-doc_2.0.0-2_all.deb 04-Feb-2021 19:43 1M libghc-curry-frontend-prof_2.0.0-2_amd64.deb 04-Feb-2021 19:44 4M