CVSROOT: /cvs
Module name: ports
Changes by: [email protected] 2025/05/08 19:31:41
Log message:
reimport math/coq as math/rocq due to the upstream project's name change
ok sthen@
Status:
Vendor Tag: daniel
Release Tags: daniel_20250508
N ports/math/rocq/Makefile
N ports/math/rocq/distinfo
N ports/math/rocq/patches/patch-Makefile_ide
N ports/math/rocq/patches/patch-Makefile_make
N ports/math/rocq/pkg/DESCR
N ports/math/rocq/pkg/PLIST
N ports/math/rocq/pkg/PFRAG.dynlink-native
N ports/math/rocq/pkg/PFRAG.native
N ports/math/rocq/pkg/PFRAG.no-native
No conflicts created by this import
