{"push_id":3459136427,"size":8,"distinct_size":8,"ref":"refs/heads/master-parsing-decimal","head":"39dd6aa5a6c350e6ce1f13a0b6a371a3fd8b7f4b","before":"51d7acf2d807810724b05aa5fa6e8a683beb9f14","commits":[{"sha":"9c44daeae1ee7a1640af47e2efe1fb77e8a76299","author":{"name":"Vincent Laporte","email":"5b9500d3ac195ca166d1abfbb700bb9943ca7b7b@fondation-inria.fr"},"message":"Make coercions explicit","distinct":true,"url":"https://api.github.com/repos/proux01/corn/commits/9c44daeae1ee7a1640af47e2efe1fb77e8a76299"},{"sha":"e188e21b2bcafa55a57a9b3c5cb9ffb770f28c1d","author":{"name":"Vincent Laporte","email":"5b9500d3ac195ca166d1abfbb700bb9943ca7b7b@fondation-inria.fr"},"message":"[default.nix] Use master version of math-classes","distinct":true,"url":"https://api.github.com/repos/proux01/corn/commits/e188e21b2bcafa55a57a9b3c5cb9ffb770f28c1d"},{"sha":"a1112dbbb0299b19a3ee516438e9f342c740cc2a","author":{"name":"Vincent Laporte","email":"5b9500d3ac195ca166d1abfbb700bb9943ca7b7b@fondation-inria.fr"},"message":"[default.nix] Fix configure phase","distinct":true,"url":"https://api.github.com/repos/proux01/corn/commits/a1112dbbb0299b19a3ee516438e9f342c740cc2a"},{"sha":"58a55935d829ef12ea759797f4f6bdaa4d7fadc6","author":{"name":"Théo Zimmermann","email":"6e6d7530e858430757598f1bcaab6b049abcfdf1@univ-paris-diderot.fr"},"message":"Merge pull request #69 from vbgl/explicit-coercions\n\nMake coercions explicit","distinct":true,"url":"https://api.github.com/repos/proux01/corn/commits/58a55935d829ef12ea759797f4f6bdaa4d7fadc6"},{"sha":"8ea3823999d03be0be5584f1216251b496c1198a","author":{"name":"Vincent Laporte","email":"5b9500d3ac195ca166d1abfbb700bb9943ca7b7b@fondation-inria.fr"},"message":"Use Z.log2 instead of the deprecated Zlogarithm","distinct":true,"url":"https://api.github.com/repos/proux01/corn/commits/8ea3823999d03be0be5584f1216251b496c1198a"},{"sha":"83f8f96327be8e67bbfe259e2c804370a451f13e","author":{"name":"Théo Zimmermann","email":"6e6d7530e858430757598f1bcaab6b049abcfdf1@univ-paris-diderot.fr"},"message":"Merge pull request #70 from vbgl/master\n\nUse Z.log2 instead of the deprecated Zlogarithm","distinct":true,"url":"https://api.github.com/repos/proux01/corn/commits/83f8f96327be8e67bbfe259e2c804370a451f13e"},{"sha":"bfc495cd2bfa2af9128ee5c08228cad9f614824b","author":{"name":"Vincent Laporte","email":"5b9500d3ac195ca166d1abfbb700bb9943ca7b7b@fondation-inria.fr"},"message":"Make explicit some uses of Zpos","distinct":true,"url":"https://api.github.com/repos/proux01/corn/commits/bfc495cd2bfa2af9128ee5c08228cad9f614824b"},{"sha":"39dd6aa5a6c350e6ce1f13a0b6a371a3fd8b7f4b","author":{"name":"Pierre Roux","email":"ff019a5748a52b5641624af88a54a2f0e46a9fb5@roux01.fr"},"message":"Adapt to coq/coq#8764","distinct":true,"url":"https://api.github.com/repos/proux01/corn/commits/39dd6aa5a6c350e6ce1f13a0b6a371a3fd8b7f4b"}]}
{"actor":{"display_login":"proux01"}}