{"push_id":759014419,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"aa5c18bbd34fe6081cba693928e3949b7836b737","before":"5a66112bf6cb4f31619bdb77207358f1d4feded9","commits":[{"sha":"aa5c18bbd34fe6081cba693928e3949b7836b737","author":{"email":"29bbaec13092d36559e3abc6f27f7d09c395819f@mit.edu","name":"Jason Gross"},"message":"Add common makefile\n\nIt defines a bunch of utility functions for making the output of make\nprettier and more robust than the file coq_makefile generates.","distinct":true,"url":"https://api.github.com/repos/JasonGross/coq-scripts/commits/aa5c18bbd34fe6081cba693928e3949b7836b737"}]}