Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README.txt 2023-06-24 23:05 3.2K vf/ 2023-06-25 08:36 - tfm/ 2023-06-25 08:36 - shell/ 2023-06-25 08:42 - latex/ 2023-06-25 08:36 - fontinst/ 2023-06-25 08:36 - dvips/ 2023-06-25 08:36 - afm/ 2023-06-25 08:36 -