{"action":"created","issue":{"url":"https://api.github.com/repos/NixOS/nixpkgs/issues/20025","repository_url":"https://api.github.com/repos/NixOS/nixpkgs","labels_url":"https://api.github.com/repos/NixOS/nixpkgs/issues/20025/labels{/name}","comments_url":"https://api.github.com/repos/NixOS/nixpkgs/issues/20025/comments","events_url":"https://api.github.com/repos/NixOS/nixpkgs/issues/20025/events","html_url":"https://github.com/NixOS/nixpkgs/pull/20025","id":186357664,"number":20025,"title":"Coq: 8.5pl2 -> 8.5pl3","user":{"login":"vbgl","id":2612464,"avatar_url":"https://avatars.githubusercontent.com/u/2612464?v=3","gravatar_id":"","url":"https://api.github.com/users/vbgl","html_url":"https://github.com/vbgl","followers_url":"https://api.github.com/users/vbgl/followers","following_url":"https://api.github.com/users/vbgl/following{/other_user}","gists_url":"https://api.github.com/users/vbgl/gists{/gist_id}","starred_url":"https://api.github.com/users/vbgl/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/vbgl/subscriptions","organizations_url":"https://api.github.com/users/vbgl/orgs","repos_url":"https://api.github.com/users/vbgl/repos","events_url":"https://api.github.com/users/vbgl/events{/privacy}","received_events_url":"https://api.github.com/users/vbgl/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":4,"created_at":"2016-10-31T18:16:15Z","updated_at":"2016-10-31T23:51:36Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/NixOS/nixpkgs/pulls/20025","html_url":"https://github.com/NixOS/nixpkgs/pull/20025","diff_url":"https://github.com/NixOS/nixpkgs/pull/20025.diff","patch_url":"https://github.com/NixOS/nixpkgs/pull/20025.patch"},"body":"###### Things done\r\n\r\n- [ ] Tested using sandboxing\r\n  ([nix.useSandbox](http://nixos.org/nixos/manual/options.html#opt-nix.useSandbox) on NixOS,\r\n    or option `build-use-sandbox` in [`nix.conf`](http://nixos.org/nix/manual/#sec-conf-file)\r\n    on non-NixOS)\r\n- Built on platform(s)\r\n   - [ ] NixOS\r\n   - [x] OS X\r\n   - [ ] Linux\r\n- [ ] Tested compilation of all pkgs that depend on this change using `nix-shell -p nox --run \"nox-review wip\"`\r\n- [ ] Tested execution of all binary files (usually in `./result/bin/`)\r\n- [x] Fits [CONTRIBUTING.md](https://github.com/NixOS/nixpkgs/blob/master/.github/CONTRIBUTING.md).\r\n"},"comment":{"url":"https://api.github.com/repos/NixOS/nixpkgs/issues/comments/257453614","html_url":"https://github.com/NixOS/nixpkgs/pull/20025#issuecomment-257453614","issue_url":"https://api.github.com/repos/NixOS/nixpkgs/issues/20025","id":257453614,"user":{"login":"jwiegley","id":8460,"avatar_url":"https://avatars.githubusercontent.com/u/8460?v=3","gravatar_id":"","url":"https://api.github.com/users/jwiegley","html_url":"https://github.com/jwiegley","followers_url":"https://api.github.com/users/jwiegley/followers","following_url":"https://api.github.com/users/jwiegley/following{/other_user}","gists_url":"https://api.github.com/users/jwiegley/gists{/gist_id}","starred_url":"https://api.github.com/users/jwiegley/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/jwiegley/subscriptions","organizations_url":"https://api.github.com/users/jwiegley/orgs","repos_url":"https://api.github.com/users/jwiegley/repos","events_url":"https://api.github.com/users/jwiegley/events{/privacy}","received_events_url":"https://api.github.com/users/jwiegley/received_events","type":"User","site_admin":false},"created_at":"2016-10-31T23:51:36Z","updated_at":"2016-10-31T23:51:36Z","body":"@vbgl I've committed `coqPackages_8_5.fiat_HEAD`, so that we can see if it breaks with 8.5pl3.  "}}
{"actor":{"display_login":"jwiegley"}}