pkg 1.5.0 is out

Hans Petter Selasky hps at
Wed Jul 1 11:35:22 UTC 2015

On 04/21/15 12:34, Slawa Olhovchenkov wrote:
> On Tue, Apr 14, 2015 at 10:05:00PM +0200, Baptiste Daroussin wrote:
>> Hi all,
>> Final pkg 1.5.0 has been released.


Is there a way the external SAT solver functionality can be memory 
optimised? When trying to use this feature having +750 packages 
installed, the memory usage starts growing and growing beyond 4GBytes 
until PKG segfaults, even before the CNF export has started.

env SAT_SOLVER=mysolver pkg upgrade


More information about the freebsd-stable mailing list