Index of /historic/systems/texcollection/2018/setup/lib
Name
Last modified
Size
Description
Parent Directory
-
texcollection.ini
2018-03-23 03:53
399
modules.zip
2017-04-22 17:42
19M
TRANS.TBL
2018-04-16 03:13
452
Apache/2.4.62 (Debian) Server at texlive.info Port 443