{"repository":{"description":"PVS specification files for the theory of Software Product Line Refinement","homepage":"http://www.cin.ufpe.br/spg","watchers":3,"stargazers":3,"forks":0,"fork":false,"size":1186,"owner":"spgroup","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"created_at":"2012-03-20T14:31:06-07:00","pushed_at":"2013-07-30T15:00:58-07:00","master_branch":"master","organization":"spgroup"},"actor_attributes":{"type":"User","name":"Leopoldo Teixeira","company":"CIn/UFPE","blog":"http://twitter.com/leopoldomt","location":"Recife, Brazil","email":"da39a3ee5e6b4b0d3255bfef95601890afd80709"},"url":"https://github.com/spgroup/theory-pl-refinement/compare/f1497af792...0eebd52233"}