../ cduce_0.6.0-1.debian.tar.xz 10-Mar-2016 10:41 5888 cduce_0.6.0-1.dsc 10-Mar-2016 10:41 2206 cduce_0.6.0-1_amd64.deb 10-Mar-2016 10:27 4M cduce_0.6.0-1_i386.deb 10-Mar-2016 10:14 3M cduce_0.6.0.orig.tar.gz 10-Mar-2016 10:41 796K