cvs commit: ports/math/coq Makefile ports/math/coq/files
patch-camlp5-6-compat
Johan van Selst
johans at FreeBSD.org
Fri Dec 10 17:23:11 UTC 2010
johans 2010-12-10 17:23:11 UTC
FreeBSD ports repository
Modified files:
math/coq Makefile
Added files:
math/coq/files patch-camlp5-6-compat
Log:
Fix build with new ocaml preprocessor (patch from upstream)
Reported by: pointyhat via pav
Revision Changes Path
1.26 +1 -0 ports/math/coq/Makefile
1.1 +77 -0 ports/math/coq/files/patch-camlp5-6-compat (new)
More information about the cvs-ports
mailing list