diff options
| author | gdt <gdt@pkgsrc.org> | 2006-05-02 12:23:27 +0000 |
|---|---|---|
| committer | gdt <gdt@pkgsrc.org> | 2006-05-02 12:23:27 +0000 |
| commit | 5bb9785f2a27fd07a257cfe0f30047894e918c33 (patch) | |
| tree | 31ce877d636b54005e01f10b0ddce204bc7d0253 /lang/twelf | |
| parent | b698c9a45736f0924eb216cb2a45966e4cf81f15 (diff) | |
| download | pkgsrc-5bb9785f2a27fd07a257cfe0f30047894e918c33.tar.gz | |
Add:
LICENSE= generic-nonlicense
Diffstat (limited to 'lang/twelf')
| -rw-r--r-- | lang/twelf/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/lang/twelf/Makefile b/lang/twelf/Makefile index e94c03b3a75..c3eee960d3e 100644 --- a/lang/twelf/Makefile +++ b/lang/twelf/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.13 2006/04/05 06:25:52 jlam Exp $ +# $NetBSD: Makefile,v 1.14 2006/05/02 12:23:27 gdt Exp $ # DISTNAME= twelf-1-4 @@ -13,6 +13,7 @@ COMMENT= Meta-language for proving properties of languages and logics DEPENDS+= smlnj>=110.38:../../lang/smlnj +LICENSE= generic-nonlicense RESTRICTED= License terms not specified; assume no redistribution rights NO_SRC_ON_FTP= ${RESTRICTED} NO_SRC_ON_CDROM= ${RESTRICTED} |