{"push_id":874326655,"size":2,"distinct_size":2,"ref":"refs/heads/coq8.5","head":"b19fa8614b44706d6f5889603ee784243c8b4644","before":"6e4d5b4c74c8984b4079b8113d5771e43911248f","commits":[{"sha":"60e1a23deb668947ea181b828e6c3143862a8d86","author":{"email":"1624024fb6390a5e97bb68f7f92e643ee234cd37@gmail.com","name":"Valentin Robert"},"message":"pattern for exists","distinct":true,"url":"https://api.github.com/repos/Ptival/PeaCoq/commits/60e1a23deb668947ea181b828e6c3143862a8d86"},{"sha":"b19fa8614b44706d6f5889603ee784243c8b4644","author":{"email":"1624024fb6390a5e97bb68f7f92e643ee234cd37@gmail.com","name":"Valentin Robert"},"message":"new patterns for divides and absolute value","distinct":true,"url":"https://api.github.com/repos/Ptival/PeaCoq/commits/b19fa8614b44706d6f5889603ee784243c8b4644"}]}