pkg upgrade SAT solver issue
Jávorszky Balázs
balazs at gnifanip.info
Sun Aug 9 07:53:29 PDT 2026
Hi,
This is not new but I couldn't use the solutions suggested. The symptom:
root at whateverhost /h/whateveruser# pkg upgrade
Updating Avalon repository catalogue...
Avalon repository is up to date.
All repositories are up to date.
Checking for upgrades (340 candidates): 100%
Processing candidates (340 candidates): 100%
Cannot solve problem using SAT solver, trying another plan
Cannot solve problem using SAT solver, trying another plan
Cannot solve problem using SAT solver, trying another plan
Cannot solve problem using SAT solver, trying another plan
Cannot solve problem using SAT solver, trying another plan
Cannot solve problem using SAT solver, trying another plan
Cannot solve problem using SAT solver, trying another plan
Cannot solve problem using SAT solver, trying another plan
Cannot solve problem using SAT solver, trying another plan
pkg: Cannot solve problem using SAT solver
upgrade rule: upgrade local libXft-2.3.8 to remote libXft-2.3.8
cannot install package libXft, remove it from request? [Y/n]:
This is a production system... What should I do? I don't want to break
the system. I don't even know what "remove it from request" is supposed
to mean.
BTW for us one of the reasons for choosing DragonFLY was the ease of
upgrading the system (as opposed to FreeBSD), together with the very
mature pkg system of from FreeBSD.
Thanks for any help,
Regards
Jávorszky Balázs
More information about the Users
mailing list