Resolving dependencies...
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...
Haddock coverage:
  60% (  3 /  5) in 'Language.CNF.Parse.ParseDIMACS'
Documentation created: dist/doc/html/parse-dimacs/index.html
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/parse-dimacs-1.3
Registering parse-dimacs-1.3...
Installed parse-dimacs-1.3
Downloading sat-micro-hs-0.1...
Configuring sat-micro-hs-0.1...
Building sat-micro-hs-0.1...
Preprocessing executable 'sat-micro' for sat-micro-hs-0.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
cabal: Error: some packages failed to install:
sat-micro-hs-0.1 failed during the building phase. The exception was:
ExitFailure 1