--rw-r--r-- fernan sys   72 Sep 19  2009 CPUTime.hc
--rw-r--r-- fernan sys  169 Sep 19  2009 CPUTime.hs
--rw-r--r-- fernan sys  223 Sep 19  2009 CPUTime.p.c
--rw-r--r-- fernan sys  223 Sep 19  2009 CPUTime.z.c
--rw-r--r-- fernan sys  465 Sep 19  2009 CpuTimePrecision.hc
--rw-r--r-- fernan sys   78 Sep 19  2009 CpuTimePrecision.hs
--rw-r--r-- fernan sys 1088 Sep 19  2009 CpuTimePrecision.p.c
--rw-r--r-- fernan sys  800 Sep 19  2009 CpuTimePrecision.z.c
--rw-r--r-- fernan sys  300 Sep 19  2009 GetCPUTime.gc
--rw-r--r-- bootes sys 4104 Sep 19  2009 GetCPUTime.hc
--rw-r--r-- bootes sys 9896 Sep 19  2009 GetCPUTime.p.c
--rw-r--r-- fernan sys 5411 Sep 19  2009 GetCPUTime.z.c
--rw-r--r-- fernan sys  105 Sep 19  2009 GetCPUTime_.hc
--rw-r--r-- fernan sys  278 Sep 19  2009 GetCPUTime_.hs
--rw-r--r-- fernan sys  105 Sep 19  2009 GetCPUTime_.p.c
--rw-r--r-- fernan sys  105 Sep 19  2009 GetCPUTime_.z.c
--rw-r--r-- fernan sys  208 Sep 19  2009 Makefile
--rw-r--r-- fernan sys  147 Sep 19  2009 Makefile.inc
--rw-r--r-- fernan sys  399 Sep 19  2009 mkfile