/dejagnu.spec/1.1/Fri Apr 19 15:10:57 2002//
D
