Fails to build with Coq 8.7

[jwiegley]

I'm seeing the following:

CAMLOPT -pp -c -for-pack Ast_plugin ast.ml4
File "ast.ml4", line 32, characters 26-50:
Error: This expression has type
         Context.Rel.Declaration.t =
           (Constr.constr, Constr.types) Context.Rel.Declaration.pt
       but an expression was expected of type 'a * 'b * 'c

[palmskog]

@jwiegley Thanks a lot for your interest, but this plugin is only compatible with Coq 8.5(.3) for the time being. I hope to update it for Coq 8.7 and the new plugin API during the winter break.