diff options
| author | John Marino <marino@FreeBSD.org> | 2016-06-12 13:11:48 +0000 |
|---|---|---|
| committer | John Marino <marino@FreeBSD.org> | 2016-06-12 13:11:48 +0000 |
| commit | d2445d42b8730340f03881dcb6be930646c40a05 (patch) | |
| tree | f6bc531a45f48943335fc89d94a94a271fba526e /math | |
| parent | d11978f81fbebf29e3408bf97c608672e7de6275 (diff) | |
Notes
Diffstat (limited to 'math')
| -rw-r--r-- | math/why3-spark/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/math/why3-spark/Makefile b/math/why3-spark/Makefile index e584cd0c2311..3637889aac61 100644 --- a/math/why3-spark/Makefile +++ b/math/why3-spark/Makefile @@ -9,7 +9,7 @@ PKGNAMESUFFIX= -spark DISTNAME= why3-for-spark-gpl-${PORTVERSION}-src MAINTAINER= marino@FreeBSD.org -COMMENT= Component of SPARK 2015 +COMMENT= Component of SPARK ${PORTVERSION} LICENSE= LGPL21 GPLv3 LICENSE_COMB= multi |