The Coq mailing list

[Jason Gross <jasongross9 AT gmail.com>]

I'm not sure; you can check 8.4 at https://github.com/coq/coq/tree/v8.4, and trunk at https://github.com/coq/coq/

On Mon, Oct 20, 2014 at 8:48 PM, Perry E. Metzger <perry AT piermont.com> wrote:

On Mon, 20 Oct 2014 19:01:22 -0400
Jason Gross <jasongross9 AT gmail.com> wrote:
> I believe the recommended work-around is to add spaces in the relevant
> locations, so that "{w|u..." becomes "{ w | u ...".

Has it been patched in the main sources?

Perry

>
> On Mon, Oct 20, 2014 at 6:55 PM, Perry E. Metzger <perry AT piermont.com>
> wrote:
>
> > It appears there are some issues building Coq with a recent OCaml
> > compiler, see:
> >
> > http://caml.inria.fr/mantis/view.php?id=6561
> >
> > Is there a recommended workaround?
> >
> > Perry
> >