pin-depends: [
  ["dune.3.22.0" "git+https://github.com/jonludlam/dune.git#odoc-v3-rules-3.22.0"]
]