Date: Mon, 12 May 2025 12:38:43 +0000 From: bugzilla-noreply@freebsd.org To: pkg@FreeBSD.org Subject: [Bug 286740] ports-mgmt/pkg: 2.1.2 Cannot solve problem using SAT solver, trying another plan Message-ID: <bug-286740-32340@https.bugs.freebsd.org/bugzilla/>
index | next in thread | raw e-mail
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=286740 Bug ID: 286740 Summary: ports-mgmt/pkg: 2.1.2 Cannot solve problem using SAT solver, trying another plan Product: Ports & Packages Version: Latest Hardware: Any OS: Any Status: New Severity: Affects Only Me Priority: --- Component: Individual Port(s) Assignee: pkg@FreeBSD.org Reporter: p5B2EA84B3@t-online.de Flags: maintainer-feedback?(pkg@FreeBSD.org) Assignee: pkg@FreeBSD.org # 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. -- You are receiving this mail because: You are the assignee for the bug.home | help
Want to link to this message? Use this
URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?bug-286740-32340>