Resolving dependencies...
[1 of 1] Compiling Main             ( /tmp/cabal-tmp-10235/sat-1.0/dist/setup/setup.hs, /tmp/cabal-tmp-10235/sat-1.0/dist/setup/Main.o )
Linking /tmp/cabal-tmp-10235/sat-1.0/dist/setup/setup ...
Configuring sat-1.0...
Warning: No 'build-type' specified. If you do not need a custom Setup.hs or
./configure script then use 'build-type: Simple'.
Building sat-1.0...
Preprocessing executable 'SATSolve' for sat-1.0...

SATSolver.hs:26:8:
    Could not find module ‘System.Random’
    Use -v to see a list of the files searched for.
Failed to install sat-1.0
cabal: Error: some packages failed to install:
sat-1.0 failed during the building phase. The exception was:
ExitFailure 1