{"repository":{"owner":"DanGrayson","open_issues":0,"watchers":0,"has_issues":true,"description":"A system of makefiles for building coq and the programs it requires.","stargazers":0,"language":"Shell","pushed_at":"2013-01-17T18:50:57-08:00","forks":1,"has_downloads":true,"fork":false,"size":312,"private":false,"created_at":"2012-10-03T14:31:07-07:00","has_wiki":true},"actor_attributes":{"name":"Daniel R. Grayson","blog":"http://dangrayson.com/","email":"2591e5f46f28d303f9dc027d475a5c60d8dea17a@math.uiuc.edu","type":"User"},"url":"https://github.com/DanGrayson/coq-builder/compare/d510345ab8...064a9c199c"}