../ curry-frontend_1.0.3-1.debian.tar.xz 31-Jan-2019 12:11 6804 curry-frontend_1.0.3-1.dsc 31-Jan-2019 12:11 3228 curry-frontend_1.0.3-1_amd64.deb 31-Jan-2019 13:01 1379056 curry-frontend_1.0.3.orig.tar.gz 31-Jan-2019 12:11 303648 libghc-curry-frontend-dev_1.0.3-1_amd64.deb 31-Jan-2019 13:01 2154092 libghc-curry-frontend-doc_1.0.3-1_all.deb 31-Jan-2019 12:41 647148 libghc-curry-frontend-prof_1.0.3-1_amd64.deb 31-Jan-2019 13:01 1969844