Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - mf/ 2023-10-27 07:45 - dvips/ 2016-01-04 07:16 - vf/ 1999-10-20 09:21 - type1/ 1999-10-20 09:21 - tfm/ 1999-10-20 09:21 - README 1999-02-07 01:00 886