{"repository":{"homepage":"http://wiki.github.com/gertvv/oops/","has_downloads":true,"owner":"gertvv","has_issues":true,"created_at":"2009/05/04 07:34:52 -0700","forks":2,"language":"Java","has_wiki":true,"description":"Object Oriented Prover for S5n","fork":false,"size":24149,"open_issues":0,"watchers":3,"pushed_at":"2012/03/17 04:27:48 -0700","private":false},"actor_attributes":{"name":"Gert van Valkenhoef","blog":"http://gertvv.nl/","location":"The Netherlands","company":"University of Groningen","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709","type":"User"},"url":"https://github.com/gertvv/oops/pull/1"}