../ curry-frontend_2.0.0-2build1_amd64.deb 05-Sep-2024 21:19 1507486 libghc-curry-frontend-dev_2.0.0-2build1_amd64.deb 05-Sep-2024 21:29 4472938 libghc-curry-frontend-doc_2.0.0-2build1_all.deb 05-Sep-2024 21:32 1257340 libghc-curry-frontend-prof_2.0.0-2build1_amd64.deb 05-Sep-2024 21:21 4256860