/vol/rzm7/gnu.old/dejagnu :
dejagnu-1.4-0.i386.rpm
dejagnu-1.4.1-1.i386.rpm
dejagnu-1.4.2.i386.rpm
dejagnu-1.4.3-0.i386.rpm