../ texlive-20120701-source.tar.xz 01-Jul-2012 18:08 131904044 texlive-20120701-texmf.tar.xz 01-Jul-2012 19:01 1428125120 texlive.infra.tar.xz 12-Nov-2012 03:36 202680 xdvik-22.86.tar.gz 05-Apr-2013 02:59 4412419