{"push_id":689130418,"size":1,"distinct_size":1,"ref":"refs/heads/Why3","head":"ab7d698e1c8314d13718a3c07f5cc05bc6bd4d2c","before":"32d9b77560520ab32b2293e2dfdcf4c272929e76","commits":[{"sha":"ab7d698e1c8314d13718a3c07f5cc05bc6bd4d2c","author":{"email":"85f622f27e84f6cb2b58601332ae20395287e44e@lri.fr","name":"Jean-Christophe Filliatre"},"message":"some missing invariants, updated proofs","distinct":true,"url":"https://api.github.com/repos/hivert/Coq-Combi/commits/ab7d698e1c8314d13718a3c07f5cc05bc6bd4d2c"}]}