Skip to content

bump to Dune 3.5 or later and Dune-Coq 0.6#19

Merged
palmskog merged 2 commits intomasterfrom dune-0.6Jul 24, 2024

Commits

Commits on Jul 24, 2024