[Bug 286740] ports-mgmt/pkg: 2.1.2 Cannot solve problem using SAT solver, trying another plan

In reply to: bugzilla-noreply_a_freebsd.org: "[Bug 286740] ports-mgmt/pkg: 2.1.2 Cannot solve problem using SAT solver, trying another plan"
Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: <bugzilla-noreply_at_freebsd.org>
Date: Mon, 12 May 2025 14:40:42 UTC

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=286740

--- Comment #3 from p5B2EA84B3@t-online.de ---
(In reply to p5B2EA84B3 from comment #2)
And improving the SAT solver, of course. :)

-- 
You are receiving this mail because:
You are the assignee for the bug.