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: May 25 2024 at 20:01 UTC