pk error: cannot solve job using SAT solver
Sergey V. Dyatko
sergey.dyatko at gmail.com
Fri Sep 18 06:32:00 UTC 2015
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
--
wbr, tiger
More information about the freebsd-pkg
mailing list