More precise cabal bounds