Re: [patch] math/coq 8.11.1 -> 8.11.2

2020-07-11 Thread Yozo TODA
-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

Re: [patch] math/coq 8.11.1 -> 8.11.2

2020-07-10 Thread Daniel Dickman
> 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

Re: [patch] math/coq 8.11.1 -> 8.11.2

2020-07-10 Thread Yozo TODA
-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

Re: [patch] math/coq 8.11.1 -> 8.11.2

2020-07-10 Thread Paul Irofti
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 >

[patch] math/coq 8.11.1 -> 8.11.2

2020-07-07 Thread Daniel Dickman
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