../ curry-frontend_0.4.2-7.debian.tar.xz 17-Sep-2017 18:27 6880 curry-frontend_0.4.2-7.dsc 17-Sep-2017 18:27 3113 curry-frontend_0.4.2-7_armhf.deb 25-Nov-2017 22:08 2670728 curry-frontend_0.4.2.orig.tar.gz 21-Dec-2016 23:19 208647 libghc-curry-frontend-dev_0.4.2-7_armhf.deb 25-Nov-2017 22:08 1572952 libghc-curry-frontend-doc_0.4.2-7_all.deb 17-Sep-2017 19:13 329508 libghc-curry-frontend-prof_0.4.2-7_armhf.deb 25-Nov-2017 22:08 1403364