../ curry-frontend_2.0.0-2build1_arm64.deb 15-Sep-2021 21:09 2M libghc-curry-frontend-dev_2.0.0-2build1_arm64.deb 15-Sep-2021 21:09 5M libghc-curry-frontend-doc_2.0.0-2build1_all.deb 15-Sep-2021 20:40 1M libghc-curry-frontend-prof_2.0.0-2build1_arm64.deb 15-Sep-2021 21:09 5M