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

Thomas Klausner <[email protected]> Sat, 25 Jul 2026 22:25:57 +0200

Newsgroups	gmane.os.netbsd.devel.pkgsrc.cvs
Message-ID	<[email protected]>

On Sat, Jul 25, 2026 at 05:46:24PM +0100, Alexander Nasonov wrote:
> This may break some packages. Do you plan to update coq (versions 8.xxx)
> to rocq (versions 9.xxx)?

No, I have no plans for that. Are you interested in working on this?

Otherwise we can roll back the update for now.
 Thomas

lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.