Pav Lucistnik b67329949f - 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		2012-03-14 20:11:56 +00:00
..
files
distinfo	Update coq to 8.3.2	2011-04-25 17:48:54 +00:00
Makefile	- Mark BROKEN: does not compile	2012-03-14 20:11:56 +00:00
pkg-descr
pkg-plist