../ curry-tools-source_1.0.1+dfsg1-1_all.deb 13-Jan-2017 23:29 581K curry-tools-source_2.0.1-1_all.deb 10-Feb-2018 06:27 239K curry-tools_1.0.1+dfsg1-1.debian.tar.xz 13-Jan-2017 22:59 3276 curry-tools_1.0.1+dfsg1-1.dsc 13-Jan-2017 22:59 2070 curry-tools_1.0.1+dfsg1.orig.tar.xz 13-Jan-2017 22:59 575K curry-tools_2.0.1-1.debian.tar.xz 09-Feb-2018 19:22 3464 curry-tools_2.0.1-1.dsc 09-Feb-2018 19:22 2088 curry-tools_2.0.1.orig.tar.gz 09-Feb-2018 19:22 415K