[Fwd: [HEADSUP][CFT] pkgng beta1 is out]

Michel Talon talon at lpthe.jussieu.fr
Tue Jan 31 10:52:49 UTC 2012

>having a real sat solver for the dependency tree.  Currently we have a
>really simple and minimalistic solver which works well but if we can to go
>to an even finer package management we would need a real solver.

Please may you expand on what you really mean here? I was under the impression
that the only problem was to provide a total order on ports compatible to the
partial order fixed by dependency, and this is very easy. There is for example one
routine to do that in portupgrade. Or do you have something more sophisticated in mind?


Michel Talon
talon at lpthe.jussieu.fr

More information about the freebsd-questions mailing list