Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - COPYING 2005-05-07 10:16 18K HISTORY 2005-05-07 10:16 4.0K INSTALL 2005-05-07 10:16 4.6K README 2005-05-07 10:16 8.4K dvips/ 2003-03-24 21:13 - fonts/ 2003-03-24 21:13 - inf/ 2005-05-10 18:43 - omega/ 2003-03-24 21:13 - scripts.tar.gz 2005-05-08 08:38 76K tex/ 2003-03-24 21:13 - vtex/ 2005-05-10 18:49 -