Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - afm/ 2001-06-08 12:12 - dvips/ 2001-06-08 12:12 - fontname/ 2001-06-08 12:12 - latex2e/ 2001-06-08 12:12 - pfa/ 2001-06-08 12:12 - tfm/ 2001-06-08 12:12 - vf/ 2001-06-08 12:12 - README 1998-01-01 01:00 2.3K