{"repository":{"description":"SMTLib2 interface implementation for Haskell","homepage":"","watchers":2,"stargazers":2,"forks":0,"fork":false,"size":1336,"owner":"hguenther","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Haskell","created_at":"2011-08-21T23:25:39-07:00","pushed_at":"2013-02-21T06:16:36-08:00","master_branch":"master"},"actor_attributes":{"name":"Henning Günther","company":"TU Wien","blog":"http://forsyte.at/people/guenther/","email":"bbbe0b7bb637ab674d49618e0a81ffdb09351db7@forsyte.at","type":"User"},"url":"https://github.com/hguenther/smtlib2/compare/a0e01311a3...063394cb45"}