Resolving dependencies...
Downloading sequent-core-0.2.0.0...
Configuring sequent-core-0.2.0.0...
Building sequent-core-0.2.0.0...
Preprocessing library sequent-core-0.2.0.0...

src/Language/SequentCore/Simpl.hs:21:8:
    Could not find module ‘Language.SequentCore.Util’
    Use -v to see a list of the files searched for.
Failed to install sequent-core-0.2.0.0
cabal: Error: some packages failed to install:
sequent-core-0.2.0.0 failed during the building phase. The exception was:
ExitFailure 1