diff options
| author | Mark Felder <feld@FreeBSD.org> | 2014-12-07 16:31:50 +0000 |
|---|---|---|
| committer | Mark Felder <feld@FreeBSD.org> | 2014-12-07 16:31:50 +0000 |
| commit | f7f3a97a4dde682a7a068cf298ab08e089473007 (patch) | |
| tree | 110659ea629af101d6492ff972b7376650615039 /math/isabelle | |
| parent | 9d29351fc192656a89894975181095229a4264bf (diff) | |
| download | ports-f7f3a97a4dde682a7a068cf298ab08e089473007.tar.gz ports-f7f3a97a4dde682a7a068cf298ab08e089473007.zip | |
Notes
Diffstat (limited to 'math/isabelle')
| -rw-r--r-- | math/isabelle/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/isabelle/Makefile b/math/isabelle/Makefile index c491e71f2f3b..b4644a5e56eb 100644 --- a/math/isabelle/Makefile +++ b/math/isabelle/Makefile @@ -12,7 +12,7 @@ DISTNAME= Isabelle2009-2 MAINTAINER= beyert@cs.ucr.edu COMMENT= Generic proof assistant -LICENSE= BSD +LICENSE= BSD3CLAUSE LICENSE_FILE= ${WRKSRC}/COPYRIGHT BROKEN= Build seems to hang on the package builders |