rwxr-xr-x 4273/0      0 Oct 25 20:43 1993 packages/
rw------- 4273/0  11220 Jun  3 18:40 1991 packages/defpackage.lisp
rw-rw-rw- 4273/0   1993 Aug 12 14:25 1993 packages/make-defpackage.lisp