Dejagnu

[kwall@kurtwerks.com]

Hello, list,

Is there any reason I should prefer Dejagnu a la
ftp://sources.redhat.com:/pub/gcc/infrastructure/dejagnu-20010126.tar.gz
to ftp://sources.redhat.com/pub/dejagnu/dejagnu-20000518.tar.bz2 or 
ftp://ftp.gnu.org/gnu/dejagnu-1.4.3.tar.gz on the GNU mothership?
I'd like to start tracking down XFAILs...  

Thanks,

Kurt
-- 
Senate, n.:
	A body of elderly gentlemen charged with high duties and
misdemeanors.
		-- Ambrose Bierce