Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - CHANGES 2010-09-05 18:01 120 INSTALL 2010-09-05 18:02 1.0K manifest.txt 2010-09-05 18:04 910 veracruz.pdf 2010-09-04 17:09 140K veracruz.tex 2010-09-04 17:09 5.4K