../ curry-base_1.1.0-1.debian.tar.xz 22-Nov-2018 15:08 3952 curry-base_1.1.0-1.dsc 22-Nov-2018 15:08 2718 curry-base_1.1.0.orig.tar.gz 22-Nov-2018 15:08 105743 libghc-curry-base-dev_1.1.0-1+b1_amd64.deb 03-Dec-2018 19:42 1651068 libghc-curry-base-doc_1.1.0-1_all.deb 22-Nov-2018 16:27 415716 libghc-curry-base-prof_1.1.0-1+b1_amd64.deb 03-Dec-2018 19:42 1508100