CVSROOT: /cvs Module name: ports Changes by: st...@cvs.openbsd.org 2013/11/08 16:11:48
Modified files:
math/coq : Makefile distinfo
math/coq/patches: patch-Makefile_build patch-test-suite-Makefile
math/coq/pkg : PLIST
Removed files:
math/coq/patches: patch-scripts_coqmktop_ml
Log message:
update to coq 8.4pl2, from Daniel Dickman, ok Yozo TODA (maintainer)
