{"push_id":1090265060,"size":1,"distinct_size":1,"ref":"refs/heads/v8.5","head":"7c20a7766d3e62c347bb05b7ce71637a2b021c88","before":"532453427cb9221c33a6af19fea68f3687792fd6","commits":[{"sha":"7c20a7766d3e62c347bb05b7ce71637a2b021c88","author":{"email":"a9e097e0d1547fda9715a401f40597aa7344c36e@gmail.com","name":"Matej Kosik"},"message":"updating \"Makefile\" so that it works both with and without \"int-map\" installed via OPAM","distinct":true,"url":"https://api.github.com/repos/coq-contribs/lin-alg/commits/7c20a7766d3e62c347bb05b7ce71637a2b021c88"}]}