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