-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 > > One patch is no longer needed as it seemsto have been upstreamed. > > > > Continues to work for me on amd64 (as does CompCert). > > > > ok? > > OK
me too :-D it compiles on amd64, and testing going on... BTW, > > +lib/ocaml/coq/doc/ > > +lib/ocaml/coq/doc/tools/ > > +lib/ocaml/coq/doc/tools/docgram/ docgram directory is empty. it should be removed? or put README.md and other files here? % ls -l /usr/ports/pobj/coq*/coq*/doc/tools/docgram/ total 644 - -rw-r--r-- 1 yozo wheel 8953 May 15 05:29 README.md - -rw-r--r-- 1 yozo wheel 5195 May 15 05:29 common.edit_mlg - -rw-r--r-- 1 yozo wheel 28253 Jul 11 11:22 doc_grammar.cmi - -rw-r--r-- 1 yozo wheel 65776 Jul 11 11:22 doc_grammar.cmo - -rw-r--r-- 1 yozo wheel 57373 May 15 05:29 doc_grammar.ml - -rw-r--r-- 1 yozo wheel 69848 May 15 05:29 fullGrammar - -rw-r--r-- 1 yozo wheel 80158 May 15 05:29 orderedGrammar - -rw-r--r-- 1 yozo wheel 830 May 15 05:29 prodn.edit_mlg - -rw-r--r-- 1 yozo wheel 1088 May 15 05:29 productionlist.edit_mlg % -- yozo. -----BEGIN PGP SIGNATURE----- iQJJBAEBCAAzFiEEP48DGKttLBTWuiCMx2ep6SZGbGQFAl8JNz0VHHlvem9AdjAw Ny52YWlvLm5lLmpwAAoJEMdnqekmRmxkfr4P/0AzCXHxv0qjSeqv/zo76dQ76Lww VhbrS0YN8qI8jEItuWtCRkU7wUeWFx3SeRjx4boVgl9kHPOsgdeKIOZQc4Lehfib 5hNEd1tZmcUM1Lkiu6edJO0op+qTHbsiO3DU1tc+QyTOsjPtr3eHaWt63Y1+mUCr bdfzQitoMkld2b+gaSBj4T7kIYtVxwCBG09ucnnd+VgfeUvqh4AzDDs5ODSHhjmJ Sd02HWoz+yrRoYXrDtjQBofQra+XWdysnZk9W0Kr0NLRvr6bEvzMxqW3YGWr71Dd fgQsDgXSccarI1JwEQ3pyLU/FtL8A6u94V9K8Fa53XquBG8bIOD7bJwCKzoYGcWi +YqDoITQoR/+NYWMkamIn4fyE6bJdL0KXuihARtBhUNNS3eu2NOcpdl/jlvehJPX +CeuB5dmzo1beDcURq/7yU3PFw/25kwnISx2mF9pmDPnEfZVPmizRvFR4WW1w+J6 pqXcwiumcREXZXM7IM5weRymm/d1rJL9bEYCj0+eru3ZWzTGBxGYTJOPQCES5h99 Jp/PaYj5aaCWX+u3iA7HcKTP9ZfX6CNiWStibnkiswGe+lA6HWlHiWDFV1DFATxM uJxqwrhUzc8OXgOve2T9wYRsgVHuSQpiE8z3k695xmjBxrXKdZz6SMJqgfeRPf/P zBOku2BBiiP/4njw =9Ahz -----END PGP SIGNATURE-----