../ curry-frontend_0.4.2-6.debian.tar.xz 28-Jun-2017 08:26 6812 curry-frontend_0.4.2-6.dsc 28-Jun-2017 08:26 3113 curry-frontend_0.4.2-6_armhf.deb 02-Sep-2017 04:08 2566314 curry-frontend_0.4.2.orig.tar.gz 21-Dec-2016 23:19 208647 libghc-curry-frontend-dev_0.4.2-6_armhf.deb 02-Sep-2017 04:08 1579358 libghc-curry-frontend-doc_0.4.2-6_all.deb 28-Jun-2017 16:55 328278 libghc-curry-frontend-prof_0.4.2-6_armhf.deb 02-Sep-2017 04:08 1411362