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