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

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.1
cabal: Error: some packages failed to install:
beautifHOL-0.1 failed during the building phase. The exception was:
ExitFailure 1