When I try to upgrade the system, I got a slot conflict which cannot be auto resolved: !!! Multiple package instances within a single package slot have been pulled !!! into the dependency graph, resulting in a slot conflict: dev-lang/ocaml:0 (dev-lang/ocaml-4.02.3:0/4.02.3::gentoo, ebuild scheduled for merge) pulled in by (no parents that aren't satisfied by other packages in this slot) (dev-lang/ocaml-4.02.2:0/4.02.2::gentoo, ebuild scheduled for merge) pulled in by >=dev-lang/ocaml-3.11.2:0/4.02.2=[ocamlopt] required by (sci-mathematics/coq-8.4_p6:0/0::gentoo, installed) ^^^^^^^^^^ The final solution is to emerge -C sci-mathematics/coq first and then upgrade ocaml and install coq.
(In reply to Yichao Zhou from comment #0) > When I try to upgrade the system, I got a slot conflict which cannot be auto > resolved: What emerge command did you use?
Also, please post emerge --info.
Created attachment 410966 [details] emerge --info
I think the emerge command I used is either eme -uND world or eme -1u dev-lang/ocaml which are the only two command related I found in my zsh history.
(In reply to Yichao Zhou from comment #4) > I think the emerge command I used is either > > eme -uND world If it happens with a world update, then it's similar to bug 554838. > or > > eme -1u dev-lang/ocaml > > which are the only two command related I found in my zsh history. If it's not a world update, then it's more like bug 559354.
Another problem is that the world update will skip the update of ocaml in this case so that I need to update it manually.
In cases like that, you can add it to the command line, to have it included, for a complete dependency graph to solve these kinds of issues.
Can be closed I guess?
(In reply to Yichao Zhou from comment #6) > Another problem is that the world update will skip the update of ocaml in > this case so that I need to update it manually. If you can reproduce this, then please attach a debug log created as follows: emerge -puD @world --debug 2>&1 > debug.log xz -9 debug.log (In reply to Anton Kochkov from comment #8) > Can be closed I guess? If it's reproducible then let's find out what causes it.