../ ditaa_0.10+ds1-1.2.debian.tar.xz 09-Aug-2022 20:07 8220 ditaa_0.10+ds1-1.2.dsc 09-Aug-2022 20:07 2124 ditaa_0.10+ds1-1.2_all.deb 09-Aug-2022 20:07 128880 ditaa_0.10+ds1.orig.tar.xz 09-Aug-2022 20:07 94820