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