kpriv/pkgsrc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Add:

Browse source 
LICENSE=	generic-nonlicense
This commit is contained in:
gdt 2006-05-02 12:23:27 +00:00
parent 2d687b6c87
commit d93ff65df6
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
lang/twelf/Makefile
View file

@ -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}