Bug#727642: dose-distcheck: fails on input that works with edos-debcheck and is "correct"

[Ralf Treinen <treinen@free.fr>]

Hi Thorsten,

On Thu, Oct 24, 2013 at 10:37:48PM +0200, Thorsten Glaser wrote:

> I get the following error with dose-debcheck in both wheezy and sid:

Thanks for having produced a minimal input file to reproduce the bug,
that is much appreciated!

> tglase@tglase:~ $ dose-debcheck --deb-native-arch=m68k --failures --explain <x; echo ">>> $?"                   
> Fatal error in module deb/debcudf.ml: 

The problem seems to be in the generation of explanations, if you drop
the --explain flag then there is no fatal error.

I'll check with Pietro what is going on here. -Ralf.