{"action":"created","issue":{"url":"https://api.github.com/repos/tamarin-prover/tamarin-prover/issues/153","labels_url":"https://api.github.com/repos/tamarin-prover/tamarin-prover/issues/153/labels{/name}","comments_url":"https://api.github.com/repos/tamarin-prover/tamarin-prover/issues/153/comments","events_url":"https://api.github.com/repos/tamarin-prover/tamarin-prover/issues/153/events","html_url":"https://github.com/tamarin-prover/tamarin-prover/issues/153","id":88158952,"number":153,"title":"Linux Install Issue using Cabal","user":{"login":"callalilychen","id":4185249,"avatar_url":"https://avatars.githubusercontent.com/u/4185249?v=3","gravatar_id":"","url":"https://api.github.com/users/callalilychen","html_url":"https://github.com/callalilychen","followers_url":"https://api.github.com/users/callalilychen/followers","following_url":"https://api.github.com/users/callalilychen/following{/other_user}","gists_url":"https://api.github.com/users/callalilychen/gists{/gist_id}","starred_url":"https://api.github.com/users/callalilychen/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/callalilychen/subscriptions","organizations_url":"https://api.github.com/users/callalilychen/orgs","repos_url":"https://api.github.com/users/callalilychen/repos","events_url":"https://api.github.com/users/callalilychen/events{/privacy}","received_events_url":"https://api.github.com/users/callalilychen/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":1,"created_at":"2015-06-14T09:57:35Z","updated_at":"2015-06-14T10:25:21Z","closed_at":null,"body":"I'm trying to install Tamarin Prover on Arch linux using \"cabal install tamarin-prover\" . I get the following output when attempting that:\r\n\r\nResolving dependencies...\r\ncabal: Could not resolve dependencies:\r\ntrying: split-0.2.2/installed-204... (user goal)\r\ntrying: tamarin-prover-0.8.6.1 (user goal)\r\nnext goal: tamarin-prover-term (dependency of tamarin-prover-0.8.6.1)\r\nrejecting: tamarin-prover-term-0.8.5.1 (conflict:\r\nsplit==0.2.2/installed-204..., tamarin-prover-term => split==0.1.*)\r\nrejecting: tamarin-prover-term-0.8.5.0, 0.8.4.0, 0.8.2.0, 0.8.1.0, 0.8.0.0,\r\n0.6.0.0, 0.4.1.0, 0.4.0.0, 0.1.0.0 (conflict: tamarin-prover =>\r\ntamarin-prover-term>=0.8.5.1 && <0.9)\r\nDependency tree exhaustively searched.\r\n\r\nNote: when using a sandbox, all packages are required to have consistent\r\ndependencies. Try reinstalling/unregistering the offending packages or\r\nrecreating the sandbox.\r\n\r\nCan you help me to solve this conflict? \r\n"},"comment":{"url":"https://api.github.com/repos/tamarin-prover/tamarin-prover/issues/comments/111810773","html_url":"https://github.com/tamarin-prover/tamarin-prover/issues/153#issuecomment-111810773","issue_url":"https://api.github.com/repos/tamarin-prover/tamarin-prover/issues/153","id":111810773,"user":{"login":"cascremers","id":1481528,"avatar_url":"https://avatars.githubusercontent.com/u/1481528?v=3","gravatar_id":"","url":"https://api.github.com/users/cascremers","html_url":"https://github.com/cascremers","followers_url":"https://api.github.com/users/cascremers/followers","following_url":"https://api.github.com/users/cascremers/following{/other_user}","gists_url":"https://api.github.com/users/cascremers/gists{/gist_id}","starred_url":"https://api.github.com/users/cascremers/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/cascremers/subscriptions","organizations_url":"https://api.github.com/users/cascremers/orgs","repos_url":"https://api.github.com/users/cascremers/repos","events_url":"https://api.github.com/users/cascremers/events{/privacy}","received_events_url":"https://api.github.com/users/cascremers/received_events","type":"User","site_admin":false},"created_at":"2015-06-14T10:25:21Z","updated_at":"2015-06-14T10:25:21Z","body":"Did you already try to compile the development branch from github? We\nrecently made some changes that might have solved this type of problem.\n\nBest,\n\nCas\n\nOn Sun, Jun 14, 2015 at 10:57 AM, callalilychen <notifications@github.com>\nwrote:\n\n> I'm trying to install Tamarin Prover on Arch linux using \"cabal install\n> tamarin-prover\" . I get the following output when attempting that:\n>\n> Resolving dependencies...\n> cabal: Could not resolve dependencies:\n> trying: split-0.2.2/installed-204... (user goal)\n> trying: tamarin-prover-0.8.6.1 (user goal)\n> next goal: tamarin-prover-term (dependency of tamarin-prover-0.8.6.1)\n> rejecting: tamarin-prover-term-0.8.5.1 (conflict:\n> split==0.2.2/installed-204..., tamarin-prover-term => split==0.1.*)\n> rejecting: tamarin-prover-term-0.8.5.0, 0.8.4.0, 0.8.2.0, 0.8.1.0, 0.8.0.0,\n> 0.6.0.0, 0.4.1.0, 0.4.0.0, 0.1.0.0 (conflict: tamarin-prover =>\n> tamarin-prover-term>=0.8.5.1 && <0.9)\n> Dependency tree exhaustively searched.\n>\n> Note: when using a sandbox, all packages are required to have consistent\n> dependencies. Try reinstalling/unregistering the offending packages or\n> recreating the sandbox.\n>\n> Can you help me to solve this conflict?\n>\n> —\n> Reply to this email directly or view it on GitHub\n> <https://github.com/tamarin-prover/tamarin-prover/issues/153>.\n>\n"}}