../ curry-frontend_1.0.3-1_armhf.deb 22-Jul-2020 15:56 1454504 libghc-curry-frontend-dev_1.0.3-1_armhf.deb 22-Jul-2020 16:19 2308152 libghc-curry-frontend-doc_1.0.3-1_all.deb 22-Jul-2020 14:44 647148 libghc-curry-frontend-prof_1.0.3-1_armhf.deb 22-Jul-2020 15:24 2125816