Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - CHANGES 2018-05-11 18:40 4.0K README 2018-05-11 18:40 1.0K afm/ 2018-05-11 18:40 - doc/ 2018-05-11 18:40 - dozenal.dtx 2018-05-11 18:40 43K dozenal.ins 2018-05-11 18:40 2.2K dozenalfilelist.txt 2018-05-11 18:40 1.6K lppl.txt 2018-05-11 18:40 19K map/ 2018-05-11 18:40 - mf/ 2018-05-11 18:40 - tfm/ 2018-05-11 18:40 - type1/ 2018-05-11 18:40 -