{"push_id":958664613,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"811482b4e34b7a3646dd9c914b26435ea6939f20","before":"349b521c1e6137138679a53eb40b601f07bf1296","commits":[{"sha":"811482b4e34b7a3646dd9c914b26435ea6939f20","author":{"email":"994114450af8c3d2bb3099b18334c7124ffd93e3@inria.fr","name":"Claude Marche"},"message":"Why3 version 0.86.2 and before are not compatible with menhir 2015","distinct":true,"url":"https://api.github.com/repos/claudemarche/opam-repository/commits/811482b4e34b7a3646dd9c914b26435ea6939f20"}]}