{"repository":{"description":"QuickCheck for Coq","watchers":0,"stargazers":0,"forks":0,"fork":false,"size":148,"owner":"yoshihiro503","private":false,"open_issues":1,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Coq","created_at":"2012-12-04T04:31:43-08:00","pushed_at":"2013-10-01T02:23:18-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"YOSHIHIRO Imai","company":"IT Planning Inc.","blog":"http://proofcafe.org/~yoshihiro503/","location":"Nagoya, Japan","email":"b3524f88942c39b6b343b180e9a93ba9b75064ce"},"url":"https://github.com/yoshihiro503/coqQuickCheck/issues/1#issuecomment-25505373"}