{"action":"created","issue":{"url":"https://api.github.com/repos/NixOS/nixpkgs/issues/49780","repository_url":"https://api.github.com/repos/NixOS/nixpkgs","labels_url":"https://api.github.com/repos/NixOS/nixpkgs/issues/49780/labels{/name}","comments_url":"https://api.github.com/repos/NixOS/nixpkgs/issues/49780/comments","events_url":"https://api.github.com/repos/NixOS/nixpkgs/issues/49780/events","html_url":"https://github.com/NixOS/nixpkgs/pull/49780","id":377396920,"node_id":"MDExOlB1bGxSZXF1ZXN0MjI4MzQ5Nzg3","number":49780,"title":"coqPackages.ssreflect: refactor choice of source version","user":{"login":"Zimmi48","id":1108325,"node_id":"MDQ6VXNlcjExMDgzMjU=","avatar_url":"https://avatars2.githubusercontent.com/u/1108325?v=4","gravatar_id":"","url":"https://api.github.com/users/Zimmi48","html_url":"https://github.com/Zimmi48","followers_url":"https://api.github.com/users/Zimmi48/followers","following_url":"https://api.github.com/users/Zimmi48/following{/other_user}","gists_url":"https://api.github.com/users/Zimmi48/gists{/gist_id}","starred_url":"https://api.github.com/users/Zimmi48/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Zimmi48/subscriptions","organizations_url":"https://api.github.com/users/Zimmi48/orgs","repos_url":"https://api.github.com/users/Zimmi48/repos","events_url":"https://api.github.com/users/Zimmi48/events{/privacy}","received_events_url":"https://api.github.com/users/Zimmi48/received_events","type":"User","site_admin":false},"labels":[{"id":737642262,"node_id":"MDU6TGFiZWw3Mzc2NDIyNjI=","url":"https://api.github.com/repos/NixOS/nixpkgs/labels/10.rebuild-darwin:%200","name":"10.rebuild-darwin: 0","color":"eeffee","default":false},{"id":737642408,"node_id":"MDU6TGFiZWw3Mzc2NDI0MDg=","url":"https://api.github.com/repos/NixOS/nixpkgs/labels/10.rebuild-linux:%200","name":"10.rebuild-linux: 0","color":"eeffee","default":false}],"state":"closed","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":4,"created_at":"2018-11-05T13:20:18Z","updated_at":"2018-11-07T09:09:51Z","closed_at":"2018-11-06T15:21:20Z","author_association":"CONTRIBUTOR","pull_request":{"url":"https://api.github.com/repos/NixOS/nixpkgs/pulls/49780","html_url":"https://github.com/NixOS/nixpkgs/pull/49780","diff_url":"https://github.com/NixOS/nixpkgs/pull/49780.diff","patch_url":"https://github.com/NixOS/nixpkgs/pull/49780.patch"},"body":"###### Motivation for this change\r\n\r\nDefine a default version for SSReflect package.\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- [x] Tested using sandboxing ([nix.useSandbox](http://nixos.org/nixos/manual/options.html#opt-nix.useSandbox) on NixOS, or option `sandbox` in [`nix.conf`](http://nixos.org/nix/manual/#sec-conf-file) on non-NixOS)\r\n- Built on platform(s)\r\n   - [x] NixOS\r\n   - [ ] 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- [ ] Determined the impact on package closure size (by running `nix path-info -S` before and after)\r\n- [x] Fits [CONTRIBUTING.md](https://github.com/NixOS/nixpkgs/blob/master/.github/CONTRIBUTING.md).\r\n\r\n---\r\n\r\n"},"comment":{"url":"https://api.github.com/repos/NixOS/nixpkgs/issues/comments/436555025","html_url":"https://github.com/NixOS/nixpkgs/pull/49780#issuecomment-436555025","issue_url":"https://api.github.com/repos/NixOS/nixpkgs/issues/49780","id":436555025,"node_id":"MDEyOklzc3VlQ29tbWVudDQzNjU1NTAyNQ==","user":{"login":"GrahamcOfBorg","id":25447658,"node_id":"MDQ6VXNlcjI1NDQ3NjU4","avatar_url":"https://avatars2.githubusercontent.com/u/25447658?v=4","gravatar_id":"","url":"https://api.github.com/users/GrahamcOfBorg","html_url":"https://github.com/GrahamcOfBorg","followers_url":"https://api.github.com/users/GrahamcOfBorg/followers","following_url":"https://api.github.com/users/GrahamcOfBorg/following{/other_user}","gists_url":"https://api.github.com/users/GrahamcOfBorg/gists{/gist_id}","starred_url":"https://api.github.com/users/GrahamcOfBorg/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/GrahamcOfBorg/subscriptions","organizations_url":"https://api.github.com/users/GrahamcOfBorg/orgs","repos_url":"https://api.github.com/users/GrahamcOfBorg/repos","events_url":"https://api.github.com/users/GrahamcOfBorg/events{/privacy}","received_events_url":"https://api.github.com/users/GrahamcOfBorg/received_events","type":"User","site_admin":false},"created_at":"2018-11-07T09:09:51Z","updated_at":"2018-11-07T09:09:51Z","author_association":"NONE","body":"<!--REQUEST_ID=eafaae26-134b-4c13-ae79-a4af966fe0ff-->\nSuccess on aarch64-linux [(full log)](https://logs.nix.ci/?key=nixos/nixpkgs.49780&attempt_id=76cf4287-2f99-4fdb-938d-6be02573bf73)\n\nAttempted: coqPackages.ssreflect\n\nThe following builds were skipped because they don't evaluate on aarch64-linux: coqPackages_8_5.ssreflect\n\n<details><summary>Partial log (click to expand)</summary><p>\n\n```\nINSTALL ssrmatching.glob /nix/store/aq4napq6ykqv23028922wx16j9889liz-coq8.8-ssreflect-1.7.0/lib/coq/8.8/user-contrib/mathcomp/ssreflect/\nmake[1]: Entering directory '/build/source/mathcomp/ssreflect'\nmake[1]: Leaving directory '/build/source/mathcomp/ssreflect'\npost-installation fixup\nshrinking RPATHs of ELF executables and libraries in /nix/store/aq4napq6ykqv23028922wx16j9889liz-coq8.8-ssreflect-1.7.0\nstrip is /nix/store/p9akxn2sfy4wkhqdqa3li97pc6jaz3r1-binutils-2.30/bin/strip\nstripping (with command strip and flags -S) in /nix/store/aq4napq6ykqv23028922wx16j9889liz-coq8.8-ssreflect-1.7.0/lib\npatching script interpreter paths in /nix/store/aq4napq6ykqv23028922wx16j9889liz-coq8.8-ssreflect-1.7.0\nchecking for references to /build in /nix/store/aq4napq6ykqv23028922wx16j9889liz-coq8.8-ssreflect-1.7.0...\n/nix/store/aq4napq6ykqv23028922wx16j9889liz-coq8.8-ssreflect-1.7.0\n```\n</p></details>\n\n"}}
{"actor":{"display_login":"GrahamcOfBorg"}}