Bug#574380: edos-distcheck: Wrong output for | alternative?
On Fri, Mar 19, 2010 at 09:58:44AM +0100, Stefano Zacchiroli wrote:
> ACK, can you please apply the patch I've posted? That's a needed bug fix
> The third possibility is for now to just fix properly the "OR
> optimization" as I said above. It looks like it will fix _this_ specific
> case, but can of course fail in other/weirded cases.
quick answer: I think that is what we should do. That is, fixing the
current hack (even if it is very imperfect), and in the long run work
towards using a second source for feeding the list of installed packages.