From balazs at gnifanip.info  Sun Aug  9 07:53:29 2026
From: balazs at gnifanip.info (=?UTF-8?B?SsOhdm9yc3preSBCYWzDoXpz?=)
Date: Sun, 9 Aug 2026 16:53:29 +0200
Subject: pkg upgrade SAT solver issue
Message-ID: <1a08f7ab-6bc0-4102-a5de-71969c367943@gnifanip.info>

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