total 13 drwxrwxrwx 7 coral coral 2048 Jul 8 15:49 OldFiles -rwxrwxr-x 1 raghu coral 254 Jan 30 18:15 README drwxrwxr-x 3 raghu coral 2048 Jan 30 18:19 coral0.1 drwxrwxr-x 3 raghu coral 2048 Jul 7 1993 coral1.0 drwxrwxr-x 2 raghu coral 2048 Jun 17 00:39 coral1.1 drwxrwxr-x 2 raghu coral 2048 May 31 12:08 doc -rw-r----- 1 coral coral 0 Jul 14 15:55 file.listings drwxrwxr-x 4 raghu coral 2048 Jun 17 14:25 tmp OldFiles: total 11 -rwxrwxr-x 1 raghu coral 254 Jan 30 18:15 README drwxrwxr-x 3 raghu coral 2048 Jan 30 18:19 coral0.1 drwxrwxr-x 3 raghu coral 2048 Jul 7 1993 coral1.0 drwxrwxr-x 2 raghu coral 2048 Jun 17 00:39 coral1.1 drwxrwxr-x 2 raghu coral 2048 May 31 12:08 doc drwxrwxr-x 4 raghu coral 2048 Jun 17 14:25 tmp OldFiles/coral0.1: total 7851 -rwxrwxr-x 1 raghu coral 3313 Jan 11 1994 README -rwxrwxr-x 1 raghu coral 7421204 Jan 28 1993 coral.0.1.tar.Z -rwxrwxr-x 1 raghu coral 8999 Oct 14 1993 install.chap -rwxrwxr-x 1 raghu coral 601913 Apr 27 1993 manual.ps drwxrwxr-x 2 raghu coral 2048 Jan 30 18:11 split OldFiles/coral0.1/split: total 7252 -rwxrwxr-x 1 raghu coral 477034 Feb 7 1993 coralsplitaa -rwxrwxr-x 1 raghu coral 727888 Feb 7 1993 coralsplitab -rwxrwxr-x 1 raghu coral 670546 Feb 7 1993 coralsplitac -rwxrwxr-x 1 raghu coral 729931 Feb 7 1993 coralsplitad -rwxrwxr-x 1 raghu coral 577479 Feb 7 1993 coralsplitae -rwxrwxr-x 1 raghu coral 501024 Feb 7 1993 coralsplitaf -rwxrwxr-x 1 raghu coral 524940 Feb 7 1993 coralsplitag -rwxrwxr-x 1 raghu coral 618107 Feb 7 1993 coralsplitah -rwxrwxr-x 1 raghu coral 565556 Feb 7 1993 coralsplitai -rwxrwxr-x 1 raghu coral 589231 Feb 7 1993 coralsplitaj -rwxrwxr-x 1 raghu coral 654216 Feb 7 1993 coralsplitak -rwxrwxr-x 1 raghu coral 632628 Feb 7 1993 coralsplital -rwxrwxr-x 1 raghu coral 152624 Feb 7 1993 coralsplitam OldFiles/coral1.0: total 15212 -rwxrwxr-x 1 raghu coral 3517 Jul 3 1993 README -rwxrwxr-x 1 raghu coral 3943411 Jul 3 1993 coral.1.hpbin.tar.Z -rwxrwxr-x 1 raghu coral 4629615 Apr 26 1993 coral.1.mipsbin.tar.Z -rwxrwxr-x 1 raghu coral 3079615 Apr 26 1993 coral.1.nobin.tar.Z -rwxrwxr-x 1 raghu coral 3905095 Apr 28 1993 coral.1.sun4bin.tar.Z -rwxrwxr-x 1 raghu coral 10501 Jul 3 1993 install.chap drwxrwxr-x 6 raghu coral 2048 Jul 3 1993 split OldFiles/coral1.0/split: total 8 drwxrwxr-x 2 raghu coral 2048 Jul 3 1993 split.hpbin drwxrwxr-x 2 raghu coral 2048 Apr 26 1993 split.mipsbin drwxrwxr-x 2 raghu coral 2048 Apr 26 1993 split.nobin drwxrwxr-x 2 raghu coral 2048 Apr 28 1993 split.sun4bin OldFiles/coral1.0/split/split.hpbin: total 3862 -rwxrwxr-x 1 raghu coral 221257 Jul 3 1993 coral.1.hpbin.tar.Zaa -rwxrwxr-x 1 raghu coral 192016 Jul 3 1993 coral.1.hpbin.tar.Zab -rwxrwxr-x 1 raghu coral 155788 Jul 3 1993 coral.1.hpbin.tar.Zac -rwxrwxr-x 1 raghu coral 298809 Jul 3 1993 coral.1.hpbin.tar.Zad -rwxrwxr-x 1 raghu coral 233421 Jul 3 1993 coral.1.hpbin.tar.Zae -rwxrwxr-x 1 raghu coral 250098 Jul 3 1993 coral.1.hpbin.tar.Zaf -rwxrwxr-x 1 raghu coral 262549 Jul 3 1993 coral.1.hpbin.tar.Zag -rwxrwxr-x 1 raghu coral 263726 Jul 3 1993 coral.1.hpbin.tar.Zah -rwxrwxr-x 1 raghu coral 257144 Jul 3 1993 coral.1.hpbin.tar.Zai -rwxrwxr-x 1 raghu coral 261308 Jul 3 1993 coral.1.hpbin.tar.Zaj -rwxrwxr-x 1 raghu coral 152476 Jul 3 1993 coral.1.hpbin.tar.Zak -rwxrwxr-x 1 raghu coral 244878 Jul 3 1993 coral.1.hpbin.tar.Zal -rwxrwxr-x 1 raghu coral 187843 Jul 3 1993 coral.1.hpbin.tar.Zam -rwxrwxr-x 1 raghu coral 202420 Jul 3 1993 coral.1.hpbin.tar.Zan -rwxrwxr-x 1 raghu coral 208162 Jul 3 1993 coral.1.hpbin.tar.Zao -rwxrwxr-x 1 raghu coral 173177 Jul 3 1993 coral.1.hpbin.tar.Zap -rwxrwxr-x 1 raghu coral 277537 Jul 3 1993 coral.1.hpbin.tar.Zaq -rwxrwxr-x 1 raghu coral 100802 Jul 3 1993 coral.1.hpbin.tar.Zar OldFiles/coral1.0/split/split.mipsbin: total 4528 -rwxrwxr-x 1 raghu coral 500000 Apr 26 1993 coral.1.mipsbin.tar.Z.000 -rwxrwxr-x 1 raghu coral 500000 Apr 26 1993 coral.1.mipsbin.tar.Z.001 -rwxrwxr-x 1 raghu coral 500000 Apr 26 1993 coral.1.mipsbin.tar.Z.002 -rwxrwxr-x 1 raghu coral 500000 Apr 26 1993 coral.1.mipsbin.tar.Z.003 -rwxrwxr-x 1 raghu coral 500000 Apr 26 1993 coral.1.mipsbin.tar.Z.004 -rwxrwxr-x 1 raghu coral 500000 Apr 26 1993 coral.1.mipsbin.tar.Z.005 -rwxrwxr-x 1 raghu coral 500000 Apr 26 1993 coral.1.mipsbin.tar.Z.006 -rwxrwxr-x 1 raghu coral 500000 Apr 26 1993 coral.1.mipsbin.tar.Z.007 -rwxrwxr-x 1 raghu coral 500000 Apr 26 1993 coral.1.mipsbin.tar.Z.008 -rwxrwxr-x 1 raghu coral 129615 Apr 26 1993 coral.1.mipsbin.tar.Z.009 OldFiles/coral1.0/split/split.nobin: total 3012 -rwxrwxr-x 1 raghu coral 500000 Apr 26 1993 coral.1.nobin.tar.Z.000 -rwxrwxr-x 1 raghu coral 500000 Apr 26 1993 coral.1.nobin.tar.Z.001 -rwxrwxr-x 1 raghu coral 500000 Apr 26 1993 coral.1.nobin.tar.Z.002 -rwxrwxr-x 1 raghu coral 500000 Apr 26 1993 coral.1.nobin.tar.Z.003 -rwxrwxr-x 1 raghu coral 500000 Apr 26 1993 coral.1.nobin.tar.Z.004 -rwxrwxr-x 1 raghu coral 500000 Apr 26 1993 coral.1.nobin.tar.Z.005 -rwxrwxr-x 1 raghu coral 79615 Apr 26 1993 coral.1.nobin.tar.Z.006 OldFiles/coral1.0/split/split.sun4bin: total 3819 -rwxrwxr-x 1 raghu coral 500000 Apr 28 1993 coral.1.sun4bin.tar.Z.000 -rwxrwxr-x 1 raghu coral 500000 Apr 28 1993 coral.1.sun4bin.tar.Z.001 -rwxrwxr-x 1 raghu coral 500000 Apr 28 1993 coral.1.sun4bin.tar.Z.002 -rwxrwxr-x 1 raghu coral 500000 Apr 28 1993 coral.1.sun4bin.tar.Z.003 -rwxrwxr-x 1 raghu coral 500000 Apr 28 1993 coral.1.sun4bin.tar.Z.004 -rwxrwxr-x 1 raghu coral 500000 Apr 28 1993 coral.1.sun4bin.tar.Z.005 -rwxrwxr-x 1 raghu coral 500000 Apr 28 1993 coral.1.sun4bin.tar.Z.006 -rwxrwxr-x 1 raghu coral 405095 Apr 28 1993 coral.1.sun4bin.tar.Z.007 OldFiles/coral1.1: total 17859 -rwxrwxr-x 1 raghu coral 3631 Jun 15 00:01 README -rwxrwxr-x 1 raghu coral 5209713 May 4 18:12 coral.1.1.hpbin.tar.Z -rwxrwxr-x 1 raghu coral 6337629 May 4 18:12 coral.1.1.mipsbin.tar.Z -rw-rw-r-- 1 coral coral 1917125 Jun 16 22:27 coral.1.1.nobin.tar.Z -rwxrwxr-x 1 raghu coral 4804855 May 4 18:12 coral.1.1.sun4bin.tar.Z -rwxrwxr-x 1 raghu coral 10535 Jun 14 23:57 install.chap OldFiles/doc: total 13816 -rwxrwxr-x 1 raghu coral 7471 May 31 12:14 README -rwxrwxr-x 1 raghu coral 309826 Jan 22 21:06 bupeval.survey.ps -rwxrwxr-x 1 raghu coral 233495 Apr 20 1993 coral.impl.ps -rwxrwxr-x 1 raghu coral 351838 Jan 18 16:37 coral.lang.old.ps -rwxrwxr-x 1 raghu coral 222019 Nov 27 1992 coral.lang.ps -rwxrwxr-x 1 raghu coral 772443 Jan 18 16:44 coral.ps -rwxrwxr-x 1 raghu coral 2027039 Jan 22 21:12 coraldocs.tar.Z -rwxrwxr-x 1 raghu coral 524162 Jun 8 1993 coralpp.ps -rwxrwxr-x 1 raghu coral 518049 Sep 24 1993 explain.ps -rwxrwxr-x 1 raghu coral 1085955 Jan 31 15:42 manual.ps -rwxrwxr-x 1 raghu coral 362197 Oct 7 1993 mimsy.ps -rwxrwxr-x 1 raghu coral 198651 Jan 22 21:07 ngopt.ps -rwxrwxr-x 1 raghu coral 190343 Jan 22 21:05 ordsearch.ps -rwxrwxr-x 1 raghu coral 559840 May 31 12:02 parallelism.ps -rwxrwxr-x 1 raghu coral 224319 Jan 22 21:06 relevance.ps -rwxrwxr-x 1 raghu coral 881502 Nov 25 1993 ruleord.ps -rwxrwxr-x 1 raghu coral 4911569 May 14 09:37 sudarshan.thesis.ps -rwxrwxr-x 1 raghu coral 225721 Jan 22 21:07 tdvsbup.ps -rwxrwxr-x 1 raghu coral 532903 Jan 18 16:51 vldb90.ps OldFiles/tmp: total 5400 -rwxrwxr-x 1 raghu coral 324 Nov 9 1993 README -rwxrwxr-x 1 raghu coral 742746 Oct 26 1993 coral -rwxrwxr-x 1 raghu coral 1935659 Jun 14 23:47 coral.1.1.nobin.tar.Z.6.14 drwxrwxr-x 2 raghu coral 2048 May 4 18:10 coral1.1.jan94 -rwxrwxr-x 1 coral coral 10422 Jun 14 14:48 install.chap -rwxrwxr-x 1 raghu coral 758472 Oct 14 1993 magic -rwxrwxr-x 1 raghu coral 1860406 May 4 18:12 old.coral.1.1.nobin.tar.Z drwxrwxr-x 2 raghu coral 2048 Nov 9 1993 src -rwxrwxr-x 1 raghu coral 213061 Oct 14 1993 translator OldFiles/tmp/coral1.1.jan94: total 11947 -rwxrwxr-x 1 raghu coral 3611556 Feb 2 09:07 coral.1.1.hpbin.tar.Z -rwxrwxr-x 1 raghu coral 3430367 Feb 2 09:10 coral.1.1.mipsbin.tar.Z -rwxrwxr-x 1 raghu coral 1916863 Feb 2 08:47 coral.1.1.nobin.tar.Z -rwxrwxr-x 1 raghu coral 3274139 Feb 2 09:12 coral.1.1.sun4bin.tar.Z OldFiles/tmp/src: total 973 -rwxrwxr-x 1 raghu coral 995641 Nov 9 1993 coral.tar.Z coral0.1: total 7851 -rwxrwxr-x 1 raghu coral 3313 Jan 11 1994 README -rwxrwxr-x 1 raghu coral 7421204 Jan 28 1993 coral.0.1.tar.Z -rwxrwxr-x 1 raghu coral 8999 Oct 14 1993 install.chap -rwxrwxr-x 1 raghu coral 601913 Apr 27 1993 manual.ps drwxrwxr-x 2 raghu coral 2048 Jan 30 18:11 split coral0.1/split: total 7252 -rwxrwxr-x 1 raghu coral 477034 Feb 7 1993 coralsplitaa -rwxrwxr-x 1 raghu coral 727888 Feb 7 1993 coralsplitab -rwxrwxr-x 1 raghu coral 670546 Feb 7 1993 coralsplitac -rwxrwxr-x 1 raghu coral 729931 Feb 7 1993 coralsplitad -rwxrwxr-x 1 raghu coral 577479 Feb 7 1993 coralsplitae -rwxrwxr-x 1 raghu coral 501024 Feb 7 1993 coralsplitaf -rwxrwxr-x 1 raghu coral 524940 Feb 7 1993 coralsplitag -rwxrwxr-x 1 raghu coral 618107 Feb 7 1993 coralsplitah -rwxrwxr-x 1 raghu coral 565556 Feb 7 1993 coralsplitai -rwxrwxr-x 1 raghu coral 589231 Feb 7 1993 coralsplitaj -rwxrwxr-x 1 raghu coral 654216 Feb 7 1993 coralsplitak -rwxrwxr-x 1 raghu coral 632628 Feb 7 1993 coralsplital -rwxrwxr-x 1 raghu coral 152624 Feb 7 1993 coralsplitam coral1.0: total 15212 -rwxrwxr-x 1 raghu coral 3517 Jul 3 1993 README -rwxrwxr-x 1 raghu coral 3943411 Jul 3 1993 coral.1.hpbin.tar.Z -rwxrwxr-x 1 raghu coral 4629615 Apr 26 1993 coral.1.mipsbin.tar.Z -rwxrwxr-x 1 raghu coral 3079615 Apr 26 1993 coral.1.nobin.tar.Z -rwxrwxr-x 1 raghu coral 3905095 Apr 28 1993 coral.1.sun4bin.tar.Z -rwxrwxr-x 1 raghu coral 10501 Jul 3 1993 install.chap drwxrwxr-x 6 raghu coral 2048 Jul 3 1993 split coral1.0/split: total 8 drwxrwxr-x 2 raghu coral 2048 Jul 3 1993 split.hpbin drwxrwxr-x 2 raghu coral 2048 Apr 26 1993 split.mipsbin drwxrwxr-x 2 raghu coral 2048 Apr 26 1993 split.nobin drwxrwxr-x 2 raghu coral 2048 Apr 28 1993 split.sun4bin coral1.0/split/split.hpbin: total 3862 -rwxrwxr-x 1 raghu coral 221257 Jul 3 1993 coral.1.hpbin.tar.Zaa -rwxrwxr-x 1 raghu coral 192016 Jul 3 1993 coral.1.hpbin.tar.Zab -rwxrwxr-x 1 raghu coral 155788 Jul 3 1993 coral.1.hpbin.tar.Zac -rwxrwxr-x 1 raghu coral 298809 Jul 3 1993 coral.1.hpbin.tar.Zad -rwxrwxr-x 1 raghu coral 233421 Jul 3 1993 coral.1.hpbin.tar.Zae -rwxrwxr-x 1 raghu coral 250098 Jul 3 1993 coral.1.hpbin.tar.Zaf -rwxrwxr-x 1 raghu coral 262549 Jul 3 1993 coral.1.hpbin.tar.Zag -rwxrwxr-x 1 raghu coral 263726 Jul 3 1993 coral.1.hpbin.tar.Zah -rwxrwxr-x 1 raghu coral 257144 Jul 3 1993 coral.1.hpbin.tar.Zai -rwxrwxr-x 1 raghu coral 261308 Jul 3 1993 coral.1.hpbin.tar.Zaj -rwxrwxr-x 1 raghu coral 152476 Jul 3 1993 coral.1.hpbin.tar.Zak -rwxrwxr-x 1 raghu coral 244878 Jul 3 1993 coral.1.hpbin.tar.Zal -rwxrwxr-x 1 raghu coral 187843 Jul 3 1993 coral.1.hpbin.tar.Zam -rwxrwxr-x 1 raghu coral 202420 Jul 3 1993 coral.1.hpbin.tar.Zan -rwxrwxr-x 1 raghu coral 208162 Jul 3 1993 coral.1.hpbin.tar.Zao -rwxrwxr-x 1 raghu coral 173177 Jul 3 1993 coral.1.hpbin.tar.Zap -rwxrwxr-x 1 raghu coral 277537 Jul 3 1993 coral.1.hpbin.tar.Zaq -rwxrwxr-x 1 raghu coral 100802 Jul 3 1993 coral.1.hpbin.tar.Zar coral1.0/split/split.mipsbin: total 4528 -rwxrwxr-x 1 raghu coral 500000 Apr 26 1993 coral.1.mipsbin.tar.Z.000 -rwxrwxr-x 1 raghu coral 500000 Apr 26 1993 coral.1.mipsbin.tar.Z.001 -rwxrwxr-x 1 raghu coral 500000 Apr 26 1993 coral.1.mipsbin.tar.Z.002 -rwxrwxr-x 1 raghu coral 500000 Apr 26 1993 coral.1.mipsbin.tar.Z.003 -rwxrwxr-x 1 raghu coral 500000 Apr 26 1993 coral.1.mipsbin.tar.Z.004 -rwxrwxr-x 1 raghu coral 500000 Apr 26 1993 coral.1.mipsbin.tar.Z.005 -rwxrwxr-x 1 raghu coral 500000 Apr 26 1993 coral.1.mipsbin.tar.Z.006 -rwxrwxr-x 1 raghu coral 500000 Apr 26 1993 coral.1.mipsbin.tar.Z.007 -rwxrwxr-x 1 raghu coral 500000 Apr 26 1993 coral.1.mipsbin.tar.Z.008 -rwxrwxr-x 1 raghu coral 129615 Apr 26 1993 coral.1.mipsbin.tar.Z.009 coral1.0/split/split.nobin: total 3012 -rwxrwxr-x 1 raghu coral 500000 Apr 26 1993 coral.1.nobin.tar.Z.000 -rwxrwxr-x 1 raghu coral 500000 Apr 26 1993 coral.1.nobin.tar.Z.001 -rwxrwxr-x 1 raghu coral 500000 Apr 26 1993 coral.1.nobin.tar.Z.002 -rwxrwxr-x 1 raghu coral 500000 Apr 26 1993 coral.1.nobin.tar.Z.003 -rwxrwxr-x 1 raghu coral 500000 Apr 26 1993 coral.1.nobin.tar.Z.004 -rwxrwxr-x 1 raghu coral 500000 Apr 26 1993 coral.1.nobin.tar.Z.005 -rwxrwxr-x 1 raghu coral 79615 Apr 26 1993 coral.1.nobin.tar.Z.006 coral1.0/split/split.sun4bin: total 3819 -rwxrwxr-x 1 raghu coral 500000 Apr 28 1993 coral.1.sun4bin.tar.Z.000 -rwxrwxr-x 1 raghu coral 500000 Apr 28 1993 coral.1.sun4bin.tar.Z.001 -rwxrwxr-x 1 raghu coral 500000 Apr 28 1993 coral.1.sun4bin.tar.Z.002 -rwxrwxr-x 1 raghu coral 500000 Apr 28 1993 coral.1.sun4bin.tar.Z.003 -rwxrwxr-x 1 raghu coral 500000 Apr 28 1993 coral.1.sun4bin.tar.Z.004 -rwxrwxr-x 1 raghu coral 500000 Apr 28 1993 coral.1.sun4bin.tar.Z.005 -rwxrwxr-x 1 raghu coral 500000 Apr 28 1993 coral.1.sun4bin.tar.Z.006 -rwxrwxr-x 1 raghu coral 405095 Apr 28 1993 coral.1.sun4bin.tar.Z.007 coral1.1: total 17859 -rwxrwxr-x 1 raghu coral 3631 Jun 15 00:01 README -rwxrwxr-x 1 raghu coral 5209713 May 4 18:12 coral.1.1.hpbin.tar.Z -rwxrwxr-x 1 raghu coral 6337629 May 4 18:12 coral.1.1.mipsbin.tar.Z -rw-rw-r-- 1 coral coral 1917125 Jun 16 22:27 coral.1.1.nobin.tar.Z -rwxrwxr-x 1 raghu coral 4804855 May 4 18:12 coral.1.1.sun4bin.tar.Z -rwxrwxr-x 1 raghu coral 10535 Jun 14 23:57 install.chap doc: total 13816 -rwxrwxr-x 1 raghu coral 7471 May 31 12:14 README -rwxrwxr-x 1 raghu coral 309826 Jan 22 21:06 bupeval.survey.ps -rwxrwxr-x 1 raghu coral 233495 Apr 20 1993 coral.impl.ps -rwxrwxr-x 1 raghu coral 351838 Jan 18 16:37 coral.lang.old.ps -rwxrwxr-x 1 raghu coral 222019 Nov 27 1992 coral.lang.ps -rwxrwxr-x 1 raghu coral 772443 Jan 18 16:44 coral.ps -rwxrwxr-x 1 raghu coral 2027039 Jan 22 21:12 coraldocs.tar.Z -rwxrwxr-x 1 raghu coral 524162 Jun 8 1993 coralpp.ps -rwxrwxr-x 1 raghu coral 518049 Sep 24 1993 explain.ps -rwxrwxr-x 1 raghu coral 1085955 Jan 31 15:42 manual.ps -rwxrwxr-x 1 raghu coral 362197 Oct 7 1993 mimsy.ps -rwxrwxr-x 1 raghu coral 198651 Jan 22 21:07 ngopt.ps -rwxrwxr-x 1 raghu coral 190343 Jan 22 21:05 ordsearch.ps -rwxrwxr-x 1 raghu coral 559840 May 31 12:02 parallelism.ps -rwxrwxr-x 1 raghu coral 224319 Jan 22 21:06 relevance.ps -rwxrwxr-x 1 raghu coral 881502 Nov 25 1993 ruleord.ps -rwxrwxr-x 1 raghu coral 4911569 May 14 09:37 sudarshan.thesis.ps -rwxrwxr-x 1 raghu coral 225721 Jan 22 21:07 tdvsbup.ps -rwxrwxr-x 1 raghu coral 532903 Jan 18 16:51 vldb90.ps tmp: total 5400 -rwxrwxr-x 1 raghu coral 324 Nov 9 1993 README -rwxrwxr-x 1 raghu coral 742746 Oct 26 1993 coral -rwxrwxr-x 1 raghu coral 1935659 Jun 14 23:47 coral.1.1.nobin.tar.Z.6.14 drwxrwxr-x 2 raghu coral 2048 May 4 18:10 coral1.1.jan94 -rwxrwxr-x 1 coral coral 10422 Jun 14 14:48 install.chap -rwxrwxr-x 1 raghu coral 758472 Oct 14 1993 magic -rwxrwxr-x 1 raghu coral 1860406 May 4 18:12 old.coral.1.1.nobin.tar.Z drwxrwxr-x 2 raghu coral 2048 Nov 9 1993 src -rwxrwxr-x 1 raghu coral 213061 Oct 14 1993 translator tmp/coral1.1.jan94: total 11947 -rwxrwxr-x 1 raghu coral 3611556 Feb 2 09:07 coral.1.1.hpbin.tar.Z -rwxrwxr-x 1 raghu coral 3430367 Feb 2 09:10 coral.1.1.mipsbin.tar.Z -rwxrwxr-x 1 raghu coral 1916863 Feb 2 08:47 coral.1.1.nobin.tar.Z -rwxrwxr-x 1 raghu coral 3274139 Feb 2 09:12 coral.1.1.sun4bin.tar.Z tmp/src: total 973 -rwxrwxr-x 1 raghu coral 995641 Nov 9 1993 coral.tar.Z