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)
_______________________________________________
[email protected] mailing list
http://lists.freebsd.org/mailman/listinfo/cvs-all
To unsubscribe, send any mail to "[email protected]"
