../ ditaa_0.10+ds1-1.2.debian.tar.xz 14-Jun-2018 01:18 8220 ditaa_0.10+ds1-1.2.dsc 14-Jun-2018 01:18 2124 ditaa_0.10+ds1-1.2_all.deb 14-Jun-2018 01:47 128880 ditaa_0.10+ds1.orig.tar.xz 20-Jul-2015 17:15 94820