Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - COPYING 2004-03-16 02:57 18K README 2004-03-16 04:18 3.2K tex/ 2004-03-17 20:13 - tests/ 2004-03-17 20:13 - src/ 2006-01-23 08:44 - old/ 2004-03-17 20:13 - fonts/ 2004-03-17 20:13 -