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