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