Instead of keeping the dune file in a fork
@Roland Coeurjoly not yet as we depend on an unreleased Dune version, moreover, we need to add one more feature to Dune so dune files are actually usable upstream. (Namely support for dune build -p
for Coq packages)
Last updated: Dec 06 2023 at 13:01 UTC