Update dependency platforms to v0.0.11

[renovate]

This PR contains the following updates:

Package	Type	Update	Change
platforms	bazel_dep	patch	0.0.10 → 0.0.11
platforms	http_archive	patch	0.0.10 → 0.0.11

---

Warning

Some dependencies could not be looked up. Check the Dependency Dashboard for more information.

---

Release Notes

bazelbuild/platforms (platforms)

v0.0.11

Compare Source

What's Changed

• Mark extension as reproducible by @​fmeum in #​92
• Mark host_platform_repo rule as local by @​meteorcloudy in #​94
• Add uefi os constraint by @​amari in #​97
• Various cleanups by @​katre in #​101
• Properly translate ppc64le by @​Jenkins-J in #​105

New Contributors

• @​fmeum made their first contribution in #​92
• @​amari made their first contribution in #​97
• @​Jenkins-J made their first contribution in #​105

WORKSPACE setup

load("@​bazel_tools//tools/build_defs/repo:http.bzl", "http_archive")
http_archive(
    name = "platforms",
    urls = [
        "https://mirror.bazel.build/github.com/bazelbuild/platforms/releases/download/0.0.11/platforms-0.0.11.tar.gz",
        "https://github.com/bazelbuild/platforms/releases/download/0.0.11/platforms-0.0.11.tar.gz",
    ],
    sha256 = "29742e87275809b5e598dc2f04d86960cc7a55b3067d97221c9abbc9926bff0f",
)

Full Changelog: bazelbuild/platforms@0.0.10...0.0.11

---

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about these updates again.

---

• If you want to rebase/retry this PR, check this box

---

This PR was generated by Mend Renovate. View the repository job log.

[tweag-ev-ak]

@Mergifyio queue

[mergify]

Merge Queue Status

• ✅ Entered queue — 2026-04-07 14:50 UTC · Rule: default
• ✅ Checks passed · on draft merge queue: embarking master (e7312fa), #692 and #638 together #701
• ✅ Merged — 2026-04-07 15:25 UTC · at 7c5faeadc1aeb4c875d7f0cfe7ef75259d18452b

This pull request spent 35 minutes 30 seconds in the queue, including 32 minutes 59 seconds running CI.

Required conditions to merge

• #approved-reviews-by >= 1 [🛡 GitHub branch protection]
  • Update dependency platforms to v0.0.11 #638
• #changes-requested-reviews-by = 0 [🛡 GitHub branch protection]
  • Update dependency platforms to v0.0.11 #638
• check-success~=Build & Test - Examples \(.*\)
• check-success~=Build & Test - Nixpkgs - .*
• any of [🛡 GitHub branch protection]:
  • check-success = all_ci_tests
  • check-neutral = all_ci_tests
  • check-skipped = all_ci_tests