../ texlive-bin_2016.20160513.41080-2.datestamp 04-Jun-2016 13:21 115 texlive-bin_2016.20160513.41080-2.json 04-Jun-2016 13:21 865 texlive-bin_2016.20160513.41080-2_amd64-2016053..> 30-May-2016 23:37 139428 texlive-bin_2016.20160513.41080-2_amd64-2016060..> 02-Jun-2016 12:44 2468 texlive-bin_2016.20160513.41080-2_amd64-2016060..> 04-Jun-2016 13:21 132537