../ arabtex_3.10-5.diff.gz 04-Apr-2002 22:32 9856 arabtex_3.10-5.dsc 04-Apr-2002 22:32 566 arabtex_3.10-5_all.deb 04-Apr-2002 22:32 915224 arabtex_3.10.orig.tar.gz 07-Mar-2002 21:17 1374970