[Piuparts-devel] potential-cross-conflicts and latest dose-debcheck

Ralf Treinen treinen at pps.univ-paris-diderot.fr
Wed Jun 13 01:01:52 UTC 2012


Hi Andreas,

On Wed, Jun 13, 2012 at 01:03:46AM +0200, Andreas Beckmann wrote:

> the potential*conflicts scripts throw some errors with the latest
> dose-debcheck:
> 
> Running dose-debcheck ...Fatal error: exception
> Assert_failure("common/edosSolver.ml", 610, 11)
>  done.

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



More information about the Piuparts-devel mailing list