{"repository":{"owner":"tamarin-prover","pushed_at":"2013-01-25T01:43:16-08:00","homepage":"http://www.infsec.ethz.ch/research/software/tamarin","forks":1,"has_wiki":true,"language":"Haskell","organization":"tamarin-prover","created_at":"2012-02-22T12:03:23-08:00","watchers":5,"description":"Main repository of the Tamarin prover for security protocol verification.","has_issues":true,"master_branch":"develop","stargazers":5,"fork":false,"size":260,"open_issues":45,"private":false,"has_downloads":true},"actor_attributes":{"type":"User","name":"Cas Cremers","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/tamarin-prover/tamarin-prover/compare/1fe985e6f6...5e0688f1e8"}