Follow

There are some activities in the repository regarding support

github.com/ocaml/dune/pulls?q=

Compositional builds for Coq theories is really a feature I need, can’t wait to see it merged and released

Sign in to participate in the conversation
Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!