{"push_id":3698393919,"size":1,"distinct_size":1,"ref":"refs/heads/mathcomp-1.9.0","head":"fb5dbb919eab31def643b2760a4aed51d73094b0","before":"a5cec0abf597faa62257b95ff01acd1e7b24ce64","commits":[{"sha":"fb5dbb919eab31def643b2760a4aed51d73094b0","author":{"name":"Reynald Affeldt","email":"d2dae08f0376949b39a95dd4a6e7cdc9139ebd8b@aist.go.jp"},"message":"contraction proof closer to the paper version","distinct":true,"url":"https://api.github.com/repos/affeldt-aist/infotheo/commits/fb5dbb919eab31def643b2760a4aed51d73094b0"}]}
{"actor":{"display_login":"affeldt-aist"}}