../ sha512.sum 11-Mar-2020 15:14 315 tetex-bin-20120119-1.hint 07-Nov-2014 15:55 143 tetex-bin-20120119-1.tar.bz2 02-Mar-2012 02:23 46