diff options
author | wiz <wiz> | 2001-03-20 12:01:25 +0000 |
---|---|---|
committer | wiz <wiz> | 2001-03-20 12:01:25 +0000 |
commit | dc7492d2dca2b130e1da2db3957b636d84ed1ab6 (patch) | |
tree | ddfcc7c23a2924ca43812a5b77a7f889aad6bfb3 /lang/maude | |
parent | 59ebc656ce95937986991ce4d3a04a642f5f8b41 (diff) | |
download | pkgsrc-dc7492d2dca2b130e1da2db3957b636d84ed1ab6.tar.gz |
Oops, uncomment LICENSE.
Diffstat (limited to 'lang/maude')
-rw-r--r-- | lang/maude/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/maude/Makefile b/lang/maude/Makefile index 2581cf81b72..5e7c51b2ce8 100644 --- a/lang/maude/Makefile +++ b/lang/maude/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.1.1.1 2001/03/20 11:57:41 wiz Exp $ +# $NetBSD: Makefile,v 1.2 2001/03/20 12:01:25 wiz Exp $ # DISTNAME= maude-linux @@ -12,7 +12,7 @@ HOMEPAGE= http://maude.csl.sri.com/ COMMENT= system for equational and rewriting logic specification/programming # see http://maude.csl.sri.com/license/license.html -#LICENSE= maude-license +LICENSE= maude-license RESTRICTED= license does not explicitly allow redistribution NO_SRC_ON_FTP= ${RESTRICTED} |