Resolving dependencies... Starting hashable-1.3.1.0 Starting splitmix-0.1.0.3 Starting syb-0.7.2.1 Building hashable-1.3.1.0 Building syb-0.7.2.1 Building splitmix-0.1.0.3 Completed splitmix-0.1.0.3 Starting random-1.2.0 Building random-1.2.0 Completed hashable-1.3.1.0 Starting libBF-0.6.2 Starting unordered-containers-0.2.13.0 Completed syb-0.7.2.1 Starting async-2.2.3 Building unordered-containers-0.2.13.0 Building libBF-0.6.2 Building async-2.2.3 Completed async-2.2.3 Completed random-1.2.0 Starting QuickCheck-2.14.2 Building QuickCheck-2.14.2 Completed libBF-0.6.2 Completed unordered-containers-0.2.13.0 Starting uniplate-1.6.13 Building uniplate-1.6.13 Completed uniplate-1.6.13 Completed QuickCheck-2.14.2 Starting sbv-8.13 Building sbv-8.13 Completed sbv-8.13 Starting sbvPlugin-9.0.1 Building sbvPlugin-9.0.1 Failed to install sbvPlugin-9.0.1 Build log ( /home/builder/.cabal/logs/ghc-8.10.2/sbvPlugin-9.0.1-LPIN6pSvbyt60Aygrsx5HB.log ): cabal: Entering directory '/tmp/cabal-tmp-14622/sbvPlugin-9.0.1' Configuring sbvPlugin-9.0.1... Preprocessing library for sbvPlugin-9.0.1.. Building library for sbvPlugin-9.0.1.. [ 1 of 10] Compiling Data.SBV.Plugin.Data ( Data/SBV/Plugin/Data.hs, dist/build/Data/SBV/Plugin/Data.o, dist/build/Data/SBV/Plugin/Data.dyn_o ) [ 2 of 10] Compiling Data.SBV.Plugin.Common ( Data/SBV/Plugin/Common.hs, dist/build/Data/SBV/Plugin/Common.o, dist/build/Data/SBV/Plugin/Common.dyn_o ) Data/SBV/Plugin/Common.hs:21:1: error: Could not find module ‘GHC.Plugins’ Perhaps you meant GhcPlugins (from ghc-8.10.2) Use -v (or `:set -v` in ghci) to see a list of the files searched for. | 21 | import GHC.Plugins | ^^^^^^^^^^^^^^^^^^ Data/SBV/Plugin/Common.hs:23:1: error: Could not find module ‘GHC.Types.CostCentre’ Use -v (or `:set -v` in ghci) to see a list of the files searched for. | 23 | import GHC.Types.CostCentre | ^^^^^^^^^^^^^^^^^^^^^^^^^^^ Data/SBV/Plugin/Common.hs:24:1: error: Could not find module ‘GHC.Types.Unique’ Use -v (or `:set -v` in ghci) to see a list of the files searched for. | 24 | import GHC.Types.Unique (nonDetCmpUnique) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ cabal: Leaving directory '/tmp/cabal-tmp-14622/sbvPlugin-9.0.1' cabal: Error: some packages failed to install: sbvPlugin-9.0.1-LPIN6pSvbyt60Aygrsx5HB failed during the building phase. The exception was: ExitFailure 1