drwxrwsr-x beebe/staff 0 1999-03-15 12:01 filehdr-1.30/ -rw-r--r-- beebe/staff 4294 1996-04-17 10:03 filehdr-1.30/Makefile -rw-rw-r-- beebe/staff 1161 1999-03-15 12:01 filehdr-1.30/filehdr.bbl -rw-r--r-- beebe/staff 3428 1991-12-12 15:32 filehdr-1.30/filehdr.bib -rw-rw-r-- beebe/staff 94748 1999-03-15 12:00 filehdr-1.30/filehdr.dvi -rw-r--r-- beebe/staff 73847 1996-04-17 09:00 filehdr-1.30/filehdr.el -rw-rw-r-- beebe/staff 76201 1999-03-15 12:00 filehdr-1.30/filehdr.info -r--r--r-- beebe/staff 84947 1999-03-15 11:58 filehdr-1.30/filehdr.ltx -rw-r--r-- beebe/staff 1189 1999-03-15 11:51 filehdr-1.30/filehdr.sok -rwxr-xr-x beebe/staff 675 1999-03-15 11:54 filehdr-1.30/makeinfo -rw-r--r-- beebe/staff 34078 1995-08-02 08:57 filehdr-1.30/rcs.sty