../ curry-base_0.4.2-3.debian.tar.xz 27-Jan-2017 14:45 4500 curry-base_0.4.2-3.dsc 27-Jan-2017 14:45 2530 curry-base_0.4.2.orig.tar.gz 17-Dec-2016 14:37 98621 libghc-curry-base-dev_0.4.2-3+b1_armhf.deb 14-Sep-2017 04:08 2027692 libghc-curry-base-doc_0.4.2-3_all.deb 27-Jan-2017 15:25 297334 libghc-curry-base-prof_0.4.2-3+b1_armhf.deb 14-Sep-2017 04:08 1728296