../ curry-frontend_1.0.1-1.debian.tar.xz 09-Feb-2018 10:46 6368 curry-frontend_1.0.1-1.dsc 09-Feb-2018 10:46 3234 curry-frontend_1.0.1-1_armhf.deb 14-Feb-2018 16:08 2256484 curry-frontend_1.0.1.orig.tar.gz 09-Feb-2018 10:46 299374 libghc-curry-frontend-dev_1.0.1-1_armhf.deb 14-Feb-2018 16:08 2275812 libghc-curry-frontend-doc_1.0.1-1_all.deb 09-Feb-2018 22:27 449076 libghc-curry-frontend-prof_1.0.1-1_armhf.deb 14-Feb-2018 16:08 2023556