--rw-rw-r-- M 53 bootes sys 252332 Apr 5 1999 dvipsk.dvi --rw-rw-r-- M 53 bootes sys 226232 Apr 5 1999 kpathsea.dvi --rw-rw-r-- M 53 stevesimon sys 15440 Apr 5 1999 makeinfo.dvi --rw-rw-r-- M 53 bootes sys 734536 Apr 5 1999 texinfo.dvi Go to parent directory