These open pull requests might be duplicates: cbmc 6.3.0 https://github.com/Homebrew/homebrew-core/pull/191209 Duplicate PRs must not be opened. Manually open these PRs if you are sure that they are not duplicates (and tell us that in the PR).