{"push_id":622379833,"size":1,"distinct_size":1,"ref":"refs/heads/8.5","head":"d332ef2efaa51fb0c3a9ae106efe0e2f254621c6","before":"1791cabeda6663193b884133eea332d936afef7f","commits":[{"sha":"d332ef2efaa51fb0c3a9ae106efe0e2f254621c6","author":{"email":"6890fa1d738eb4a06cf1d2634a31d4aac12540b7@mattam.org","name":"Matthieu Sozeau"},"message":"Add gcd test and fixes to make it go through entirely.","distinct":true,"url":"https://api.github.com/repos/mattam82/Coq-Equations/commits/d332ef2efaa51fb0c3a9ae106efe0e2f254621c6"}]}