Stream: Coq devs & plugin devs

Topic: ✔ dune build woes


view this post on Zulip Ramkumar Ramachandra (Oct 28 2022 at 17:03):

Okay, I'm on dune 3.3 now, and I'm getting the same error :/

view this post on Zulip Ramkumar Ramachandra (Oct 28 2022 at 17:08):

Okay, works with 3.2.

view this post on Zulip Notification Bot (Oct 28 2022 at 18:00):

Ramkumar Ramachandra has marked this topic as resolved.


Last updated: Feb 05 2023 at 20:03 UTC