Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 559564 - sys-apps/portage-2.2.20.1: a slot conflict between dev-lang/ocaml and sci-mathematics/coq cannot be auto resolved
Summary: sys-apps/portage-2.2.20.1: a slot conflict between dev-lang/ocaml and sci-mat...
Status: UNCONFIRMED
Alias: None
Product: Portage Development
Classification: Unclassified
Component: Unclassified (show other bugs)
Hardware: All Linux
: Normal normal (vote)
Assignee: Portage team
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2015-09-04 02:11 UTC by Yichao Zhou
Modified: 2018-04-28 18:54 UTC (History)
0 users

See Also:
Package list:
Runtime testing required: ---


Attachments
emerge --info (emergeinfo.txt,17.21 KB, text/plain)
2015-09-04 03:35 UTC, Yichao Zhou
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Yichao Zhou 2015-09-04 02:11:41 UTC
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.
Comment 1 Zac Medico gentoo-dev 2015-09-04 02:28:08 UTC
(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?
Comment 2 Zac Medico gentoo-dev 2015-09-04 02:28:49 UTC
Also, please post emerge --info.
Comment 3 Yichao Zhou 2015-09-04 03:35:17 UTC
Created attachment 410966 [details]
emerge --info
Comment 4 Yichao Zhou 2015-09-04 03:38:03 UTC
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.
Comment 5 Zac Medico gentoo-dev 2015-09-04 03:41:27 UTC
(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.
Comment 6 Yichao Zhou 2015-09-04 04:28:21 UTC
Another problem is that the world update will skip the update of ocaml in this case so that I need to update it manually.
Comment 7 Brian Dolbec (RETIRED) gentoo-dev 2015-09-04 04:37:01 UTC
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.
Comment 8 Anton Kochkov 2018-04-28 17:03:59 UTC
Can be closed I guess?
Comment 9 Zac Medico gentoo-dev 2018-04-28 18:54:30 UTC
(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.