Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - grtimes.ins 2002-01-23 20:25 2.0K grtimes.dtx 2002-01-23 20:25 14K README 1999-03-23 01:00 2.8K lgr-tex.enc 1999-03-21 01:00 1.2K font-names 1999-03-21 01:00 624 inlig 1999-03-04 01:00 779