{"push_id":601251460,"size":1,"distinct_size":1,"ref":"refs/heads/v8.3","head":"496daf59ed99ca432b463a0eb381ef8ed4eff9c3","before":"36f72bd50a0f899c797beff913940b316d102e1e","commits":[{"sha":"496daf59ed99ca432b463a0eb381ef8ed4eff9c3","author":{"email":"1a340065606634b575ed162e9c434c27fe24a7c3@spiwack.net","name":"Arnaud Spiwack"},"message":"Fix compilation with forthcoming Ocaml version 4.03.\n\nPatch by Pierre Chambart, with the following comment:\n\n * OCaml runtime header files used to declare the int32, uint32, int64\nand uint64 type. That got removed, and uses of those types should be replaced by the standard ones: uint32_t, int32_t, int64_t, uint64_t. Those are defined in stdint.h.\n* OCaml now forbid declaring two exceptions with the same name in a compilation unit.\n\n(Trivial) backport from the v8.4 patch.","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/496daf59ed99ca432b463a0eb381ef8ed4eff9c3"}]}