svn commit: r416799 - head/math/why3-spark
John Marino
marino at FreeBSD.org
Sun Jun 12 13:11:49 UTC 2016
Author: marino
Date: Sun Jun 12 13:11:48 2016
New Revision: 416799
URL: https://svnweb.freebsd.org/changeset/ports/416799
Log:
math/why3-spark: Update COMMENT
Modified:
head/math/why3-spark/Makefile
Modified: head/math/why3-spark/Makefile
==============================================================================
--- head/math/why3-spark/Makefile Sun Jun 12 13:09:22 2016 (r416798)
+++ head/math/why3-spark/Makefile Sun Jun 12 13:11:48 2016 (r416799)
@@ -9,7 +9,7 @@ PKGNAMESUFFIX= -spark
DISTNAME= why3-for-spark-gpl-${PORTVERSION}-src
MAINTAINER= marino at FreeBSD.org
-COMMENT= Component of SPARK 2015
+COMMENT= Component of SPARK ${PORTVERSION}
LICENSE= LGPL21 GPLv3
LICENSE_COMB= multi
More information about the svn-ports-all
mailing list