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