CVSROOT: /cvs Module name: ports Changes by: dan...@cvs.openbsd.org 2014/11/17 19:00:52
Modified files:
math/coq : Makefile distinfo
Removed files:
math/coq/patches: patch-kernel_univ_ml patch-test-suite-Makefile
Log message:
coq update from chrisz@ and nigel@ by way of Yozo Toda (MAINTAINER).
using dpb, sthen@ discovered that having latex around at config time
but not at build time will cause the coq build to fail because
latex is not listed as a BDEP. Fix this as well.
