The Coq mailing list

[Leonardo Rodriguez <leonardomatiasrodriguez AT gmail.com>]

Hi Club,

I'm trying to install Ssreflect 1.5 in Coq 8.5pl5 (development version). I have

installed Ocaml 3.12.1 and Camlp5 6.06.

I got an error message after doing "make" in the ssreflect folder.

File "src/ssrmatching.mli", line 76, characters 14-34:
Error: Unbound type constructor glob_constr_and_expr
make[1]: *** [src/ssrmatching.cmi] Error 2

Any hint will be appreciated. Thank you in advance.