Fix for GHC module renaming
[nofib.git] / spectral / clausify /
drwxr-xr-x   ..
-rw-r--r-- 5295 Main.hs
-rw-r--r-- 136 Makefile
-rw-r--r-- 402 clausify.faststdout
-rw-r--r-- 14070 clausify.slowstdout
-rw-r--r-- 2814 clausify.stdout