Resolving dependencies...
Configuring random-1.1...
Building random-1.1...
Preprocessing library random-1.1...
[1 of 1] Compiling System.Random    ( System/Random.hs, dist/build/System/Random.o )
In-place registering random-1.1...
Running Haddock for random-1.1...
Running hscolour for random-1.1...
Preprocessing library random-1.1...
Preprocessing library random-1.1...
Haddock coverage:
Cannot find documentation for: $intro
 100% ( 16 / 16) in 'System.Random'
Documentation created: dist/doc/html/random/index.html,
dist/doc/html/random/random.txt
Creating package registration file: /tmp/pkgConf-random-130296.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/random-1.1
Registering random-1.1...
Installed random-1.1
Downloading PropLogic-0.9.0.3...
Configuring PropLogic-0.9.0.3...
Building PropLogic-0.9.0.3...
Preprocessing library PropLogic-0.9.0.3...
[1 of 8] Compiling Costack          ( Costack.hs, dist/build/Costack.o )
[2 of 8] Compiling Olist            ( Olist.hs, dist/build/Olist.o )
[3 of 8] Compiling TextDisplay      ( TextDisplay.hs, dist/build/TextDisplay.o )
[4 of 8] Compiling PropLogicCore    ( PropLogicCore.hs, dist/build/PropLogicCore.o )
[5 of 8] Compiling DefaultPropLogic ( DefaultPropLogic.hs, dist/build/DefaultPropLogic.o )
[6 of 8] Compiling FastPropLogic    ( FastPropLogic.hs, dist/build/FastPropLogic.o )
[7 of 8] Compiling PropLogicTest    ( PropLogicTest.hs, dist/build/PropLogicTest.o )
[8 of 8] Compiling PropLogic        ( PropLogic.hs, dist/build/PropLogic.o )
In-place registering PropLogic-0.9.0.3...
Preprocessing executable 'program' for PropLogic-0.9.0.3...

PropLogicTest.hs:248:10:
    Could not find module ‘Data.Ratio’
    It is a member of the hidden package ‘base’.
    Perhaps you need to add ‘base’ to the build-depends in your .cabal file.
    It is a member of the hidden package ‘haskell2010-1.1.2.0’.
    Perhaps you need to add ‘haskell2010’ to the build-depends in your .cabal file.
    Use -v to see a list of the files searched for.

PropLogicTest.hs:249:10:
    Could not find module ‘System.Random’
    It is a member of the hidden package ‘random-1.1’.
    Perhaps you need to add ‘random’ to the build-depends in your .cabal file.
    Use -v to see a list of the files searched for.

PropLogicTest.hs:250:10:
    Could not find module ‘Control.Monad’
    It is a member of the hidden package ‘base’.
    Perhaps you need to add ‘base’ to the build-depends in your .cabal file.
    It is a member of the hidden package ‘haskell2010-1.1.2.0’.
    Perhaps you need to add ‘haskell2010’ to the build-depends in your .cabal file.
    Use -v to see a list of the files searched for.

PropLogicTest.hs:251:10:
    Could not find module ‘System.CPUTime’
    It is a member of the hidden package ‘base’.
    Perhaps you need to add ‘base’ to the build-depends in your .cabal file.
    Use -v to see a list of the files searched for.

PropLogicTest.hs:252:20:
    Could not find module ‘System.Time’
    It is a member of the hidden package ‘old-time-1.1.0.2’.
    Perhaps you need to add ‘old-time’ to the build-depends in your .cabal file.
    Use -v to see a list of the files searched for.

TextDisplay.hs:160:20:
    Could not find module ‘Data.Char’
    It is a member of the hidden package ‘base’.
    Perhaps you need to add ‘base’ to the build-depends in your .cabal file.
    It is a member of the hidden package ‘haskell2010-1.1.2.0’.
    Perhaps you need to add ‘haskell2010’ to the build-depends in your .cabal file.
    Use -v to see a list of the files searched for.

TextDisplay.hs:161:20:
    Could not find module ‘Data.List’
    It is a member of the hidden package ‘base’.
    Perhaps you need to add ‘base’ to the build-depends in your .cabal file.
    It is a member of the hidden package ‘haskell2010-1.1.2.0’.
    Perhaps you need to add ‘haskell2010’ to the build-depends in your .cabal file.
    Use -v to see a list of the files searched for.

Main.hs:1:1:
    Could not find module ‘Prelude’
    It is a member of the hidden package ‘base’.
    Perhaps you need to add ‘base’ to the build-depends in your .cabal file.
    It is a member of the hidden package ‘haskell98-2.0.0.3’.
    Perhaps you need to add ‘haskell98’ to the build-depends in your .cabal file.
    It is a member of the hidden package ‘haskell2010-1.1.2.0’.
    Perhaps you need to add ‘haskell2010’ to the build-depends in your .cabal file.
    Use -v to see a list of the files searched for.

Main.hs:11:10:
    Could not find module ‘System.Environment’
    It is a member of the hidden package ‘base’.
    Perhaps you need to add ‘base’ to the build-depends in your .cabal file.
    It is a member of the hidden package ‘haskell2010-1.1.2.0’.
    Perhaps you need to add ‘haskell2010’ to the build-depends in your .cabal file.
    Use -v to see a list of the files searched for.
Failed to install PropLogic-0.9.0.3
cabal: Error: some packages failed to install:
PropLogic-0.9.0.3 failed during the building phase. The exception was:
ExitFailure 1