Hi, On Tue, Nov 17, 2009 at 06:32:04PM -0600, Raphael Geissert wrote: > Package: edos-debcheck > Version: 1.0-9
1.0-9 is an empty transitional package for the transition to the edos-distcheck package. Bug reassigned accordingly. > > OPTIONS > > -check Double-check the results this option is indeed no longer supported. Will fix the manpage. > (yeah, I also intentionally highlighted the '$Revision$' part which was not > substituted) not in he latest version provided by the edos-distcheck/1.4.2-5. -Ralf. -- Ralf Treinen Laboratoire Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.pps.jussieu.fr/~treinen/ -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
