Name Last modified Size Description Parent Directory - tetex-devel-3.0.0-3.tar.bz2 2005-05-08 21:00 27K tetex-devel-2.0.2-15.tar.bz2 2004-10-10 21:00 57K setup.hint 2005-05-08 21:00 293 md5.sum 2009-03-24 22:00 125