{"push_id":720663133,"size":1,"distinct_size":1,"ref":"refs/heads/v8.5","head":"26911bbc0bb3347c922d12b07a1c2bc34bba3c8d","before":"3a6b08286ac78c674d6d3e3073b38de26a610fdc","commits":[{"sha":"26911bbc0bb3347c922d12b07a1c2bc34bba3c8d","author":{"email":"1d6e1cf70ec6f9ab28d3ea4b27a49a77654d370e@maximedenes.fr","name":"Maxime Dénès"},"message":"Improve semantics of -native-compiler flag.\n\nSince Guillaume's, launching coqtop without -native-compiler and call\nnative_compute would mean recompiling silently all dependencies, even if they\nhad been precompiled (e.g. the stdlib).\n\nThe new semantics is that -native-compiler disables separate compilation of the\ncurrent library, but still tries to load precompiled dependencies. If loading\nfails when the flag is on, coqtop stays silent.","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/26911bbc0bb3347c922d12b07a1c2bc34bba3c8d"}]}