maintainer-feedback requested: [Bug 286740] ports-mgmt/pkg: 2.1.2 Cannot solve problem using SAT solver, trying another plan
Date: Mon, 12 May 2025 12:38:43 UTC
Bugzilla Automation <bugzilla@FreeBSD.org> has asked freebsd-pkg (Nobody) <pkg@FreeBSD.org> for maintainer-feedback: Bug 286740: ports-mgmt/pkg: 2.1.2 Cannot solve problem using SAT solver, trying another plan https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=286740 --- Description --- # pkg upgrade -v -r FreeBSD Updating FreeBSD repository catalogue... FreeBSD repository is up to date. FreeBSD is up to date. vulnxml file up-to-date Checking for upgrades (1 candidates): . done Processing candidates (1 candidates): . done Cannot solve problem using SAT solver, trying another plan Checking integrity... done (0 conflicting) Your packages are up to date. --- What causes this warning? What kind of problem has the "SAT solver"? This kind of warning is for no use as nowhere an explanation can be found. At least the package(s) should be shown which are causing the problem. Also more verbosity should be provided which "other plan" is used. --- Hints how to solve this issue is highly appreciated. Thank you.