mirage/mirage: PR #1637: Fix OCaml CI

@d7613fa

Stages:

• 🟡 x86_64-debian-13-4.14
• 🟠 arm64-debian-13-4.14
• 🟡 x86_64-debian-13-5.3
• 🟠 arm64-debian-13-5.3
• 🟡 x86_64-debian-13-5.4
• 🟠 arm64-debian-13-5.4

History:

• 05/05/2026 13:39 🟠 @d7613fa