Error

two or more packages specified (haskell-what4-utils unknown)