../ curry-frontend_1.0.3-1_amd64.deb 14-May-2025 12:04 1379056 libghc-curry-frontend-dev_1.0.3-1_amd64.deb 14-May-2025 11:54 2154092 libghc-curry-frontend-doc_1.0.3-1_all.deb 14-May-2025 12:02 647148 libghc-curry-frontend-prof_1.0.3-1_amd64.deb 14-May-2025 11:50 1969844