../ curry-frontend_2.0.0-2_amd64.deb 12-May-2025 11:33 1399500 libghc-curry-frontend-dev_2.0.0-2_amd64.deb 12-May-2025 11:33 4099988 libghc-curry-frontend-doc_2.0.0-2_all.deb 12-May-2025 11:33 1393012 libghc-curry-frontend-prof_2.0.0-2_amd64.deb 12-May-2025 11:33 3704120