cvs commit: ports/math/coq Makefile
Pav Lucistnik
pav at FreeBSD.org
Wed Mar 14 20:11:56 UTC 2012
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
More information about the cvs-all
mailing list