Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README.md 2024-04-16 22:15 489 dvips.def 2024-04-16 22:15 6.1K dvisvgm.def 2024-04-16 22:15 9.0K dvipdfmx.def 2024-04-16 22:15 12K xetex.def 2024-04-16 22:15 14K pdftex.def 2024-04-16 22:15 19K luatex.def 2024-04-16 22:15 19K