Pull requests to close

These open update PRs should be closed. A PR is obsolete when nixpkgs already has the same version or a newer one. A PR is a duplicate when another open PR of the same package wins by fixed rules. The list shows the oldest PR first. Copy the comment, open the PR on GitHub and paste it. Only the author of a PR, a committer or a member of the Triage team can close it: if you are none of them, the comment is enough. You can say you can close PRs in Personalize at the top.