../ arabtex_3.11-3.diff.gz 08-Jul-2004 15:32 14K arabtex_3.11-3.dsc 08-Jul-2004 15:32 538 arabtex_3.11-3_all.deb 08-Jul-2004 15:32 383K arabtex_3.11-4.diff.gz 20-Sep-2004 04:02 15K arabtex_3.11-4.dsc 20-Sep-2004 04:02 538 arabtex_3.11-4_all.deb 20-Sep-2004 04:02 383K arabtex_3.11.orig.tar.gz 08-Feb-2004 17:47 568K