Date: Mon, 12 May 2025 12:38:43 +0000 From: bugzilla-noreply@freebsd.org To: pkg@FreeBSD.org Subject: maintainer-feedback requested: [Bug 286740] ports-mgmt/pkg: 2.1.2 Cannot solve problem using SAT solver, trying another plan Message-ID: <bug-286740-32340-V8aLAMIvqa@https.bugs.freebsd.org/bugzilla/> In-Reply-To: <bug-286740-32340@https.bugs.freebsd.org/bugzilla/>
index | next in thread | previous in thread | raw e-mail
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.home | help
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?bug-286740-32340-V8aLAMIvqa>