I've implemented a single coqdep call per theory, which shoud improve the build times of Dune builds: https://github.com/ocaml/dune/pull/7048
Last updated: Oct 13 2024 at 01:02 UTC