Le 19/02/2020 à 09:06, Ralf Treinen a écrit : > - coq does not build on all architectures, and the situation for building > coq has become worse starting with 8.11. Menhir however is a parser > generator, like bison, and should be available on all architectures. Could you elaborate? What makes coq 8.11 so much worse w.r.t portability? Cheers, -- Stéphane