Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README 2019-03-06 10:46 7.7K afm/ 2016-07-06 22:54 - bin/ 2016-07-06 22:54 - doc/ 2019-03-06 11:45 - generic/ 2016-07-06 22:54 - latex/ 2016-07-06 22:54 - map/ 2016-07-06 22:54 - mf/ 2016-07-06 22:54 - plain/ 2016-07-06 22:54 - tfm/ 2016-07-06 22:54 - type1/ 2016-07-06 22:54 - xelatex/ 2016-07-06 22:54 -