{"push_id":1296458610,"size":2,"distinct_size":2,"ref":"refs/heads/noConf","head":"02e6a5cd60371f37269cfa9589ff7796ed8e9ac7","before":"4177d0d1d5b184a7f9f8eb1a2e001ad9a732508d","commits":[{"sha":"456b96498621d78f34d61b4d4109775ed3cd17d2","author":{"name":"Matthieu Sozeau","email":"385f7ace2b863d21ff523187b1fd442e431592c6@mattam.org"},"message":"Add example by Rafael Bocquet on polynoms.\n\nAdd example to make targets","distinct":true,"url":"https://api.github.com/repos/mattam82/Coq-Equations/commits/456b96498621d78f34d61b4d4109775ed3cd17d2"},{"sha":"02e6a5cd60371f37269cfa9589ff7796ed8e9ac7","author":{"name":"Matthieu Sozeau","email":"385f7ace2b863d21ff523187b1fd442e431592c6@mattam.org"},"message":"Minor fixes\n\nDone while updating Rafael Bocquet's example on polynomials.","distinct":true,"url":"https://api.github.com/repos/mattam82/Coq-Equations/commits/02e6a5cd60371f37269cfa9589ff7796ed8e9ac7"}]}
{"actor":{"display_login":"mattam82"}}