{"comment":{"url":"https://api.github.com/repos/mirage/irmin/comments/11996291","html_url":"https://github.com/mirage/irmin/commit/5778988cf854873c100e37221f7652bc2782e4bc#commitcomment-11996291","id":11996291,"user":{"login":"hannesm","id":228456,"avatar_url":"https://avatars.githubusercontent.com/u/228456?v=3","gravatar_id":"","url":"https://api.github.com/users/hannesm","html_url":"https://github.com/hannesm","followers_url":"https://api.github.com/users/hannesm/followers","following_url":"https://api.github.com/users/hannesm/following{/other_user}","gists_url":"https://api.github.com/users/hannesm/gists{/gist_id}","starred_url":"https://api.github.com/users/hannesm/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/hannesm/subscriptions","organizations_url":"https://api.github.com/users/hannesm/orgs","repos_url":"https://api.github.com/users/hannesm/repos","events_url":"https://api.github.com/users/hannesm/events{/privacy}","received_events_url":"https://api.github.com/users/hannesm/received_events","type":"User","site_admin":false},"position":null,"line":null,"path":"","commit_id":"5778988cf854873c100e37221f7652bc2782e4bc","created_at":"2015-07-03T14:45:05Z","updated_at":"2015-07-03T14:45:05Z","body":"but what needs `conf-gmp`? shouldn't then sth depend on `zarith`?"}}