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

From: Hans Petter Selasky <hps_at_selasky.org>
Date: Thu, 24 Nov 2016 14:12:22 +0100

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

Received on Thu Nov 24 2016 - 12:12:42 UTC

This message: [ Message body ]
Next message: Hans Petter Selasky: "Re: Optimising generated rules for SAT solving (5/12 are duplicates)"
Previous message: Vsevolod Stakhov: "Re: Optimising generated rules for SAT solving (5/12 are duplicates)"
In reply to: Hans Petter Selasky: "Re: Optimising generated rules for SAT solving (5/12 are duplicates)"
Next in thread: Ed Schouten: "Re: Optimising generated rules for SAT solving (5/12 are duplicates)"

Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ]

This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:41:08 UTC