CVSROOT: /cvs Module name: ports Changes by: [email protected] 2015/06/19 15:25:32
Modified files:
math/coq : Makefile distinfo
math/coq/patches: patch-configure
math/coq/pkg : PFRAG.dynlink-native PLIST
Log message:
Update to coq 8.4pl6; ok Yozo (MAINTAINER), sthen@
