{"action":"created","issue":{"url":"https://api.github.com/repos/ocaml/opam-repository/issues/6211","repository_url":"https://api.github.com/repos/ocaml/opam-repository","labels_url":"https://api.github.com/repos/ocaml/opam-repository/issues/6211/labels{/name}","comments_url":"https://api.github.com/repos/ocaml/opam-repository/issues/6211/comments","events_url":"https://api.github.com/repos/ocaml/opam-repository/issues/6211/events","html_url":"https://github.com/ocaml/opam-repository/pull/6211","id":147131236,"number":6211,"title":"Coq and CoqIDE 8.5.1 added","user":{"login":"clarus","id":316665,"avatar_url":"https://avatars.githubusercontent.com/u/316665?v=3","gravatar_id":"","url":"https://api.github.com/users/clarus","html_url":"https://github.com/clarus","followers_url":"https://api.github.com/users/clarus/followers","following_url":"https://api.github.com/users/clarus/following{/other_user}","gists_url":"https://api.github.com/users/clarus/gists{/gist_id}","starred_url":"https://api.github.com/users/clarus/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/clarus/subscriptions","organizations_url":"https://api.github.com/users/clarus/orgs","repos_url":"https://api.github.com/users/clarus/repos","events_url":"https://api.github.com/users/clarus/events{/privacy}","received_events_url":"https://api.github.com/users/clarus/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2016-04-09T14:01:32Z","updated_at":"2016-04-09T14:03:46Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/ocaml/opam-repository/pulls/6211","html_url":"https://github.com/ocaml/opam-repository/pull/6211","diff_url":"https://github.com/ocaml/opam-repository/pull/6211.diff","patch_url":"https://github.com/ocaml/opam-repository/pull/6211.patch"},"body":""},"comment":{"url":"https://api.github.com/repos/ocaml/opam-repository/issues/comments/207793909","html_url":"https://github.com/ocaml/opam-repository/pull/6211#issuecomment-207793909","issue_url":"https://api.github.com/repos/ocaml/opam-repository/issues/6211","id":207793909,"user":{"login":"camelus","id":12823467,"avatar_url":"https://avatars.githubusercontent.com/u/12823467?v=3","gravatar_id":"","url":"https://api.github.com/users/camelus","html_url":"https://github.com/camelus","followers_url":"https://api.github.com/users/camelus/followers","following_url":"https://api.github.com/users/camelus/following{/other_user}","gists_url":"https://api.github.com/users/camelus/gists{/gist_id}","starred_url":"https://api.github.com/users/camelus/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/camelus/subscriptions","organizations_url":"https://api.github.com/users/camelus/orgs","repos_url":"https://api.github.com/users/camelus/repos","events_url":"https://api.github.com/users/camelus/events{/privacy}","received_events_url":"https://api.github.com/users/camelus/received_events","type":"User","site_admin":false},"created_at":"2016-04-09T14:03:46Z","updated_at":"2016-04-09T14:03:46Z","body":"##### :exclamation: opam-lint warnings <small>d58d95911e833326bcc7fa7d62cdd94cf73439b9</small>\n\n* **`coqide.8.5.1`** has some warnings:\n\n  * **warning 26**: No field 'install', but a field 'remove': install instructions probably part of 'build'. Use the 'install' field\n    or a .install file\n\n* These packages passed lint tests: `coq.8.5.1`\n\n\n---\n\n\n##### :white_check_mark: Installability check (4773 &rarr; 4775)\n\n* new installable packages (2): `coq.8.5.1` `coqide.8.5.1`\n"}}