Resolving dependencies...
Configuring mtl-2.2.1...
Configuring call-stack-0.1.0...
Building mtl-2.2.1...
Building call-stack-0.1.0...
Installed call-stack-0.1.0
Configuring old-locale-1.0.0.7...
Building old-locale-1.0.0.7...
Installed old-locale-1.0.0.7
Configuring primitive-0.6.2.0...
Building primitive-0.6.2.0...
Configuring random-1.1...
Installed mtl-2.2.1
Building random-1.1...
Installed random-1.1
Configuring syb-0.6...
Building syb-0.6...
Configuring HUnit-1.5.0.0...
Installed primitive-0.6.2.0
Building HUnit-1.5.0.0...
Configuring old-time-1.1.0.3...
Installed syb-0.6
Building old-time-1.1.0.3...
Configuring tf-random-0.5...
Installed HUnit-1.5.0.0
Building tf-random-0.5...
Installed old-time-1.1.0.3
Installed tf-random-0.5
Configuring QuickCheck-2.9.2...
Building QuickCheck-2.9.2...
Installed QuickCheck-2.9.2
Configuring sbv-2.5...
Building sbv-2.5...
Failed to install sbv-2.5
Build log ( /home/builder/.cabal/logs/sbv-2.5.log ):
cabal: Entering directory '/tmp/cabal-tmp-3375/sbv-2.5'
Configuring sbv-2.5...
Building sbv-2.5...
Preprocessing library sbv-2.5...

Data/SBV/Provers/Prover.hs:14:14: warning:
    -XOverlappingInstances is deprecated: instead use per-instance pragmas OVERLAPPING/OVERLAPPABLE/OVERLAPS
[ 1 of 53] Compiling Data.SBV.Utils.TDiff ( Data/SBV/Utils/TDiff.hs, dist/build/Data/SBV/Utils/TDiff.o )
[ 2 of 53] Compiling Data.SBV.Utils.Lib ( Data/SBV/Utils/Lib.hs, dist/build/Data/SBV/Utils/Lib.o )
[ 3 of 53] Compiling Data.SBV.Utils.Boolean ( Data/SBV/Utils/Boolean.hs, dist/build/Data/SBV/Utils/Boolean.o )
[ 4 of 53] Compiling Data.SBV.BitVectors.AlgReals ( Data/SBV/BitVectors/AlgReals.hs, dist/build/Data/SBV/BitVectors/AlgReals.o )
[ 5 of 53] Compiling Data.SBV.BitVectors.Data ( Data/SBV/BitVectors/Data.hs, dist/build/Data/SBV/BitVectors/Data.o )

Data/SBV/BitVectors/Data.hs:659:39: error:
    • No instance for (Applicative Symbolic)
        arising from the 'deriving' clause of a data type declaration
      Possible fix:
        use a standalone 'deriving instance' declaration,
          so you can specify the instance context yourself
    • When deriving the instance for (Monad Symbolic)
cabal: Leaving directory '/tmp/cabal-tmp-3375/sbv-2.5'
cabal: Error: some packages failed to install:
sbv-2.5 failed during the building phase. The exception was:
ExitFailure 1