/sources/contrib/fernan/nhc98/tests/nofib/spectral/clausify/
      5149 2009-09-19 Main.hs
        42 2009-09-19 clausify.stdout