diff options
| author | marino <marino@FreeBSD.org> | 2016-06-12 21:11:48 +0800 |
|---|---|---|
| committer | marino <marino@FreeBSD.org> | 2016-06-12 21:11:48 +0800 |
| commit | b3c10574d88d0adc0e28ac5607dfadca5c143232 (patch) | |
| tree | f6bc531a45f48943335fc89d94a94a271fba526e | |
| parent | 34e72412146cbb743a7e00ea191691528d6d9321 (diff) | |
| download | freebsd-ports-gnome-b3c10574d88d0adc0e28ac5607dfadca5c143232.tar.gz freebsd-ports-gnome-b3c10574d88d0adc0e28ac5607dfadca5c143232.tar.zst freebsd-ports-gnome-b3c10574d88d0adc0e28ac5607dfadca5c143232.zip | |
math/why3-spark: Update COMMENT
| -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 |