diff options
Diffstat (limited to 'lang/spark/Makefile')
| -rw-r--r-- | lang/spark/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/spark/Makefile b/lang/spark/Makefile index fc796b982ae0..1f82a7cb8590 100644 --- a/lang/spark/Makefile +++ b/lang/spark/Makefile @@ -10,14 +10,14 @@ DISTNAME= spark-gpl-${PORTVERSION}-src DISTFILES= ${DISTNAME}.tar.gz:main ${IDENTIFICATION}.tar.bz2 EXTRACT_ONLY= ${DISTNAME}.tar.gz -MAINTAINER= marino@FreeBSD.org +MAINTAINER= ports@FreeBSD.org COMMENT= Technology for engineering high-reliability s/w applications LICENSE= GPLv3 BROKEN= brutally fails test suite - with ICE DEPRECATED= Broken for more than 6 months -EXPIRATION_DATE= 2016-10-29 +EXPIRATION_DATE= 2016-09-30 BUILD_DEPENDS= gnatcoll>=2014:devel/gnatcoll RUN_DEPENDS= gnatwhy3:math/why3-spark \ |