../ curry-frontend_0.4.2-5.debian.tar.xz 31-Jan-2017 09:46 6732 curry-frontend_0.4.2-5.dsc 31-Jan-2017 09:46 3127 curry-frontend_0.4.2-5_armhf.deb 24-Jun-2017 22:08 2567290 curry-frontend_0.4.2.orig.tar.gz 21-Dec-2016 23:19 208647 libghc-curry-frontend-dev_0.4.2-5_armhf.deb 24-Jun-2017 22:08 1583452 libghc-curry-frontend-doc_0.4.2-5_all.deb 31-Jan-2017 10:11 330472 libghc-curry-frontend-prof_0.4.2-5_armhf.deb 24-Jun-2017 22:08 1416144