CVSROOT: /cvs
Module name: ports
Changes by: [email protected] 2025/05/25 10:23:12
Modified files:
math/rocq : Makefile distinfo
math/rocq/pkg : DESCR PFRAG.dynlink-native PFRAG.native
PFRAG.no-native PLIST
Removed files:
math/rocq/patches: patch-Makefile_ide patch-Makefile_make
Log message:
update rocq to 8.20.1
A newer rocq/coq version is needed for the next version of CompCert. Joint
work with Yozo Toda (MAINTAINER).
This update loses coqide until it can be repaired and future updates of
rocq will need dune 3.8.3+.
ok MAINTAINER
