{"push_id":878691631,"size":1,"distinct_size":1,"ref":"refs/heads/coq8.5","head":"69e01788613728410770186ad56c468abc16dca0","before":"2cd3da1b1a10ba854cce69e24890e4cf8e87a624","commits":[{"sha":"69e01788613728410770186ad56c468abc16dca0","author":{"email":"1624024fb6390a5e97bb68f7f92e643ee234cd37@gmail.com","name":"Valentin Robert"},"message":"added CLambdaN, switching computer, bug to be fixed","distinct":true,"url":"https://api.github.com/repos/Ptival/PeaCoq/commits/69e01788613728410770186ad56c468abc16dca0"}]}