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