patch applied (cabal-install): Change the dep resolver interface to pass constraints separately from targets