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: Oct 13 2024 at 01:02 UTC