trying to upgrade

Mehmet Erol Sanliturk m.e.sanliturk at gmail.com
Sun Nov 9 17:38:04 PST 2014


On Sun, Nov 9, 2014 at 2:42 PM, Pierre Abbat <phma at leaf.dragonflybsd.org>
wrote:

> I'm upgrading the packages. First it downloaded a bunch of packages but
> didn't
> upgrade anything. Then I ran "pkg upgrade" again and it fetched some more
> packages and said the following:
>
> Checking integrity... done (19 conflicting)
> pkg: Cannot solve problem using SAT solver:
> cannot install package kopete~net-im/kopete-kde4, remove it from request?
> [Y/n]: y
> cannot install package libotr3~security/libotr3, remove it from request?
> [Y/n]: y
> pkg: Cannot solve problem using SAT solver:
> cannot install package xf86-video-intel~x11-drivers/xf86-video-intel,
> remove
> it from request? [Y/n]: y
> cannot install package xorg-drivers~x11-drivers/xorg-drivers, remove it
> from
> request? [Y/n]: y
> Checking integrity... done (1 conflicting)
> Checking integrity... done (0 conflicting)
> Conflicts with the existing packages have been found.
> One more solver iteration is needed to resolve them.
> The following 800 packages will be affected (of 0 checked):
>
> Then it put up a list of packages to remove and install again. Does SAT
> have
> anything to do with the satisfiability problem?
>
> Pierre
> --
> ve ka'a ro klaji la .romas. se jmaji
>
>


http://en.wikipedia.org/wiki/Boolean_satisfiability_problem


Thank you very much .

Mehmet Erol Sanliturk
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.dragonflybsd.org/pipermail/users/attachments/20141109/913c84fa/attachment-0003.htm>


More information about the Users mailing list