{"repository":{"watchers":1,"owner":"lemmy","open_issues":0,"language":"Shell","pushed_at":"2012-06-22T01:43:38-07:00","forks":1,"has_downloads":true,"fork":false,"size":71648,"has_issues":false,"created_at":"2012-06-20T05:11:23-07:00","description":"Performance measurements for the TLC model checker","private":false,"has_wiki":false},"actor_attributes":{"blog":"http://www.lemmster.de","location":"Hamburg, Germany","type":"User","email":"c2208abde9668e8e9815c3690855edd1e63abeac@lemmster.de","name":"Markus Alexander Kuppe"},"url":"https://github.com/lemmy/tlc-perf/compare/0eebe02201...8edee05b02"}