Re: CVS commit: pkgsrc/devel/ocaml-dune

[Thomas Klausner <wiz%netbsd.org@localhost>]

On Sat, Jul 25, 2026 at 10:41:06PM +0100, Alexander Nasonov wrote:
> I don't think I will have enough spare time in the next few weeks
> to work on anything non-trivial. So, it's best to rollback because
> the new version breaks coq build.

I've reverted the ocaml-dune update.

I'd still appreciate a coq -> rocq update :-) so we can update after
all.
 Thomas