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