Optimising generated rules for SAT solving (5/12 are duplicates)

Hans Petter Selasky hps at selasky.org
Thu Nov 24 13:12:43 UTC 2016

Previous message (by thread): Optimising generated rules for SAT solving (5/12 are duplicates)
Next message (by thread): Optimising generated rules for SAT solving (5/12 are duplicates)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On 11/24/16 14:05, Hans Petter Selasky wrote:
> the non-patched version wants to reinstall 1 package.

Spelling: patched version wants to reinstall 1 package only.

--HPS

Previous message (by thread): Optimising generated rules for SAT solving (5/12 are duplicates)
Next message (by thread): Optimising generated rules for SAT solving (5/12 are duplicates)
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the freebsd-ports mailing list