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