Resolving dependencies...
Downloading PropLogic-0.9...
Configuring PropLogic-0.9...
Building PropLogic-0.9...
Preprocessing library PropLogic-0.9...

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