rwxr-sr-x 11/10 0 Aug 1 15:49 1992 filehdr-1.20/ rw-r--r-- 11/10 3596 Jun 18 18:44 1992 filehdr-1.20/Makefile rw-r--r-- 11/10 1161 Aug 1 15:48 1992 filehdr-1.20/filehdr.bbl rw-r--r-- 11/10 3428 Dec 12 15:32 1991 filehdr-1.20/filehdr.bib rw-r--r-- 11/10 134364 Aug 1 15:49 1992 filehdr-1.20/filehdr.dvi rw-r--r-- 11/10 58473 Aug 1 15:45 1992 filehdr-1.20/filehdr.el rw-r--r-- 11/10 73392 Jun 18 17:46 1992 filehdr-1.20/filehdr.info rw-r--r-- 11/10 81833 May 29 12:11 1992 filehdr-1.20/filehdr.ltx rw-r--r-- 11/10 676 May 29 11:32 1992 filehdr-1.20/filehdr.sok rwxr-xr-x 11/10 642 Dec 15 00:19 1991 filehdr-1.20/makeinfo rw-r--r-- 11/10 4668 Dec 15 00:14 1991 filehdr-1.20/rcs.sty