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-head mailing list