{"repository":{"watchers":1,"has_downloads":true,"fork":false,"has_issues":true,"has_wiki":true,"forks":1,"size":0,"private":false,"owner":"marcelosousa","open_issues":0,"description":"SMT-Lib v2 Tools for Haskell and Agda","created_at":"2012/05/29 04:39:35 -0700","pushed_at":"2012/05/29 04:39:35 -0700"},"actor_attributes":{"name":"Marcelo Sousa","type":"User","email":"3e91c4144e18d4048c2d88c248ec263b50067d34@gmail.com"},"url":"https://github.com/marcelosousa/smtlib"}