../ curry-base_0.4.2-4.debian.tar.xz 17-Sep-2017 17:32 4584 curry-base_0.4.2-4.dsc 17-Sep-2017 17:32 2573 curry-base_0.4.2.orig.tar.gz 17-Dec-2016 14:37 98621 libghc-curry-base-dev_0.4.2-4_armhf.deb 25-Nov-2017 16:08 2031544 libghc-curry-base-doc_0.4.2-4_all.deb 17-Sep-2017 17:57 296248 libghc-curry-base-prof_0.4.2-4_armhf.deb 25-Nov-2017 16:08 1729472