../ cduce_0.6.0-1.debian.tar.xz 21-Mar-2014 21:28 5888 cduce_0.6.0-1.dsc 21-Mar-2014 21:28 2206 cduce_0.6.0-1_amd64.deb 21-Mar-2014 21:28 4M cduce_0.6.0-1_i386.deb 21-Mar-2014 21:28 4M cduce_0.6.0-5.debian.tar.xz 23-Feb-2016 21:37 8684 cduce_0.6.0-5.dsc 23-Feb-2016 21:37 2233 cduce_0.6.0-5_amd64.deb 23-Feb-2016 22:15 12M cduce_0.6.0-5_i386.deb 23-Feb-2016 22:16 11M cduce_0.6.0.orig.tar.gz 21-Mar-2014 21:28 796K