I did a translation of the CoqHammer makefile build(s) to Dune: https://github.com/lukaszcz/coqhammer/pull/82/files -- any comments welcome if this is reasonable/idiomatic.
Last updated: Mar 29 2024 at 09:02 UTC