{"action":"created","issue":{"url":"https://api.github.com/repos/Homebrew/homebrew-core/issues/440","repository_url":"https://api.github.com/repos/Homebrew/homebrew-core","labels_url":"https://api.github.com/repos/Homebrew/homebrew-core/issues/440/labels{/name}","comments_url":"https://api.github.com/repos/Homebrew/homebrew-core/issues/440/comments","events_url":"https://api.github.com/repos/Homebrew/homebrew-core/issues/440/events","html_url":"https://github.com/Homebrew/homebrew-core/pull/440","id":149308379,"number":440,"title":"agda 2.5.1","user":{"login":"mietek","id":166207,"avatar_url":"https://avatars.githubusercontent.com/u/166207?v=3","gravatar_id":"","url":"https://api.github.com/users/mietek","html_url":"https://github.com/mietek","followers_url":"https://api.github.com/users/mietek/followers","following_url":"https://api.github.com/users/mietek/following{/other_user}","gists_url":"https://api.github.com/users/mietek/gists{/gist_id}","starred_url":"https://api.github.com/users/mietek/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mietek/subscriptions","organizations_url":"https://api.github.com/users/mietek/orgs","repos_url":"https://api.github.com/users/mietek/repos","events_url":"https://api.github.com/users/mietek/events{/privacy}","received_events_url":"https://api.github.com/users/mietek/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":6,"created_at":"2016-04-19T00:17:14Z","updated_at":"2016-04-19T11:53:36Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/Homebrew/homebrew-core/pulls/440","html_url":"https://github.com/Homebrew/homebrew-core/pull/440","diff_url":"https://github.com/Homebrew/homebrew-core/pull/440.diff","patch_url":"https://github.com/Homebrew/homebrew-core/pull/440.patch"},"body":"* Updates Agda to 2.5.1 and the Agda standard library to 0.12.\r\n\r\n* Removes temporary maintenance patches.\r\n\r\n* Renames the `without-malonzo` option to `without-ghc`, following upstream change:\r\n  https://github.com/agda/agda/issues/1859\r\n\r\n* Removes functionality relating to the removed FFI package:\r\n  https://github.com/agda/agda-stdlib/commit/86b4fe4beec5ac7ea3b38cdacfd335ef5f82cdd9\r\n\r\n* Updates caveats for clarification following recent changes:\r\n  https://github.com/agda/agda/blob/master/CHANGELOG#L52-121\r\n\r\n* Simplifies tests to avoid experimental features and better reflect common usage."},"comment":{"url":"https://api.github.com/repos/Homebrew/homebrew-core/issues/comments/211878958","html_url":"https://github.com/Homebrew/homebrew-core/pull/440#issuecomment-211878958","issue_url":"https://api.github.com/repos/Homebrew/homebrew-core/issues/440","id":211878958,"user":{"login":"mietek","id":166207,"avatar_url":"https://avatars.githubusercontent.com/u/166207?v=3","gravatar_id":"","url":"https://api.github.com/users/mietek","html_url":"https://github.com/mietek","followers_url":"https://api.github.com/users/mietek/followers","following_url":"https://api.github.com/users/mietek/following{/other_user}","gists_url":"https://api.github.com/users/mietek/gists{/gist_id}","starred_url":"https://api.github.com/users/mietek/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/mietek/subscriptions","organizations_url":"https://api.github.com/users/mietek/orgs","repos_url":"https://api.github.com/users/mietek/repos","events_url":"https://api.github.com/users/mietek/events{/privacy}","received_events_url":"https://api.github.com/users/mietek/received_events","type":"User","site_admin":false},"created_at":"2016-04-19T11:53:36Z","updated_at":"2016-04-19T11:53:36Z","body":"I have now."}}