../ curry-frontend_2.0.0-2build1_arm64.deb 18-Sep-2023 14:22 1882034 libghc-curry-frontend-dev_2.0.0-2build1_arm64.deb 18-Sep-2023 14:22 5610158 libghc-curry-frontend-doc_2.0.0-2build1_all.deb 18-Sep-2023 14:22 1257340 libghc-curry-frontend-prof_2.0.0-2build1_arm64.deb 18-Sep-2023 14:22 4852716