[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

            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.