Skip to content

Comments

fix(opam): add pin-depends for ppx_forbid and dev-repo field#119

Merged
mathiasbourgoin merged 1 commit intomainfrom
fix/add-ppx-forbid-pin-depends
Feb 19, 2026
Merged

fix(opam): add pin-depends for ppx_forbid and dev-repo field#119
mathiasbourgoin merged 1 commit intomainfrom
fix/add-ppx-forbid-pin-depends

Commits

Commits on Feb 19, 2026