../ texify_1.18.dsc 30-Apr-2005 18:38 484 texify_1.18.tar.gz 15-Jul-2004 19:48 10405 texify_1.18_all.deb 30-Apr-2005 18:38 11896 texify_1.19.dsc 08-Apr-2007 11:16 483 texify_1.19.tar.gz 08-Apr-2007 11:16 10874 texify_1.19_all.deb 08-Apr-2007 11:16 12458 texify_1.20.dsc 23-Oct-2008 15:17 483 texify_1.20.tar.gz 24-Nov-2010 00:32 11135 texify_1.20_all.deb 23-Oct-2008 15:17 12730