../ 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