CVSROOT: /cvs Module name: ports Changes by: [email protected] 2025/05/08 19:33:34
Modified files:
math : Makefile
devel/quirks : Makefile
devel/quirks/files: Quirks.pm
lang/compcert : Makefile
Log message:
adapt for the rename of coq to rocq
ok sthen@
