CVSROOT: /cvs Module name: ports Changes by: [email protected] 2025/05/25 10:24:07
Removed files:
math/coq : Makefile distinfo
math/coq/patches: patch-Makefile_ide patch-Makefile_make
math/coq/pkg : DESCR PFRAG.dynlink-native PFRAG.native
PFRAG.no-native PLIST
Log message:
Final cleanup of math/coq which was renamed to math/rocq
