{"action":"created","issue":{"url":"https://api.github.com/repos/ocaml/opam/issues/2486","repository_url":"https://api.github.com/repos/ocaml/opam","labels_url":"https://api.github.com/repos/ocaml/opam/issues/2486/labels{/name}","comments_url":"https://api.github.com/repos/ocaml/opam/issues/2486/comments","events_url":"https://api.github.com/repos/ocaml/opam/issues/2486/events","html_url":"https://github.com/ocaml/opam/issues/2486","id":142651399,"number":2486,"title":"Dev version of opam gives non-sensical solution","user":{"login":"Drup","id":801124,"avatar_url":"https://avatars.githubusercontent.com/u/801124?v=3","gravatar_id":"","url":"https://api.github.com/users/Drup","html_url":"https://github.com/Drup","followers_url":"https://api.github.com/users/Drup/followers","following_url":"https://api.github.com/users/Drup/following{/other_user}","gists_url":"https://api.github.com/users/Drup/gists{/gist_id}","starred_url":"https://api.github.com/users/Drup/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Drup/subscriptions","organizations_url":"https://api.github.com/users/Drup/orgs","repos_url":"https://api.github.com/users/Drup/repos","events_url":"https://api.github.com/users/Drup/events{/privacy}","received_events_url":"https://api.github.com/users/Drup/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":7,"created_at":"2016-03-22T13:34:13Z","updated_at":"2016-06-01T12:23:01Z","closed_at":"2016-06-01T12:23:01Z","body":"I'm not sure what's the problem. After noticing it. I upgraded everything (clasp, gringo, aspcud) without any change. Here is a log: https://gist.github.com/Drup/2de105c953341908a737\r\nIt also seems to takes a very long to come up with a solution, much longer than it should. \r\n\r\n```\r\n% opam --git-version\r\nfe1a2db6aebf953c258fbda69935db6814aa38a5\r\n```\r\n```\r\n% opam config report\r\n# OPAM config report\r\n# opam-version    1.3.0~dev3 (fe1a2db6aebf953c258fbda69935db6814aa38a5) \r\n# self-upgrade    no\r\n# os              linux\r\n# external-solver aspcud $in $out $criteria\r\n# criteria        -count(removed),-notuptodate(request),-sum(request,version-lag),-count(down),-notuptodate(changed),-count(changed),-notuptodate(solution),-sum(solution,version-lag)\r\n# jobs            4\r\n# repositories    1 (http), 3 (version-controlled)\r\n# pinned          9 (version control)\r\n# current-switch  4.02.3\r\n# last-update     2016-03-22 12:28\r\n```"},"comment":{"url":"https://api.github.com/repos/ocaml/opam/issues/comments/222976087","html_url":"https://github.com/ocaml/opam/issues/2486#issuecomment-222976087","issue_url":"https://api.github.com/repos/ocaml/opam/issues/2486","id":222976087,"user":{"login":"Drup","id":801124,"avatar_url":"https://avatars.githubusercontent.com/u/801124?v=3","gravatar_id":"","url":"https://api.github.com/users/Drup","html_url":"https://github.com/Drup","followers_url":"https://api.github.com/users/Drup/followers","following_url":"https://api.github.com/users/Drup/following{/other_user}","gists_url":"https://api.github.com/users/Drup/gists{/gist_id}","starred_url":"https://api.github.com/users/Drup/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/Drup/subscriptions","organizations_url":"https://api.github.com/users/Drup/orgs","repos_url":"https://api.github.com/users/Drup/repos","events_url":"https://api.github.com/users/Drup/events{/privacy}","received_events_url":"https://api.github.com/users/Drup/received_events","type":"User","site_admin":false},"created_at":"2016-06-01T12:23:01Z","updated_at":"2016-06-01T12:23:01Z","body":"I haven't seen the problem again with 2.0, so yes, you probably fixed it on the way!"}}
{"actor":{"display_login":"Drup"}}