{"repository":{"stargazers":4,"owner":"jessealama","has_downloads":true,"created_at":"2010-12-05T14:33:46-08:00","homepage":"http://mizar.org","description":"Breaking up mizar articles into bits and computing relations among them.","has_issues":true,"has_wiki":true,"open_issues":5,"pushed_at":"2013-01-08T04:57:22-08:00","forks":1,"fork":false,"size":628,"language":"Common Lisp","watchers":4,"private":false},"actor_attributes":{"name":"Jesse Alama","blog":"http://centria.di.fct.unl.pt/~alama/","email":"0f6912922ec73b8ab030d78cb88dbcbed082bcd3@gmail.com","location":"Stuttgart, Germany","type":"User"},"url":"https://github.com/jessealama/mizar-items/compare/992e80adc2...27c49f2913"}