Skip site navigation (1)Skip section navigation (2)
Date:      Mon, 21 Sep 2015 10:43:54 +0200
From:      Baptiste Daroussin <bapt@FreeBSD.org>
To:        "Sergey V. Dyatko" <sergey.dyatko@gmail.com>
Cc:        freebsd-pkg@freebsd.org
Subject:   Re: pk error: cannot solve job using SAT solver
Message-ID:  <20150921084353.GC38467@ivaldir.etoilebsd.net>
In-Reply-To: <20150921105919.78ca2472@laptop.minsk.domain>
References:  <CAGSa5y0fEuY86oXd5LL9eMBXBtmHzvrSXf6ez=L5GsS1myo5TQ@mail.gmail.com> <20150918093001.31fd7cba@laptop.minsk.domain> <CAGSa5y1zKxRV50r4%2BqocxuKrBLjzvmosHxkuN%2Bf=MY4ihVrwGw@mail.gmail.com> <20150921105919.78ca2472@laptop.minsk.domain>

index | next in thread | previous in thread | raw e-mail

[-- Attachment #1 --]
On Mon, Sep 21, 2015 at 10:59:19AM +0300, Sergey V. Dyatko wrote:
> On Sun, 20 Sep 2015 22:22:10 +0200
> Jeremie Le Hen <jlh@FreeBSD.org> wrote: 
> 
> > On Fri, Sep 18, 2015 at 8:30 AM, Sergey V. Dyatko
> > <sergey.dyatko@gmail.com> wrote:
> > > On Thu, 17 Sep 2015 22:21:19 +0200
> > > Jeremie Le Hen <jlh@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@20150916
> 
> > Thanks,
> 
FYI, we figured out the bug in the solver that triggers this issues and we are
actively working on it. As soon as we have been able to fix it we will release
pkg 1.6.0

Best regards,
Bapt

[-- Attachment #2 --]
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1

iEYEARECAAYFAlX/w0kACgkQ8kTtMUmk6Ewa6gCffeuJMbcpeBIhPg4oOqOSIzm/
uRoAnRXcQvIAVqJoA+aVN4uaO+x6mG5K
=btZm
-----END PGP SIGNATURE-----
help

Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20150921084353.GC38467>