PRGNAM="dejagnu" VERSION="1.5" HOMEPAGE="http://www.gnu.org/software/dejagnu/" DOWNLOAD="ftp://ftp.df.lth.se/pub/ftp.gnu.org/pub/gnu/dejagnu/dejagnu-1.5.tar.gz" MD5SUM="3df1cbca885e751e22d3ebd1ac64dc3c" DOWNLOAD_x86_64="" MD5SUM_x86_64="" MAINTAINER="Andres Fuentes" EMAIL="rafu@riseup.net" APPROVED="Niels Horn"