Name Last modified Size DescriptionApache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80
Parent Directory - README.md 2022-09-23 08:38 489 dvipdfmx.def 2022-09-23 08:38 12K dvips.def 2022-09-23 08:38 6.1K dvisvgm.def 2022-09-23 08:38 9.0K luatex.def 2022-09-23 08:38 19K pdftex.def 2022-09-23 08:38 19K xetex.def 2022-09-23 08:38 14K