[Piuparts-devel] potential-cross-conflicts.py does not detect some already known problems?

[Ralf Treinen]

On Fri, May 25, 2012 at 01:25:39PM +0200, Andreas Beckmann wrote:

> Thanks. Looks like I've got some bugs to check/file:

Good, it seems it was worth the effort :-)

> wheezy + sid:
> overwri unknown libjetty-java-doc=6.1.24-6      libjetty8-java-doc=8.1.3-2

Might be the same as #674204

> > One reason why a file conflict might not be found by my script  is that
> > an installation request triggers installation of other packages from
> > the same distribution, and the file conflict occurs between these
> 
> But this should already be covered by potential-file-conflicts.py?

yes.

-Ralf.
-- 
Ralf Treinen
Laboratoire Preuves, Programmes et Systèmes
Université Paris Diderot, Paris, France.
http://www.pps.jussieu.fr/~treinen/
=====> New email address: treinen at pps.univ-paris-diderot.fr <=====