Name Last modified Size Description Parent Directory - tetex-bin-20120119-1.tar.bz2 02-Mar-2012 10:23 46 tetex-bin-20120119-1.hint 07-Nov-2014 23:55 143 sha512.sum 11-Mar-2020 23:14 315