Name Last modified Size DescriptionApache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80
Parent Directory - Makefile 2000-05-01 03:22 1.0K addencodings.pl 2020-03-03 00:44 185K dvityext.h 2000-05-01 03:22 478 texwarext.h 2000-05-01 03:06 156 vftovp.ch 2000-05-01 03:19 7.2K vftovp.p 2000-05-01 03:22 45K vptovf.ch 2000-05-01 03:06 3.4K vptovf.p 2000-05-01 03:06 64K