{"action":"closed","number":39415,"pull_request":{"url":"https://api.github.com/repos/NixOS/nixpkgs/pulls/39415","id":183822133,"html_url":"https://github.com/NixOS/nixpkgs/pull/39415","diff_url":"https://github.com/NixOS/nixpkgs/pull/39415.diff","patch_url":"https://github.com/NixOS/nixpkgs/pull/39415.patch","issue_url":"https://api.github.com/repos/NixOS/nixpkgs/issues/39415","number":39415,"state":"closed","locked":false,"title":"coqPackages.mathcomp: 1.6.4 -> 1.7.0","user":{"login":"vbgl","id":2612464,"avatar_url":"https://avatars1.githubusercontent.com/u/2612464?v=4","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},"body":"###### Motivation for this change\r\n\r\nNew release, compatible with Coq 8.8.\r\n\r\n###### Things done\r\n\r\n<!-- Please check what applies. Note that these are not hard requirements but merely serve as information for reviewers. -->\r\n\r\n- [ ] Tested using sandboxing ([nix.useSandbox](http://nixos.org/nixos/manual/options.html#opt-nix.useSandbox) on NixOS, or option `build-use-sandbox` in [`nix.conf`](http://nixos.org/nix/manual/#sec-conf-file) on non-NixOS)\r\n- Built on platform(s)\r\n   - [ ] NixOS\r\n   - [x] macOS\r\n   - [ ] other Linux distributions\r\n- [ ] Tested via one or more NixOS test(s) if existing and applicable for the change (look inside [nixos/tests](https://github.com/NixOS/nixpkgs/blob/master/nixos/tests))\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\r\n---\r\n\r\n","created_at":"2018-04-24T18:17:39Z","updated_at":"2018-05-01T09:06:06Z","closed_at":"2018-05-01T09:06:06Z","merged_at":"2018-05-01T09:06:06Z","merge_commit_sha":"b4d0647752cbc50b919fbd6723aa9d4068952c13","assignee":null,"assignees":[],"requested_reviewers":[],"requested_teams":[],"labels":[{"id":737642262,"url":"https://api.github.com/repos/NixOS/nixpkgs/labels/10.rebuild-darwin:%200","name":"10.rebuild-darwin: 0","color":"eeffee","default":false},{"id":737642408,"url":"https://api.github.com/repos/NixOS/nixpkgs/labels/10.rebuild-linux:%200","name":"10.rebuild-linux: 0","color":"eeffee","default":false},{"id":290122819,"url":"https://api.github.com/repos/NixOS/nixpkgs/labels/8.has:%20package%20(update)","name":"8.has: package (update)","color":"009800","default":false}],"milestone":null,"commits_url":"https://api.github.com/repos/NixOS/nixpkgs/pulls/39415/commits","review_comments_url":"https://api.github.com/repos/NixOS/nixpkgs/pulls/39415/comments","review_comment_url":"https://api.github.com/repos/NixOS/nixpkgs/pulls/comments{/number}","comments_url":"https://api.github.com/repos/NixOS/nixpkgs/issues/39415/comments","statuses_url":"https://api.github.com/repos/NixOS/nixpkgs/statuses/8390feb2ee1fa62cd65c84493aefc11aec67d5df","head":{"label":"vbgl:coq-mathcomp-1.7","ref":"coq-mathcomp-1.7","sha":"8390feb2ee1fa62cd65c84493aefc11aec67d5df","user":{"login":"vbgl","id":2612464,"avatar_url":"https://avatars1.githubusercontent.com/u/2612464?v=4","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},"repo":{"id":21011197,"name":"nixpkgs","full_name":"vbgl/nixpkgs","owner":{"login":"vbgl","id":2612464,"avatar_url":"https://avatars1.githubusercontent.com/u/2612464?v=4","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},"private":false,"html_url":"https://github.com/vbgl/nixpkgs","description":"Nix Packages collection","fork":true,"url":"https://api.github.com/repos/vbgl/nixpkgs","forks_url":"https://api.github.com/repos/vbgl/nixpkgs/forks","keys_url":"https://api.github.com/repos/vbgl/nixpkgs/keys{/key_id}","collaborators_url":"https://api.github.com/repos/vbgl/nixpkgs/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/vbgl/nixpkgs/teams","hooks_url":"https://api.github.com/repos/vbgl/nixpkgs/hooks","issue_events_url":"https://api.github.com/repos/vbgl/nixpkgs/issues/events{/number}","events_url":"https://api.github.com/repos/vbgl/nixpkgs/events","assignees_url":"https://api.github.com/repos/vbgl/nixpkgs/assignees{/user}","branches_url":"https://api.github.com/repos/vbgl/nixpkgs/branches{/branch}","tags_url":"https://api.github.com/repos/vbgl/nixpkgs/tags","blobs_url":"https://api.github.com/repos/vbgl/nixpkgs/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/vbgl/nixpkgs/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/vbgl/nixpkgs/git/refs{/sha}","trees_url":"https://api.github.com/repos/vbgl/nixpkgs/git/trees{/sha}","statuses_url":"https://api.github.com/repos/vbgl/nixpkgs/statuses/{sha}","languages_url":"https://api.github.com/repos/vbgl/nixpkgs/languages","stargazers_url":"https://api.github.com/repos/vbgl/nixpkgs/stargazers","contributors_url":"https://api.github.com/repos/vbgl/nixpkgs/contributors","subscribers_url":"https://api.github.com/repos/vbgl/nixpkgs/subscribers","subscription_url":"https://api.github.com/repos/vbgl/nixpkgs/subscription","commits_url":"https://api.github.com/repos/vbgl/nixpkgs/commits{/sha}","git_commits_url":"https://api.github.com/repos/vbgl/nixpkgs/git/commits{/sha}","comments_url":"https://api.github.com/repos/vbgl/nixpkgs/comments{/number}","issue_comment_url":"https://api.github.com/repos/vbgl/nixpkgs/issues/comments{/number}","contents_url":"https://api.github.com/repos/vbgl/nixpkgs/contents/{+path}","compare_url":"https://api.github.com/repos/vbgl/nixpkgs/compare/{base}...{head}","merges_url":"https://api.github.com/repos/vbgl/nixpkgs/merges","archive_url":"https://api.github.com/repos/vbgl/nixpkgs/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/vbgl/nixpkgs/downloads","issues_url":"https://api.github.com/repos/vbgl/nixpkgs/issues{/number}","pulls_url":"https://api.github.com/repos/vbgl/nixpkgs/pulls{/number}","milestones_url":"https://api.github.com/repos/vbgl/nixpkgs/milestones{/number}","notifications_url":"https://api.github.com/repos/vbgl/nixpkgs/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/vbgl/nixpkgs/labels{/name}","releases_url":"https://api.github.com/repos/vbgl/nixpkgs/releases{/id}","deployments_url":"https://api.github.com/repos/vbgl/nixpkgs/deployments","created_at":"2014-06-19T18:35:16Z","updated_at":"2018-04-23T06:39:15Z","pushed_at":"2018-04-30T16:16:28Z","git_url":"git://github.com/vbgl/nixpkgs.git","ssh_url":"git@github.com:vbgl/nixpkgs.git","clone_url":"https://github.com/vbgl/nixpkgs.git","svn_url":"https://github.com/vbgl/nixpkgs","homepage":null,"size":712007,"stargazers_count":0,"watchers_count":0,"language":"Nix","has_issues":false,"has_projects":true,"has_downloads":true,"has_wiki":false,"has_pages":false,"forks_count":0,"mirror_url":null,"archived":false,"open_issues_count":1,"license":{"key":"other","name":"Other","spdx_id":null,"url":null},"forks":0,"open_issues":1,"watchers":0,"default_branch":"master"}},"base":{"label":"NixOS:master","ref":"master","sha":"e630e9da793adc42294f91fae2a4ab6dc682c569","user":{"login":"NixOS","id":487568,"avatar_url":"https://avatars3.githubusercontent.com/u/487568?v=4","gravatar_id":"","url":"https://api.github.com/users/NixOS","html_url":"https://github.com/NixOS","followers_url":"https://api.github.com/users/NixOS/followers","following_url":"https://api.github.com/users/NixOS/following{/other_user}","gists_url":"https://api.github.com/users/NixOS/gists{/gist_id}","starred_url":"https://api.github.com/users/NixOS/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/NixOS/subscriptions","organizations_url":"https://api.github.com/users/NixOS/orgs","repos_url":"https://api.github.com/users/NixOS/repos","events_url":"https://api.github.com/users/NixOS/events{/privacy}","received_events_url":"https://api.github.com/users/NixOS/received_events","type":"Organization","site_admin":false},"repo":{"id":4542716,"name":"nixpkgs","full_name":"NixOS/nixpkgs","owner":{"login":"NixOS","id":487568,"avatar_url":"https://avatars3.githubusercontent.com/u/487568?v=4","gravatar_id":"","url":"https://api.github.com/users/NixOS","html_url":"https://github.com/NixOS","followers_url":"https://api.github.com/users/NixOS/followers","following_url":"https://api.github.com/users/NixOS/following{/other_user}","gists_url":"https://api.github.com/users/NixOS/gists{/gist_id}","starred_url":"https://api.github.com/users/NixOS/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/NixOS/subscriptions","organizations_url":"https://api.github.com/users/NixOS/orgs","repos_url":"https://api.github.com/users/NixOS/repos","events_url":"https://api.github.com/users/NixOS/events{/privacy}","received_events_url":"https://api.github.com/users/NixOS/received_events","type":"Organization","site_admin":false},"private":false,"html_url":"https://github.com/NixOS/nixpkgs","description":"Nix Packages collection","fork":false,"url":"https://api.github.com/repos/NixOS/nixpkgs","forks_url":"https://api.github.com/repos/NixOS/nixpkgs/forks","keys_url":"https://api.github.com/repos/NixOS/nixpkgs/keys{/key_id}","collaborators_url":"https://api.github.com/repos/NixOS/nixpkgs/collaborators{/collaborator}","teams_url":"https://api.github.com/repos/NixOS/nixpkgs/teams","hooks_url":"https://api.github.com/repos/NixOS/nixpkgs/hooks","issue_events_url":"https://api.github.com/repos/NixOS/nixpkgs/issues/events{/number}","events_url":"https://api.github.com/repos/NixOS/nixpkgs/events","assignees_url":"https://api.github.com/repos/NixOS/nixpkgs/assignees{/user}","branches_url":"https://api.github.com/repos/NixOS/nixpkgs/branches{/branch}","tags_url":"https://api.github.com/repos/NixOS/nixpkgs/tags","blobs_url":"https://api.github.com/repos/NixOS/nixpkgs/git/blobs{/sha}","git_tags_url":"https://api.github.com/repos/NixOS/nixpkgs/git/tags{/sha}","git_refs_url":"https://api.github.com/repos/NixOS/nixpkgs/git/refs{/sha}","trees_url":"https://api.github.com/repos/NixOS/nixpkgs/git/trees{/sha}","statuses_url":"https://api.github.com/repos/NixOS/nixpkgs/statuses/{sha}","languages_url":"https://api.github.com/repos/NixOS/nixpkgs/languages","stargazers_url":"https://api.github.com/repos/NixOS/nixpkgs/stargazers","contributors_url":"https://api.github.com/repos/NixOS/nixpkgs/contributors","subscribers_url":"https://api.github.com/repos/NixOS/nixpkgs/subscribers","subscription_url":"https://api.github.com/repos/NixOS/nixpkgs/subscription","commits_url":"https://api.github.com/repos/NixOS/nixpkgs/commits{/sha}","git_commits_url":"https://api.github.com/repos/NixOS/nixpkgs/git/commits{/sha}","comments_url":"https://api.github.com/repos/NixOS/nixpkgs/comments{/number}","issue_comment_url":"https://api.github.com/repos/NixOS/nixpkgs/issues/comments{/number}","contents_url":"https://api.github.com/repos/NixOS/nixpkgs/contents/{+path}","compare_url":"https://api.github.com/repos/NixOS/nixpkgs/compare/{base}...{head}","merges_url":"https://api.github.com/repos/NixOS/nixpkgs/merges","archive_url":"https://api.github.com/repos/NixOS/nixpkgs/{archive_format}{/ref}","downloads_url":"https://api.github.com/repos/NixOS/nixpkgs/downloads","issues_url":"https://api.github.com/repos/NixOS/nixpkgs/issues{/number}","pulls_url":"https://api.github.com/repos/NixOS/nixpkgs/pulls{/number}","milestones_url":"https://api.github.com/repos/NixOS/nixpkgs/milestones{/number}","notifications_url":"https://api.github.com/repos/NixOS/nixpkgs/notifications{?since,all,participating}","labels_url":"https://api.github.com/repos/NixOS/nixpkgs/labels{/name}","releases_url":"https://api.github.com/repos/NixOS/nixpkgs/releases{/id}","deployments_url":"https://api.github.com/repos/NixOS/nixpkgs/deployments","created_at":"2012-06-04T02:49:46Z","updated_at":"2018-05-01T08:14:39Z","pushed_at":"2018-05-01T09:06:06Z","git_url":"git://github.com/NixOS/nixpkgs.git","ssh_url":"git@github.com:NixOS/nixpkgs.git","clone_url":"https://github.com/NixOS/nixpkgs.git","svn_url":"https://github.com/NixOS/nixpkgs","homepage":null,"size":782377,"stargazers_count":2400,"watchers_count":2400,"language":"Nix","has_issues":true,"has_projects":true,"has_downloads":true,"has_wiki":false,"has_pages":false,"forks_count":2744,"mirror_url":null,"archived":false,"open_issues_count":3101,"license":{"key":"other","name":"Other","spdx_id":null,"url":null},"forks":2744,"open_issues":3101,"watchers":2400,"default_branch":"master"}},"_links":{"self":{"href":"https://api.github.com/repos/NixOS/nixpkgs/pulls/39415"},"html":{"href":"https://github.com/NixOS/nixpkgs/pull/39415"},"issue":{"href":"https://api.github.com/repos/NixOS/nixpkgs/issues/39415"},"comments":{"href":"https://api.github.com/repos/NixOS/nixpkgs/issues/39415/comments"},"review_comments":{"href":"https://api.github.com/repos/NixOS/nixpkgs/pulls/39415/comments"},"review_comment":{"href":"https://api.github.com/repos/NixOS/nixpkgs/pulls/comments{/number}"},"commits":{"href":"https://api.github.com/repos/NixOS/nixpkgs/pulls/39415/commits"},"statuses":{"href":"https://api.github.com/repos/NixOS/nixpkgs/statuses/8390feb2ee1fa62cd65c84493aefc11aec67d5df"}},"author_association":"CONTRIBUTOR","merged":true,"mergeable":null,"rebaseable":null,"mergeable_state":"unknown","merged_by":{"login":"vbgl","id":2612464,"avatar_url":"https://avatars1.githubusercontent.com/u/2612464?v=4","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},"comments":6,"review_comments":0,"maintainer_can_modify":false,"commits":1,"additions":41,"deletions":33,"changed_files":7}}
{"actor":{"display_login":"vbgl"}}