Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - latex-make.ins 2021-10-26 16:03 2.4K README 2021-10-26 16:03 2.4K pdfswitch.dtx 2021-10-26 16:03 5.3K figlatex.dtx 2021-10-26 16:03 16K texdepends.dtx 2021-10-26 16:03 32K latex-make.dtx 2021-10-26 16:03 79K figlatex.pdf 2021-10-26 16:03 233K texdepends.pdf 2021-10-26 16:03 241K latex-make.pdf 2021-10-26 16:03 561K