drwxr-xr-x 1110/210 0 Nov 11 14:50 1994 weblint-1.003/ -rw-r--r-- 1110/210 6110 Oct 18 20:27 1994 weblint-1.003/Artistic -rwxr-xr-x 1110/210 21343 Nov 11 14:49 1994 weblint-1.003/weblint -rw-r--r-- 1110/210 2874 Nov 11 14:47 1994 weblint-1.003/README -rw-r--r-- 1110/210 7825 Nov 11 14:48 1994 weblint-1.003/ChangeLog -rw------- 1110/210 5462 Nov 11 14:52 1994 weblint-1.003/weblint.1 -rw-r--r-- 1110/210 16410 Nov 11 14:52 1994 weblint-1.003/weblint.ps