diff options
Diffstat (limited to 'development/dejagnu/dejagnu.info')
| -rw-r--r-- | development/dejagnu/dejagnu.info | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/development/dejagnu/dejagnu.info b/development/dejagnu/dejagnu.info new file mode 100644 index 0000000000..914b82ec2e --- /dev/null +++ b/development/dejagnu/dejagnu.info @@ -0,0 +1,10 @@ +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" |