pk error: cannot solve job using SAT solver
Sergey V. Dyatko
sergey.dyatko at gmail.com
Mon Sep 21 08:01:25 UTC 2015
On Sun, 20 Sep 2015 22:22:10 +0200
Jeremie Le Hen <jlh at FreeBSD.org> wrote:
> On Fri, Sep 18, 2015 at 8:30 AM, Sergey V. Dyatko
> <sergey.dyatko at gmail.com> wrote:
> > On Thu, 17 Sep 2015 22:21:19 +0200
> > Jeremie Le Hen <jlh at FreeBSD.org> wrote:
> >
> >> Hi,
> >>
> >> I wanted to upgrade my package and got the following error:
> >>
> >> # pkg upgrade
> >> Updating myserver repository catalogue...
> >> myserver repository is up-to-date.
> >> All repositories are up-to-date.
> >> Checking for upgrades (92 candidates): 100%
> >> Processing candidates (92 candidates): 100%
> >> pkg: Cannot solve problem using SAT solver:
> >> dependency rule: package mutt(l) depends on: tokyocabinet(r)tokyocabinet(l)
> >> upgrade rule: upgrade local tokyocabinet-1.4.48 to remote
> >> tokyocabinet-1.4.48 cannot install package tokyocabinet, remove it from
> >> request? [Y/n]: y pkg: cannot find tokyocabinet in the request
> >> pkg: cannot solve job using SAT solver
> >>
> >>
> >> Note that I have my own package repository that I build with poudriere.
> >> I capture the debug output (-dd) of pkg in the following file:
> >> http://people.freebsd.org/~jlh/typescript.pkg.txt
> >>
> >
> > you may try to do following:
> >
> > 1) pkg install jpeg-turbo
> > 2) pkg upgrade
>
> The rationale is a bit unclear to me. Can you explain please? :)
>
UPDATING at 20150916
> Thanks,
--
wbr, tiger
More information about the freebsd-pkg
mailing list