{"action":"created","issue":{"url":"https://api.github.com/repos/typedefs/typedefs/issues/11","repository_url":"https://api.github.com/repos/typedefs/typedefs","labels_url":"https://api.github.com/repos/typedefs/typedefs/issues/11/labels{/name}","comments_url":"https://api.github.com/repos/typedefs/typedefs/issues/11/comments","events_url":"https://api.github.com/repos/typedefs/typedefs/issues/11/events","html_url":"https://github.com/typedefs/typedefs/issues/11","id":328112692,"node_id":"MDU6SXNzdWUzMjgxMTI2OTI=","number":11,"title":"Nix 2.x build problems","user":{"login":"epost","id":834942,"node_id":"MDQ6VXNlcjgzNDk0Mg==","avatar_url":"https://avatars1.githubusercontent.com/u/834942?v=4","gravatar_id":"","url":"https://api.github.com/users/epost","html_url":"https://github.com/epost","followers_url":"https://api.github.com/users/epost/followers","following_url":"https://api.github.com/users/epost/following{/other_user}","gists_url":"https://api.github.com/users/epost/gists{/gist_id}","starred_url":"https://api.github.com/users/epost/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/epost/subscriptions","organizations_url":"https://api.github.com/users/epost/orgs","repos_url":"https://api.github.com/users/epost/repos","events_url":"https://api.github.com/users/epost/events{/privacy}","received_events_url":"https://api.github.com/users/epost/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":{"login":"epost","id":834942,"node_id":"MDQ6VXNlcjgzNDk0Mg==","avatar_url":"https://avatars1.githubusercontent.com/u/834942?v=4","gravatar_id":"","url":"https://api.github.com/users/epost","html_url":"https://github.com/epost","followers_url":"https://api.github.com/users/epost/followers","following_url":"https://api.github.com/users/epost/following{/other_user}","gists_url":"https://api.github.com/users/epost/gists{/gist_id}","starred_url":"https://api.github.com/users/epost/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/epost/subscriptions","organizations_url":"https://api.github.com/users/epost/orgs","repos_url":"https://api.github.com/users/epost/repos","events_url":"https://api.github.com/users/epost/events{/privacy}","received_events_url":"https://api.github.com/users/epost/received_events","type":"User","site_admin":false},"assignees":[{"login":"epost","id":834942,"node_id":"MDQ6VXNlcjgzNDk0Mg==","avatar_url":"https://avatars1.githubusercontent.com/u/834942?v=4","gravatar_id":"","url":"https://api.github.com/users/epost","html_url":"https://github.com/epost","followers_url":"https://api.github.com/users/epost/followers","following_url":"https://api.github.com/users/epost/following{/other_user}","gists_url":"https://api.github.com/users/epost/gists{/gist_id}","starred_url":"https://api.github.com/users/epost/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/epost/subscriptions","organizations_url":"https://api.github.com/users/epost/orgs","repos_url":"https://api.github.com/users/epost/repos","events_url":"https://api.github.com/users/epost/events{/privacy}","received_events_url":"https://api.github.com/users/epost/received_events","type":"User","site_admin":false},{"login":"TealG","id":25874556,"node_id":"MDQ6VXNlcjI1ODc0NTU2","avatar_url":"https://avatars2.githubusercontent.com/u/25874556?v=4","gravatar_id":"","url":"https://api.github.com/users/TealG","html_url":"https://github.com/TealG","followers_url":"https://api.github.com/users/TealG/followers","following_url":"https://api.github.com/users/TealG/following{/other_user}","gists_url":"https://api.github.com/users/TealG/gists{/gist_id}","starred_url":"https://api.github.com/users/TealG/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/TealG/subscriptions","organizations_url":"https://api.github.com/users/TealG/orgs","repos_url":"https://api.github.com/users/TealG/repos","events_url":"https://api.github.com/users/TealG/events{/privacy}","received_events_url":"https://api.github.com/users/TealG/received_events","type":"User","site_admin":false}],"milestone":null,"comments":2,"created_at":"2018-05-31T12:09:38Z","updated_at":"2018-07-18T01:59:04Z","closed_at":"2018-07-18T01:59:04Z","author_association":"COLLABORATOR","body":"# Problem\r\n\r\nThe project will not build under Nix 2.x and Idris 1.2.0 using the build file [default.nix](https://github.com/typedefs/typedefs/blob/8/unit-tests/default.nix). (NB: this is a branch.) Like Alex points out, this problem is described under NixOS/nixpkgs#33994.\r\n\r\nThe error:\r\n```\r\nEntering directory `./src'\r\n Can't find import Builtins\r\n Can't find import Prelude\r\n Can't find import Data/Fin\r\n```\r\n\r\n# Reproduce\r\n\r\n1) Run `nix-shell` in the project dir containing [default.nix](https://github.com/typedefs/typedefs/blob/8/unit-tests/default.nix).\r\n\r\n2) From inside the shell, run:\r\n   ```\r\n   idris --build typedefs.ipkg\r\n   ```"},"comment":{"url":"https://api.github.com/repos/typedefs/typedefs/issues/comments/405784126","html_url":"https://github.com/typedefs/typedefs/issues/11#issuecomment-405784126","issue_url":"https://api.github.com/repos/typedefs/typedefs/issues/11","id":405784126,"node_id":"MDEyOklzc3VlQ29tbWVudDQwNTc4NDEyNg==","user":{"login":"TealG","id":25874556,"node_id":"MDQ6VXNlcjI1ODc0NTU2","avatar_url":"https://avatars2.githubusercontent.com/u/25874556?v=4","gravatar_id":"","url":"https://api.github.com/users/TealG","html_url":"https://github.com/TealG","followers_url":"https://api.github.com/users/TealG/followers","following_url":"https://api.github.com/users/TealG/following{/other_user}","gists_url":"https://api.github.com/users/TealG/gists{/gist_id}","starred_url":"https://api.github.com/users/TealG/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/TealG/subscriptions","organizations_url":"https://api.github.com/users/TealG/orgs","repos_url":"https://api.github.com/users/TealG/repos","events_url":"https://api.github.com/users/TealG/events{/privacy}","received_events_url":"https://api.github.com/users/TealG/received_events","type":"User","site_admin":false},"created_at":"2018-07-18T01:59:04Z","updated_at":"2018-07-18T01:59:04Z","author_association":"NONE","body":"see #20 "}}
{"actor":{"display_login":"TealG"}}