pav 2012-03-14 20:11:56 UTC FreeBSD ports repository
Modified files: math/coq Makefile Log: - Mark BROKEN: does not compile OCAMLC pretyping/pretype_errors.mli OCAMLOPT pretyping/pretype_errors.ml File "pretyping/pretype_errors.ml", line 48, characters 4-109: Error: Unbound constructor Stdpp.Exc_located gmake[1]: *** [pretyping/pretype_errors.cmx] Error 2 Reported by: pointyhat Feature safe: yes Revision Changes Path 1.32 +2 -0 ports/math/coq/Makefile _______________________________________________ cvs-all@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/cvs-all To unsubscribe, send any mail to "cvs-all-unsubscr...@freebsd.org"