../ curry-frontend_2.0.0-2_amd64.deb 22-May-2023 11:04 1M libghc-curry-frontend-dev_2.0.0-2_amd64.deb 22-May-2023 12:53 4M libghc-curry-frontend-doc_2.0.0-2_all.deb 22-May-2023 12:53 1M libghc-curry-frontend-prof_2.0.0-2_amd64.deb 22-May-2023 12:53 4M