/sources/contrib/fernan/nhc98/docs/bugs/
      1488 2009-09-19 README
      1737 2009-09-19 badsqrt.hs
       216 2009-09-19 nhc13test1.hs
       214 2009-09-19 nhc13test10.hs
       195 2009-09-19 nhc13test11.hs
      1035 2009-09-19 nhc13test12.hs
       513 2009-09-19 nhc13test13.hs
       623 2009-09-19 nhc13test14.hs
       330 2009-09-19 nhc13test15.hs
       257 2009-09-19 nhc13test16.hs
       220 2009-09-19 nhc13test17.hs
       296 2009-09-19 nhc13test18.hs
        69 2009-09-19 nhc13test19.hs
       467 2009-09-19 nhc13test2.hs
       218 2009-09-19 nhc13test20.hs
      1984 2009-09-19 nhc13test3.hs
        47 2009-09-19 nhc13test30.hs
        50 2009-09-19 nhc13test31.hs
        56 2009-09-19 nhc13test32.hs
       398 2009-09-19 nhc13test4.hs
       911 2009-09-19 nhc13test5.hs
      1268 2009-09-19 nhc13test6.hs
       483 2009-09-19 nhc13test7.hs
       566 2009-09-19 nhc13test8.hs
       770 2009-09-19 nhc13test9.hs
       359 2009-09-19 nhc98test19.hs
       231 2009-09-19 nhc98test20.hs
       341 2009-09-19 nhc98test21.hs
       599 2009-09-19 nhc98test22.hs
       472 2009-09-19 nhc98test23.hs