{"repository":{"homepage":"http://www.infsec.ethz.ch/research/software/tamarin","language":"Haskell","owner":"tamarin-prover","open_issues":40,"master_branch":"develop","organization":"tamarin-prover","description":"Main repository of the Tamarin prover for security protocol verification.","created_at":"2012-02-22T12:03:23-08:00","watchers":5,"has_downloads":true,"stargazers":5,"fork":false,"size":320,"pushed_at":"2012-09-28T09:13:46-07:00","forks":1,"private":false,"has_issues":true,"has_wiki":true},"actor_attributes":{"company":"ETH Zurich","location":"Zurich","name":"Simon Meier","email":"d42db3bac09a101d1e1208e4ecbbdd5c45934832@gmail.com","type":"User","blog":"http://lambda-view.blogspot.com/"},"url":"https://github.com/tamarin-prover/tamarin-prover/compare/508e0cf5dd...f7c6c82c04"}