Skip to content

Update to Dune 3.16 and generate opam file#78

Closed
MisterDA wants to merge 1 commit intomasterfrom dune-3

Commits

Commits on Oct 15, 2024