-BEGIN PGP SIGNED MESSAGE-
Hash: SHA256
> >>> +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?
aha, docgram files are for generating documentat
> On Jul 10, 2020, at 11:55 PM, Yozo TODA wrote:
>
> -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
Thanks. Will c
-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
On Tue, Jul 07, 2020 at 06:40:03PM -0400, Daniel Dickman wrote:
> Here's a minor update for coq.
>
> One patch is no longer needed as it seemsto have been upstreamed.
>
> Continues to work for me on amd64 (as does CompCert).
>
> ok?
OK
>
>
> Index: Makefile
>
Here's a minor update for coq.
One patch is no longer needed as it seemsto have been upstreamed.
Continues to work for me on amd64 (as does CompCert).
ok?
Index: Makefile
===
RCS file: /cvs/ports/math/coq/Makefile,v
retrieving rev