On Sun, May 24, 2015 at 10:33:05AM -0400, Mark H Weaver wrote: > l...@gnu.org (Ludovic Courtès) writes: > > Should we revert that part of the commit, at least for packages for > > which we don’t know? > FWIW, I don't feel the need to revert, especially since it would entail > more rebuilding, but in the future I would prefer to use the more > conservative approach that you outlined above.
Okay, both are fine with me. > I don't think we should spend a lot of time on this, but to the extent > we are aware of which inputs are directly needed by a given package, I > think we should aim to include all directly used inputs, as opposed to > aiming to remove inputs whenever they are propagated by something else. Also okay then. It also saves quite some time... Andreas