Update cabal file to run specifications