pk error: cannot solve job using SAT solver

Victor Sudakov vas at mpeks.tomsk.su
Fri Sep 18 17:19:48 UTC 2015


Sergey V. Dyatko wrote:
> > 
> > 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

Is this a manifestation of the same problem (see below)? What kind of
problem is it and why?


# pkg upgrade
Updating sibptus repository catalogue...
sibptus repository is up-to-date.
All repositories are up-to-date.
Checking for upgrades (84 candidates): 100%
Processing candidates (84 candidates): 100%
Checking integrity... done (1 conflicting)
pkg: Cannot solve problem using SAT solver:
upgrade rule: upgrade local php5-gd-5.4.43_1 to remote php5-gd-5.4.45
cannot install package php5-gd, remove it from request? [Y/n]: n
pkg: cannot solve job using SAT solver
Checking integrity... done (0 conflicting)
Your packages are up to date.
# !!
pkg upgrade
Updating sibptus repository catalogue...
sibptus repository is up-to-date.
All repositories are up-to-date.
Checking for upgrades (84 candidates): 100%
Processing candidates (84 candidates): 100%
Checking integrity... done (1 conflicting)
pkg: Cannot solve problem using SAT solver:
upgrade rule: upgrade local php5-gd-5.4.43_1 to remote php5-gd-5.4.45
cannot install package php5-gd, remove it from request? [Y/n]: y
pkg: cannot find php5-gd in the request
pkg: cannot solve job using SAT solver
Checking integrity... done (0 conflicting)
Your packages are up to date.
#

If I say "pkg install jpeg-turbo", it offers to REMOVE quite a lot,
why?

# pkg install jpeg-turbo
Updating sibptus repository catalogue...
sibptus repository is up-to-date.
All repositories are up-to-date.
Checking integrity... done (1 conflicting)
Checking integrity... done (0 conflicting)
The following 5 package(s) will be affected (of 0 checked):

Installed packages to be REMOVED:
        jpeg-8_6
        php5-gd-5.4.43_1
        php5-extensions-1.7
        pecl-pdflib-3.0.4

New packages to be INSTALLED:
        jpeg-turbo: 1.4.1

The operation will free 381 KiB.

Proceed with this action? [y/N]: n
# 

I don't want php5-extensions or php5-gd removed!


-- 
Victor Sudakov,  VAS4-RIPE, VAS47-RIPN
sip:sudakov at sibptus.tomsk.ru


More information about the freebsd-pkg mailing list