../ curry-tools-source_1.0.3+dfsg1-1_all.deb 24-Feb-2017 19:45 590K curry-tools_1.0.3+dfsg1-1.debian.tar.xz 24-Feb-2017 19:45 4060 curry-tools_1.0.3+dfsg1-1.dsc 24-Feb-2017 19:45 2085 curry-tools_1.0.3+dfsg1.orig.tar.xz 24-Feb-2017 19:45 582K