Le 22/10/2015 13:14, Pierre-Marie Pédrot a écrit : >> Does this behaviour ring a bell to someone? Isn't it the symptom of a >> bug somewhere? > > Looks like a bug. Coq object files are arch-dependent but should not > vary depending on byte- or native-compilation, as far as I understand. Arch-dependent? Really? What is arch-dependent it them? -- Stéphane