pk error: cannot solve job using SAT solver

[Jeremie Le Hen]

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? :)

Thanks,
-- 
Jeremie Le Hen
jlh at FreeBSD.org