Stream: Coq Universe

Topic: Should we create PR adding dune files to each submodule?


view this post on Zulip Roland Coeurjoly (Jun 08 2022 at 19:51):

Instead of keeping the dune file in a fork

view this post on Zulip Emilio Jesús Gallego Arias (Jun 08 2022 at 20:54):

@Roland Coeurjoly not yet as we depend on an unreleased Dune version, moreover, we need to add one more feature to Dune so dune files are actually usable upstream. (Namely support for dune build -p for Coq packages)


Last updated: Feb 06 2023 at 05:03 UTC