../ curry-base_1.0.0-1.debian.tar.xz 12-Dec-2017 23:39 3636 curry-base_1.0.0-1.dsc 12-Dec-2017 23:39 2720 curry-base_1.0.0.orig.tar.gz 12-Dec-2017 23:39 91103 libghc-curry-base-dev_1.0.0-1_i386.deb 12-Dec-2017 23:40 1330364 libghc-curry-base-doc_1.0.0-1_all.deb 12-Dec-2017 23:39 277864 libghc-curry-base-prof_1.0.0-1_i386.deb 12-Dec-2017 23:40 1226992