Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README 2020-12-05 06:33 686 STEP-COPYING 2020-10-18 00:51 5.1K enc/ 2020-12-05 06:33 - latex/ 2020-12-05 06:33 - map/ 2020-12-05 06:33 - tfm/ 2020-12-05 06:33 - type1/ 2020-12-05 06:33 - vf/ 2020-12-05 06:33 -