Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - double.zip 1995-02-01 01:00 21K dvibook.zip 1994-10-14 01:00 29K dvicon.zip 1994-10-14 01:00 27K dvidvi.zip 1994-10-14 01:00 14K dvilj4/ 1999-10-20 09:25 - dvips/ 2000-04-03 12:04 - dviselec.zip 1994-10-14 01:00 30K dviwin/ 2001-06-08 12:11 - pccrude.zoo 1994-10-14 01:00 89K psbook/ 1999-10-20 09:25 - xdvi-dos/ 1999-10-20 09:25 -