{"repository":{"description":"Isabelle/IsaPlanner SML Library (for PolyML)","homepage":"","watchers":3,"stargazers":3,"forks":0,"fork":true,"size":200,"owner":"Quantomatic","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Ruby","created_at":"2011-07-14T16:25:27-07:00","pushed_at":"2013-02-24T13:48:16-08:00","master_branch":"master","organization":"Quantomatic"},"actor_attributes":{"type":"User","name":"Lucas Dixon","company":"University of Edinburgh","blog":"http://homepages.inf.ed.ac.uk/ldixon/","location":"Edinburgh, Scotland","email":"9729e9f2c279f25f56793452341b0edf53769643@gmail.com"},"url":"https://github.com/Quantomatic/isaplib/compare/d622d7b870...6ee9819360"}