On Thu, Aug 20, 2009 at 12:30:30AM +0200, Kurt Roeckx wrote: > Package: edos-debcheck > Version: 1.0-9
> It seems that when the Packages has 24791 packages in it, > edos-debcheck says there are 24792. Version 1.0-8 and probably earlier versions) did that, but 1.0-9 is just a transitional package that pulls in edos-distcheck, and the /usr/bin/edos-debcheck provided by edos-distcheck does not have this bug (in fact, it doesn't indicate at all the number of packages). This is a minor bug in a source-package that is no longer in unstable, sorry but I won't fix that. Cheers -Ralf. - Ralf Treinen Laboratoire Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.pps.jussieu.fr/~treinen/ -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
