{"push_id":2070298667,"size":1,"distinct_size":1,"ref":"refs/heads/no-compat-coq.8.4","head":"dd730ed0569d57944435b6bb599bffd8c382c126","before":"52cbededd813ab7589ae49cd8a9b6477b282379a","commits":[{"sha":"dd730ed0569d57944435b6bb599bffd8c382c126","author":{"name":"Cyril Cohen","email":"5f59d4dc5d569d60416c2120185adb5190f62ee7@crans.org"},"message":"Remove compatibility with Coq.8.4 (and compatibility hacks that went with it)","distinct":true,"url":"https://api.github.com/repos/CohenCyril/math-comp/commits/dd730ed0569d57944435b6bb599bffd8c382c126"}]}
{"actor":{"display_login":"CohenCyril"}}