Resolving dependencies...
Downloading sat-1.1.1...
[1 of 1] Compiling Main             ( /tmp/sat-1.1.1-6237/sat-1.1.1/Setup.lhs, /tmp/sat-1.1.1-6237/sat-1.1.1/dist/setup/Main.o )
Linking /tmp/sat-1.1.1-6237/sat-1.1.1/dist/setup/setup ...
Configuring sat-1.1.1...
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.1.1...
Preprocessing executable 'SATSolve' for sat-1.1.1...

SATSolver.hs:26:8:
    Could not find module `System.Random'
    It is a member of the hidden package `random-1.0.1.1'.
    Perhaps you need to add `random' to the build-depends in your .cabal file.
    Use -v to see a list of the files searched for.
Failed to install sat-1.1.1
cabal: Error: some packages failed to install:
sat-1.1.1 failed during the building phase. The exception was:
ExitFailure 1