Resolving dependencies...
Downloading parse-dimacs-1.3...
Configuring parse-dimacs-1.3...
Building parse-dimacs-1.3...
Preprocessing library parse-dimacs-1.3...
[1 of 1] Compiling Language.CNF.Parse.ParseDIMACS ( Language/CNF/Parse/ParseDIMACS.hs, dist/build/Language/CNF/Parse/ParseDIMACS.o )
In-place registering parse-dimacs-1.3...
Running Haddock for parse-dimacs-1.3...
Running hscolour for parse-dimacs-1.3...
Preprocessing library parse-dimacs-1.3...
Preprocessing library parse-dimacs-1.3...
Warning: The documentation for the following packages are not installed. No
links will be generated to these packages: rts-1.0, mtl-2.1.2, parsec-3.1.3,
text-0.11.2.3, transformers-0.3.0.0
Haddock coverage:
  60% (  3 /  5) in 'Language.CNF.Parse.ParseDIMACS'
Warning: Language.CNF.Parse.ParseDIMACS: could not find link destinations for:
    Text.Parsec.Pos.SourceName Text.Parsec.Error.ParseError
Documentation created: dist/doc/html/parse-dimacs/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/parse-dimacs-1.3/ghc-7.6.3
Registering parse-dimacs-1.3...
Installed parse-dimacs-1.3
Downloading sat-micro-hs-0.1.1...
Configuring sat-micro-hs-0.1.1...
Building sat-micro-hs-0.1.1...
Preprocessing executable 'sat-micro' for sat-micro-hs-0.1.1...

Main.hs:1:1:
    Ambiguous module name `Prelude':
      it was found in multiple packages: base haskell98-2.0.0.2
Failed to install sat-micro-hs-0.1.1
cabal: Error: some packages failed to install:
sat-micro-hs-0.1.1 failed during the building phase. The exception was:
ExitFailure 1