{"action":"created","issue":{"url":"https://api.github.com/repos/ocaml/opam/issues/2203","labels_url":"https://api.github.com/repos/ocaml/opam/issues/2203/labels{/name}","comments_url":"https://api.github.com/repos/ocaml/opam/issues/2203/comments","events_url":"https://api.github.com/repos/ocaml/opam/issues/2203/events","html_url":"https://github.com/ocaml/opam/issues/2203","id":89046677,"number":2203,"title":"External solver failed with inconsistent return value on Arch Linux","user":{"login":"angrygoats","id":11184919,"avatar_url":"https://avatars.githubusercontent.com/u/11184919?v=3","gravatar_id":"","url":"https://api.github.com/users/angrygoats","html_url":"https://github.com/angrygoats","followers_url":"https://api.github.com/users/angrygoats/followers","following_url":"https://api.github.com/users/angrygoats/following{/other_user}","gists_url":"https://api.github.com/users/angrygoats/gists{/gist_id}","starred_url":"https://api.github.com/users/angrygoats/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/angrygoats/subscriptions","organizations_url":"https://api.github.com/users/angrygoats/orgs","repos_url":"https://api.github.com/users/angrygoats/repos","events_url":"https://api.github.com/users/angrygoats/events{/privacy}","received_events_url":"https://api.github.com/users/angrygoats/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":9,"created_at":"2015-06-17T15:18:52Z","updated_at":"2015-06-27T09:46:20Z","closed_at":null,"body":"Hey everyone. I ran into https://github.com/ocaml/opam/issues/1273 while trying to fix this problem and I'm not exactly sure what to do, who to file a bug with, or anything about the solver in general. I'm just trying to get things working so I can work my way through Real World OCaml. I suspect it is a bad mix of aspcud, clasp, and gringo, but I'm running Arch Linux so homebrew isn't the problem (unlike the other post). \r\n\r\n*CUDF file*\r\nhttp://s000.tinyupload.com/?file_id=04046394928238958812\r\n\r\n*Opam config report*\r\nhttp://s000.tinyupload.com/?file_id=50862748621275713669\r\n\r\nFinally, a paranoid aspcud check on the cudf results in\r\n\r\n```\r\naspcud solver-error28656-1.cudf paranoid\r\nclasp version 3.1.2\r\nReading from /tmp/gringo.out40xfWt\r\nsolving...\r\n```\r\n\r\nAnd that's it.\r\n\r\nI would really appreciate any help. Thank you! \r\n"},"comment":{"url":"https://api.github.com/repos/ocaml/opam/issues/comments/115999704","html_url":"https://github.com/ocaml/opam/issues/2203#issuecomment-115999704","issue_url":"https://api.github.com/repos/ocaml/opam/issues/2203","id":115999704,"user":{"login":"gfrey","id":519838,"avatar_url":"https://avatars.githubusercontent.com/u/519838?v=3","gravatar_id":"","url":"https://api.github.com/users/gfrey","html_url":"https://github.com/gfrey","followers_url":"https://api.github.com/users/gfrey/followers","following_url":"https://api.github.com/users/gfrey/following{/other_user}","gists_url":"https://api.github.com/users/gfrey/gists{/gist_id}","starred_url":"https://api.github.com/users/gfrey/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/gfrey/subscriptions","organizations_url":"https://api.github.com/users/gfrey/orgs","repos_url":"https://api.github.com/users/gfrey/repos","events_url":"https://api.github.com/users/gfrey/events{/privacy}","received_events_url":"https://api.github.com/users/gfrey/received_events","type":"User","site_admin":false},"created_at":"2015-06-27T09:46:20Z","updated_at":"2015-06-27T09:46:20Z","body":"I just modified the clasp PKGBUILD so nothing else should need to be changed."}}