../ ditaa_0.10+ds1-1.2.debian.tar.xz 08-Apr-2019 10:16 8220 ditaa_0.10+ds1-1.2.dsc 08-Apr-2019 10:16 2124 ditaa_0.10+ds1-1.2_all.deb 08-Apr-2019 10:55 128880 ditaa_0.10+ds1.orig.tar.xz 08-Apr-2019 10:16 94820