../ curry-frontend_1.0.1-2.debian.tar.xz 27-Apr-2018 13:47 6448 curry-frontend_1.0.1-2.dsc 27-Apr-2018 13:47 3228 curry-frontend_1.0.1-2_armhf.deb 05-Jul-2018 10:08 1371400 curry-frontend_1.0.1.orig.tar.gz 09-Feb-2018 10:46 299374 libghc-curry-frontend-dev_1.0.1-2_armhf.deb 05-Jul-2018 10:08 2209564 libghc-curry-frontend-doc_1.0.1-2_all.deb 27-Apr-2018 15:03 428300 libghc-curry-frontend-prof_1.0.1-2_armhf.deb 05-Jul-2018 10:08 2065100