{"action":"created","issue":{"url":"https://api.github.com/repos/Homebrew/homebrew-core/issues/2498","repository_url":"https://api.github.com/repos/Homebrew/homebrew-core","labels_url":"https://api.github.com/repos/Homebrew/homebrew-core/issues/2498/labels{/name}","comments_url":"https://api.github.com/repos/Homebrew/homebrew-core/issues/2498/comments","events_url":"https://api.github.com/repos/Homebrew/homebrew-core/issues/2498/events","html_url":"https://github.com/Homebrew/homebrew-core/pull/2498","id":162954126,"number":2498,"title":"coq: fix emacs caveat","user":{"login":"hrldcpr","id":796849,"avatar_url":"https://avatars.githubusercontent.com/u/796849?v=3","gravatar_id":"","url":"https://api.github.com/users/hrldcpr","html_url":"https://github.com/hrldcpr","followers_url":"https://api.github.com/users/hrldcpr/followers","following_url":"https://api.github.com/users/hrldcpr/following{/other_user}","gists_url":"https://api.github.com/users/hrldcpr/gists{/gist_id}","starred_url":"https://api.github.com/users/hrldcpr/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/hrldcpr/subscriptions","organizations_url":"https://api.github.com/users/hrldcpr/orgs","repos_url":"https://api.github.com/users/hrldcpr/repos","events_url":"https://api.github.com/users/hrldcpr/events{/privacy}","received_events_url":"https://api.github.com/users/hrldcpr/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":10,"created_at":"2016-06-29T15:22:43Z","updated_at":"2016-06-29T20:11:47Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/Homebrew/homebrew-core/pulls/2498","html_url":"https://github.com/Homebrew/homebrew-core/pull/2498","diff_url":"https://github.com/Homebrew/homebrew-core/pull/2498.diff","patch_url":"https://github.com/Homebrew/homebrew-core/pull/2498.patch"},"body":"- [x] Have you followed the guidelines in our [Contributing](https://github.com/Homebrew/homebrew-core/blob/master/.github/CONTRIBUTING.md) document?\r\n- [x] Have you checked to ensure there aren't other open [Pull Requests](https://github.com/Homebrew/homebrew-core/pulls) for the same formula update/change?\r\n- [x] Have you built your formula locally prior to submission with `brew install <formula>` (where `<formula>` is the name of the formula you're submitting)?\r\n- [x] Does your submission pass `brew audit --strict --online <formula>` (after doing `brew install <formula>`)?\r\n\r\n-----\r\n\r\nThe emacs major mode bundled with Coq is called `gallina.el`, not `coq.el` file, so the current caveat doesn't work.\r\n\r\nFrom the [Coq Reference Manual](https://coq.inria.fr/refman/Reference-Manual017.html) section 15.6.1:\r\n> Coq comes with a Major mode for GNU Emacs, `gallina.el`.\r\n> Add the following lines to your .emacs file:\r\n>\r\n>     (setq auto-mode-alist (cons '(\"\\\\.v$\" . coq-mode) auto-mode-alist))\r\n>     (autoload 'coq-mode \"gallina\" \"Major mode for editing Coq vernacular.\" t)\r\n"},"comment":{"url":"https://api.github.com/repos/Homebrew/homebrew-core/issues/comments/229473707","html_url":"https://github.com/Homebrew/homebrew-core/pull/2498#issuecomment-229473707","issue_url":"https://api.github.com/repos/Homebrew/homebrew-core/issues/2498","id":229473707,"user":{"login":"ilovezfs","id":5268928,"avatar_url":"https://avatars.githubusercontent.com/u/5268928?v=3","gravatar_id":"","url":"https://api.github.com/users/ilovezfs","html_url":"https://github.com/ilovezfs","followers_url":"https://api.github.com/users/ilovezfs/followers","following_url":"https://api.github.com/users/ilovezfs/following{/other_user}","gists_url":"https://api.github.com/users/ilovezfs/gists{/gist_id}","starred_url":"https://api.github.com/users/ilovezfs/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/ilovezfs/subscriptions","organizations_url":"https://api.github.com/users/ilovezfs/orgs","repos_url":"https://api.github.com/users/ilovezfs/repos","events_url":"https://api.github.com/users/ilovezfs/events{/privacy}","received_events_url":"https://api.github.com/users/ilovezfs/received_events","type":"User","site_admin":false},"created_at":"2016-06-29T20:11:47Z","updated_at":"2016-06-29T20:11:47Z","body":"Well, it was 10.11 not 10.10 so that pretty much confirms it's a parallelization issue :)\r\n\r\nPlease add a commit making it\r\n```\r\nENV.deparallelize { system \"make\", \"install\" }\r\n```"}}
{"actor":{"display_login":"ilovezfs"}}