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