{"action":"created","issue":{"url":"https://api.github.com/repos/NixOS/nixpkgs/issues/19003","repository_url":"https://api.github.com/repos/NixOS/nixpkgs","labels_url":"https://api.github.com/repos/NixOS/nixpkgs/issues/19003/labels{/name}","comments_url":"https://api.github.com/repos/NixOS/nixpkgs/issues/19003/comments","events_url":"https://api.github.com/repos/NixOS/nixpkgs/issues/19003/events","html_url":"https://github.com/NixOS/nixpkgs/pull/19003","id":179405495,"number":19003,"title":"lightyear: init at 9420f9e","user":{"login":"siddharthist","id":4294323,"avatar_url":"https://avatars.githubusercontent.com/u/4294323?v=3","gravatar_id":"","url":"https://api.github.com/users/siddharthist","html_url":"https://github.com/siddharthist","followers_url":"https://api.github.com/users/siddharthist/followers","following_url":"https://api.github.com/users/siddharthist/following{/other_user}","gists_url":"https://api.github.com/users/siddharthist/gists{/gist_id}","starred_url":"https://api.github.com/users/siddharthist/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/siddharthist/subscriptions","organizations_url":"https://api.github.com/users/siddharthist/orgs","repos_url":"https://api.github.com/users/siddharthist/repos","events_url":"https://api.github.com/users/siddharthist/events{/privacy}","received_events_url":"https://api.github.com/users/siddharthist/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":2,"created_at":"2016-09-27T06:13:25Z","updated_at":"2016-09-27T17:57:06Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/NixOS/nixpkgs/pulls/19003","html_url":"https://github.com/NixOS/nixpkgs/pull/19003","diff_url":"https://github.com/NixOS/nixpkgs/pull/19003.diff","patch_url":"https://github.com/NixOS/nixpkgs/pull/19003.patch"},"body":"###### Motivation for this change\r\nDepends on/tested with #19002. Lightyear is one of the major libraries of Idris so far!\r\n\r\n###### Things done\r\n\r\n- [x] 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   - [ ] OS X\r\n   - [x] Linux\r\n- [x] Tested compilation of all pkgs that depend on this change using `nix-shell -p nox --run \"nox-review wip\"`\r\n- [x] 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\r\n"},"comment":{"url":"https://api.github.com/repos/NixOS/nixpkgs/issues/comments/249945173","html_url":"https://github.com/NixOS/nixpkgs/pull/19003#issuecomment-249945173","issue_url":"https://api.github.com/repos/NixOS/nixpkgs/issues/19003","id":249945173,"user":{"login":"siddharthist","id":4294323,"avatar_url":"https://avatars.githubusercontent.com/u/4294323?v=3","gravatar_id":"","url":"https://api.github.com/users/siddharthist","html_url":"https://github.com/siddharthist","followers_url":"https://api.github.com/users/siddharthist/followers","following_url":"https://api.github.com/users/siddharthist/following{/other_user}","gists_url":"https://api.github.com/users/siddharthist/gists{/gist_id}","starred_url":"https://api.github.com/users/siddharthist/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/siddharthist/subscriptions","organizations_url":"https://api.github.com/users/siddharthist/orgs","repos_url":"https://api.github.com/users/siddharthist/repos","events_url":"https://api.github.com/users/siddharthist/events{/privacy}","received_events_url":"https://api.github.com/users/siddharthist/received_events","type":"User","site_admin":false},"created_at":"2016-09-27T17:57:06Z","updated_at":"2016-09-27T17:57:06Z","body":"@groxxda I understand that that's how it normally works. However, I think someone may have automated this for idrisPackages. For instance, notice that the Idris package `wl-pprint` is not mentioned in all-packages.nix, yet remains installable."}}
{"actor":{"display_login":"siddharthist"}}