Hi @Ali Caglayan , can we discuss here about https://github.com/ocaml/dune/pull/5968 to unblock it? (Or over zoom)
I'm unsure what the problem is, as the change to deps is wrong, I feel that maybe there is some misunderstanding on how plugins work on Coq?
Hi @Emilio Jesús Gallego Arias, we can discuss it.
Over zoom would be good I think, since i haven't been able to describe my intention with it so well.
Last updated: Jan 30 2023 at 18:04 UTC