{"push_id":910155121,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e582c41482615dc4d383a8d3f578e9ead9209743","before":"56f6be2583909cff986ec12c9f3a3c9af6e83936","commits":[{"sha":"e582c41482615dc4d383a8d3f578e9ead9209743","author":{"email":"3f305b4b498a0d8642698be7e34009ae75d7e01c@newartisans.com","name":"John Wiegley"},"message":"coqPackages.mathcomp,ssreflect: 1.5 -> 1.6\n\nSee the INSTALL file in the mathcomp package for instructions on\nupgrading projects from 1.5 to 1.6.  The 1.6 version works with both Coq\n8.4 and 8.5.","distinct":true,"url":"https://api.github.com/repos/NixOS/nixpkgs/commits/e582c41482615dc4d383a8d3f578e9ead9209743"}]}