The Coq mailing list

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

Le 07/11/2018 à 08:18, Frédéric Blanqui a écrit :
> Hello. I got the same problem with CoLoR but not with coq-bignums. See 
> https://github.com/fblanqui/color/issues/12. Why do we have to disable 
> sandboxing? Is it a bug in opam?

For Flocq, the opam issue is https://github.com/ocaml/opam/issues/3659

I don't think Color suffers from the same issue, but the fix might 
actually turn out to be the same.

Best regards,

Guillaume