Stream: Dune devs & users

Topic: Single coqdep call for theories

view this post on Zulip Ali Caglayan (Feb 12 2023 at 01:34):

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: Jun 03 2023 at 17:29 UTC