The Coq mailing list

[Guillaume Melquiond <guillaume.melquiond AT inria.fr>]

On 18/08/2015 17:10, Christoph-Simon Senjak wrote:

> > > I am trying to use Native-Coq to compile some of my code, and it ...
> > > sometimes ... works, and sometimes it doesn't, with no apparent reason.

> I cloned from https://github.com/maximedenes/native-coq.git, commit
> 7f6f7379b76c9c6240ab8083960a6531efa301c8 (which is the current one).

Unless you have a reason to use such an outdated fork, I suggest using 
Coq itself. The 8.5 branch (and all the 8.5 betas) contains this 
native_compute mechanism.

Best regards,

Guillaume