{"repository":{"has_downloads":true,"homepage":"http://www.stups.uni-duesseldorf.de/ProB/index.php5/Main_Page","owner":"bendisposto","open_issues":0,"watchers":9,"has_issues":true,"description":"The ProB Model Checker and Animator","stargazers":9,"has_wiki":true,"language":"Java","pushed_at":"2013-01-18T03:03:41-08:00","master_branch":"develop","forks":7,"fork":false,"size":1092,"private":false,"created_at":"2011-11-24T02:10:44-08:00"},"actor_attributes":{"name":"Sebastian Krings","type":"User","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/bendisposto/prob/compare/ea2fc064d9...0250046b79"}