{"push_id":617253559,"size":2,"distinct_size":2,"ref":"refs/heads/coq8.5beta1","head":"a789ec1e5380ea4a4f04e053911869b619a4f072","before":"7532a00c0f2298afdcee51fe1bf4fdbaecc874c1","commits":[{"sha":"59deb2db2f6fe51862c2ffcab3c5771f2f6a1ca3","author":{"email":"73be520f9292c229f3ce6400ad9e20f2693c368a@chalmers.se","name":"Anders"},"message":"Make refinements compile on 8.5beta1 (gauss and fastlup are not working anymore, neither is parts of strassen)","distinct":true,"url":"https://api.github.com/repos/CoqEAL/CoqEAL/commits/59deb2db2f6fe51862c2ffcab3c5771f2f6a1ca3"},{"sha":"a789ec1e5380ea4a4f04e053911869b619a4f072","author":{"email":"73be520f9292c229f3ce6400ad9e20f2693c368a@chalmers.se","name":"Anders"},"message":"Make v0.1 compile on 8.5beta1","distinct":true,"url":"https://api.github.com/repos/CoqEAL/CoqEAL/commits/a789ec1e5380ea4a4f04e053911869b619a4f072"}]}