{"action":"created","issue":{"url":"https://api.github.com/repos/Karmaki/coq-dpdgraph/issues/26","repository_url":"https://api.github.com/repos/Karmaki/coq-dpdgraph","labels_url":"https://api.github.com/repos/Karmaki/coq-dpdgraph/issues/26/labels{/name}","comments_url":"https://api.github.com/repos/Karmaki/coq-dpdgraph/issues/26/comments","events_url":"https://api.github.com/repos/Karmaki/coq-dpdgraph/issues/26/events","html_url":"https://github.com/Karmaki/coq-dpdgraph/pull/26","id":235788000,"number":26,"title":"Fix for coq API, and simplify test for Prop","user":{"login":"SkySkimmer","id":2461932,"avatar_url":"https://avatars2.githubusercontent.com/u/2461932?v=3","gravatar_id":"","url":"https://api.github.com/users/SkySkimmer","html_url":"https://github.com/SkySkimmer","followers_url":"https://api.github.com/users/SkySkimmer/followers","following_url":"https://api.github.com/users/SkySkimmer/following{/other_user}","gists_url":"https://api.github.com/users/SkySkimmer/gists{/gist_id}","starred_url":"https://api.github.com/users/SkySkimmer/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/SkySkimmer/subscriptions","organizations_url":"https://api.github.com/users/SkySkimmer/orgs","repos_url":"https://api.github.com/users/SkySkimmer/repos","events_url":"https://api.github.com/users/SkySkimmer/events{/privacy}","received_events_url":"https://api.github.com/users/SkySkimmer/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"assignees":[],"milestone":null,"comments":1,"created_at":"2017-06-14T07:33:44Z","updated_at":"2017-06-14T09:48:03Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/Karmaki/coq-dpdgraph/pulls/26","html_url":"https://github.com/Karmaki/coq-dpdgraph/pull/26","diff_url":"https://github.com/Karmaki/coq-dpdgraph/pull/26.diff","patch_url":"https://github.com/Karmaki/coq-dpdgraph/pull/26.patch"},"body":""},"comment":{"url":"https://api.github.com/repos/Karmaki/coq-dpdgraph/issues/comments/308381724","html_url":"https://github.com/Karmaki/coq-dpdgraph/pull/26#issuecomment-308381724","issue_url":"https://api.github.com/repos/Karmaki/coq-dpdgraph/issues/26","id":308381724,"user":{"login":"Karmaki","id":3416122,"avatar_url":"https://avatars0.githubusercontent.com/u/3416122?v=3","gravatar_id":"","url":"https://api.github.com/users/Karmaki","html_url":"https://github.com/Karmaki","followers_url":"https://api.github.com/users/Karmaki/followers","following_url":"https://api.github.com/users/Karmaki/following{/other_user}","gists_url":"https://api.github.com/users/Karmaki/gists{/gist_id}","starred_url":"https://api.github.com/users/Karmaki/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Karmaki/subscriptions","organizations_url":"https://api.github.com/users/Karmaki/orgs","repos_url":"https://api.github.com/users/Karmaki/repos","events_url":"https://api.github.com/users/Karmaki/events{/privacy}","received_events_url":"https://api.github.com/users/Karmaki/received_events","type":"User","site_admin":false},"created_at":"2017-06-14T09:48:03Z","updated_at":"2017-06-14T09:48:03Z","body":"The error is:\r\n\r\n    File \"searchdepend.ml4\", line 58, characters 40-55:\r\n    Error: Unbound value Univ.out_punivs\r\n\r\nIs it supposed to be defined in `coq` `trunk` branch? (sorry, don't have time to check it myself right now)."}}
{"actor":{"display_login":"Karmaki"}}