{"action":"opened","issue":{"url":"https://api.github.com/repos/coq/opam-coq-archive/issues/109","repository_url":"https://api.github.com/repos/coq/opam-coq-archive","labels_url":"https://api.github.com/repos/coq/opam-coq-archive/issues/109/labels{/name}","comments_url":"https://api.github.com/repos/coq/opam-coq-archive/issues/109/comments","events_url":"https://api.github.com/repos/coq/opam-coq-archive/issues/109/events","html_url":"https://github.com/coq/opam-coq-archive/issues/109","id":191234836,"number":109,"title":"coq 8.6.dev missing dependency on ocamlfind","user":{"login":"RalfJung","id":330628,"avatar_url":"https://avatars.githubusercontent.com/u/330628?v=3","gravatar_id":"","url":"https://api.github.com/users/RalfJung","html_url":"https://github.com/RalfJung","followers_url":"https://api.github.com/users/RalfJung/followers","following_url":"https://api.github.com/users/RalfJung/following{/other_user}","gists_url":"https://api.github.com/users/RalfJung/gists{/gist_id}","starred_url":"https://api.github.com/users/RalfJung/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/RalfJung/subscriptions","organizations_url":"https://api.github.com/users/RalfJung/orgs","repos_url":"https://api.github.com/users/RalfJung/repos","events_url":"https://api.github.com/users/RalfJung/events{/privacy}","received_events_url":"https://api.github.com/users/RalfJung/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":0,"created_at":"2016-11-23T10:31:42Z","updated_at":"2016-11-23T10:31:42Z","closed_at":null,"body":"Doing `opam pin add coq 8.6.dev` results in the following error:\r\n```\r\n#=== ERROR while installing coq.8.6.dev =======================================#\r\n# opam-version 1.2.2\r\n# os           linux\r\n# command      ./configure -configdir /home/r/.opam/coq-8.6/lib/coq/config -mandir /home/r/.opam/coq-8.6/man -with-doc no -prefix /home/r/.opam/coq-8.6 -usecamlp5 -camlp5dir /home/r/.opam/coq-8.6/lib/camlp5 -coqide no -debug\r\n# path         /home/r/.opam/coq-8.6/build/coq.8.6.dev\r\n# compiler     system (4.02.3)\r\n# exit-code    1\r\n# env-file     /home/r/.opam/coq-8.6/build/coq.8.6.dev/coq-15699-8c0dd3.env\r\n# stdout-file  /home/r/.opam/coq-8.6/build/coq.8.6.dev/coq-15699-8c0dd3.out\r\n# stderr-file  /home/r/.opam/coq-8.6/build/coq.8.6.dev/coq-15699-8c0dd3.err\r\n### stderr ###\r\n# Error: cannot find 'ocamlfind' in your path!\r\n# Please adjust your path or use the -ocamlfind option of ./configure\r\n# Configuration script failed!\r\n```\r\nI guess this means that a dependency is missing?"}}
{"actor":{"display_login":"RalfJung"}}