{"push_id":615493442,"size":1,"distinct_size":1,"ref":"refs/heads/8.5","head":"5b6d0437989d57865c1c6f0bdc0045d3e143e308","before":"2353bfbdcc14d0f32e8a91d2c7de7907fb4c0b07","commits":[{"sha":"5b6d0437989d57865c1c6f0bdc0045d3e143e308","author":{"email":"6890fa1d738eb4a06cf1d2634a31d4aac12540b7@mattam.org","name":"Matthieu Sozeau"},"message":"Fix case_info computations.","distinct":true,"url":"https://api.github.com/repos/mattam82/Coq-Equations/commits/5b6d0437989d57865c1c6f0bdc0045d3e143e308"}]}