{"repository":{"stargazers":5,"owner":"tamarin-prover","organization":"tamarin-prover","description":"Main repository of the Tamarin prover for security protocol verification.","has_wiki":true,"watchers":5,"has_issues":true,"pushed_at":"2012-08-06T02:35:23-07:00","forks":1,"language":"Haskell","created_at":"2012-02-22T12:03:23-08:00","open_issues":27,"fork":false,"size":304,"private":false,"master_branch":"develop","homepage":"http://www.infsec.ethz.ch/research/software/tamarin","has_downloads":true},"actor_attributes":{"type":"User","name":"Benedikt Schmidt","blog":"http://www.infsec.ethz.ch/people/benschmi","email":"2ae052ee5e632c754726bfcbafb79629dabdc81c@gmail.com"},"url":"https://github.com/tamarin-prover/tamarin-prover/issues/104#issuecomment-7520220"}