daniel aca789d01b update rocq to build coqide again ...

Now that both dune and lablgtk3 have been updated, we can resume building
coqide as part of rocq.

ok MAINTAINER

2026-02-22 20:40:37 +00:00

..

DESCR

…

PFRAG.dynlink-native

…

PFRAG.native

…

PFRAG.no-native

…

PLIST

update rocq to build coqide again

2026-02-22 20:40:37 +00:00