../ 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+b2_armhf.deb 31-Dec-2018 16:08 1796280 libghc-curry-base-doc_1.1.0-1_all.deb 22-Nov-2018 16:27 415716 libghc-curry-base-prof_1.1.0-1+b2_armhf.deb 31-Dec-2018 16:08 1591260