{"push_id":663849977,"size":1,"distinct_size":1,"ref":"refs/heads/8.5","head":"0b383db92d81ba59eba43679d9d020b2a7e9b1b7","before":"e20498a373852bb3f48e5c3d5c4521b7a6c6139c","commits":[{"sha":"0b383db92d81ba59eba43679d9d020b2a7e9b1b7","author":{"email":"6890fa1d738eb4a06cf1d2634a31d4aac12540b7@mattam.org","name":"Matthieu Sozeau"},"message":"Comment non-working code to get clean compile","distinct":true,"url":"https://api.github.com/repos/mattam82/Coq-Equations/commits/0b383db92d81ba59eba43679d9d020b2a7e9b1b7"}]}