CVSROOT: /cvs Module name: ports Changes by: [email protected] 2020/07/15 20:50:08
Modified files:
math/coq : Makefile distinfo
math/coq/patches: patch-Makefile_ide
Removed files:
math/coq/patches: patch-configure_ml
Log message:
Update to coq 8.11.2; ok Yoza Toda (MAINTAINER)
