On 10/11/2017 11:08, Frédéric Blanqui wrote: > Why don't you specify in opam that why3 0.88.1 is not compatible with > coq 8.7?
I am not sure to fully understand the question, so let me just say that, had I been aware of the Coq 8.7 opam issue at the time I released Why3 0.88.1 and published the opam packages, I would have delayed the release to fix the issue. Best regards, Guillaume _______________________________________________ Why3-club mailing list Why3-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/why3-club