Resolving dependencies...
Starting     FloatingHex-0.5
Starting     splitmix-0.1.0.1
Starting     hashable-1.3.0.0
Starting     syb-0.7.1
Building     FloatingHex-0.5
Building     splitmix-0.1.0.1
Building     syb-0.7.1
Building     hashable-1.3.0.0
Completed    FloatingHex-0.5
Starting     crackNum-2.4
Building     crackNum-2.4
Completed    splitmix-0.1.0.1
Starting     random-1.2.0
Building     random-1.2.0
Completed    hashable-1.3.0.0
Starting     async-2.2.2
Completed    syb-0.7.1
Building     async-2.2.2
Completed    crackNum-2.4
Completed    async-2.2.2
Completed    random-1.2.0
Starting     QuickCheck-2.14.1
Building     QuickCheck-2.14.1
Completed    QuickCheck-2.14.1
Starting     sbv-8.8
Building     sbv-8.8
Completed    sbv-8.8
Starting     sbvPlugin-0.12
Building     sbvPlugin-0.12
Failed to install sbvPlugin-0.12
Build log ( /home/builder/.cabal/logs/ghc-8.6.3/sbvPlugin-0.12-4AJJR6KbQ90Ai5vWsffAuN.log ):
cabal: Entering directory '/tmp/cabal-tmp-553/sbvPlugin-0.12'
Configuring sbvPlugin-0.12...
Preprocessing library for sbvPlugin-0.12..
Building library for sbvPlugin-0.12..
[ 1 of 10] Compiling Data.SBV.Plugin.Data ( Data/SBV/Plugin/Data.hs, dist/build/Data/SBV/Plugin/Data.o )
[ 2 of 10] Compiling Data.SBV.Plugin.Common ( Data/SBV/Plugin/Common.hs, dist/build/Data/SBV/Plugin/Common.o )
[ 3 of 10] Compiling Data.SBV.Plugin.Analyze ( Data/SBV/Plugin/Analyze.hs, dist/build/Data/SBV/Plugin/Analyze.o )

Data/SBV/Plugin/Analyze.hs:230:32: error:
    Not in scope: data constructor ‘LitChar’
    Perhaps you meant one of these:
      variable ‘getChar’ (imported from Prelude),
      variable ‘putChar’ (imported from Prelude),
      variable ‘S.isChar’ (imported from Data.SBV.Internals)
    |
230 |                                LitChar{}         -> unint
    |                                ^^^^^^^

Data/SBV/Plugin/Analyze.hs:232:32: error:
    Not in scope: data constructor ‘LitNullAddr’
    |
232 |                                LitNullAddr{}     -> unint
    |                                ^^^^^^^^^^^

Data/SBV/Plugin/Analyze.hs:233:32: error:
    Not in scope: data constructor ‘LitRubbish’
    |
233 |                                LitRubbish{}      -> unint
    |                                ^^^^^^^^^^

Data/SBV/Plugin/Analyze.hs:234:32: error:
    Not in scope: data constructor ‘LitLabel’
    |
234 |                                LitLabel{}        -> unint
    |                                ^^^^^^^^

Data/SBV/Plugin/Analyze.hs:235:32: error:
    Not in scope: data constructor ‘LitFloat’
    Perhaps you meant variable ‘S.isFloat’ (imported from Data.SBV.Internals)
    |
235 |                                LitFloat    f     -> return $ Base $ S.svFloat   (fromRational f)
    |                                ^^^^^^^^

Data/SBV/Plugin/Analyze.hs:236:32: error:
    Not in scope: data constructor ‘LitDouble’
    Perhaps you meant variable ‘S.isDouble’ (imported from Data.SBV.Internals)
    |
236 |                                LitDouble   d     -> return $ Base $ S.svDouble  (fromRational d)
    |                                ^^^^^^^^^
cabal: Leaving directory '/tmp/cabal-tmp-553/sbvPlugin-0.12'
cabal: Error: some packages failed to install:
sbvPlugin-0.12-4AJJR6KbQ90Ai5vWsffAuN failed during the building phase. The
exception was:
ExitFailure 1