Resolving dependencies...
Downloading beautifHOL-0.11...
Configuring beautifHOL-0.11...
Building beautifHOL-0.11...
Preprocessing executable 'beautifHOL' for beautifHOL-0.11...

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