CVSROOT: /cvs Module name: ports Changes by: [email protected] 2026/02/22 13:40:37
Modified files:
math/rocq : Makefile
math/rocq/pkg : PLIST
Log message:
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
