../ curry-tools-source_1.0.1+dfsg1-1_all.deb 13-Jan-2017 15:29 595066 curry-tools-source_1.0.1+dfsg1-3_all.deb 03-Feb-2017 09:12 598754 curry-tools_1.0.1+dfsg1-1.debian.tar.xz 13-Jan-2017 14:59 3276 curry-tools_1.0.1+dfsg1-3.debian.tar.xz 03-Feb-2017 08:32 17696 curry-tools_1.0.1+dfsg1.orig.tar.xz 13-Jan-2017 14:59 588984