Index of /debian/pool/main/d/dita-ot

Icon  Name                               Last modified      Size  
[PARENTDIR] Parent Directory - [   ] dita-ot_1.5.3+dfsg.orig.tar.xz 2018-04-14 19:57 2.4M [   ] dita-ot_1.5.3+dfsg-1_all.deb 2018-04-14 20:54 1.0M [   ] dita-ot-doc_1.5.3+dfsg-1_all.deb 2018-04-14 20:54 208K [   ] dita-ot_1.5.3+dfsg-1.debian.tar.xz 2018-04-14 19:57 9.4K [   ] dita-ot_1.5.3+dfsg-1.dsc 2018-04-14 19:57 2.2K
Apache/2.4.41 (Ubuntu) Server at ftp.rrze.uni-erlangen.de Port 443