{"repository":{"has_issues":true,"owner":"pi8027","has_wiki":true,"pushed_at":"2012-10-14T06:15:56-07:00","forks":0,"open_issues":0,"language":"Coq","description":"","fork":false,"size":752,"watchers":3,"has_downloads":true,"created_at":"2012-09-14T00:43:33-07:00","private":false,"stargazers":3},"actor_attributes":{"email":"b6ba1c91e3d4f0622745fd07d29d0f4190cb6c72@gmail.com","location":"Tsukuba, Ibaraki, Japan","name":"Kazuhiko Sakaguchi","blog":"http://stricter.org/","type":"User"},"url":"https://github.com/pi8027/formalized-postscript/compare/3b1f835051...44c491e5cf"}