Index: head/lang/spark/Makefile
===================================================================
--- head/lang/spark/Makefile	(revision 422173)
+++ head/lang/spark/Makefile	(revision 422174)
@@ -1,46 +1,46 @@
 # Created by: John Marino <marino@FreeBSD.org>
 # $FreeBSD$
 
 PORTNAME=	spark
 PORTVERSION=	2014
 CATEGORIES=	lang
 MASTER_SITES=	http://downloads.dragonlace.net/src/:main LOCAL/marino:main \
 		GCC/${MS_SUBDIR}
 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 \
 		alt-ergo:math/alt-ergo
 
 USES=		ada gmake
 ALL_TARGET=	gnat2why gnatprove
 GNATSRC=	${WRKSRC}/gnat2why/gnat_src
 PORTDOCS=	html pdf
 
 MAKE_JOBS_UNSAFE= yes
 
 .include "${.CURDIR}/../gcc5-aux/Makefile.version"
 
 post-extract:
 	(cd ${WRKDIR} && ${TAR} -xf ${DISTDIR}/${IDENTIFICATION}.tar.bz2 \
 		${IDENTIFICATION}/gcc/ada)
 	${LN} -s ${WRKDIR}/${IDENTIFICATION}/gcc/ada ${GNATSRC}
 	${MKDIR} ${WRKSRC}/install/bin
 
 post-install:
 	${INSTALL_PROGRAM} ${WRKSRC}/install/bin/* ${STAGEDIR}${PREFIX}/bin
 	(cd ${WRKSRC}/install/share && \
 		${COPYTREE_SHARE} . ${STAGEDIR}${PREFIX}/share)
 
 .include <bsd.port.mk>
Index: head/math/alt-ergo-spark/Makefile
===================================================================
--- head/math/alt-ergo-spark/Makefile	(revision 422173)
+++ head/math/alt-ergo-spark/Makefile	(revision 422174)
@@ -1,32 +1,35 @@
 # $FreeBSD$
 
 PORTNAME=	alt-ergo
 PORTVERSION=	2015
 CATEGORIES=	math
 MASTER_SITES=	http://downloads.dragonlace.net/src/
 PKGNAMESUFFIX=	-spark
 DISTNAME=	alt-ergo-for-spark-gpl-${PORTVERSION}-src
 
-MAINTAINER=	marino@FreeBSD.org
+MAINTAINER=	ports@FreeBSD.org
 COMMENT=	Automatic solver for SPARK 2015
+
+DEPRECATED=	Only useful for deprecate lang/spark
+EXPIRATION_DATE=	2016-09-30
 
 LICENSE=	CeCILL-C
 LICENSE_NAME=	Ce[a] C[nrs] I[nria] L[ogiciel] L[ibre] C license, version 1
 LICENSE_FILE=	${WRKSRC}/LICENSE
 LICENSE_PERMS=	dist-mirror dist-sell pkg-mirror pkg-sell auto-accept
 
 BUILD_DEPENDS=	ocaml-zarith>1.2:math/ocaml-zarith \
 		ocaml-ocamlgraph>1.8:math/ocaml-ocamlgraph
 RUN_DEPENDS=	ocaml-ocamlgraph>1.8:math/ocaml-ocamlgraph
 
 USES=		gmake
 USE_OCAML=	yes
 GNU_CONFIGURE=	yes
 MAKE_ARGS=	NAME=alt-ergo-spark
 PLIST_FILES=	bin/alt-ergo-spark man/man1/alt-ergo-spark.1.gz
 
 post-install:
 	${MV} ${STAGEDIR}${MANPREFIX}/man/man1/alt-ergo.1 \
 		${STAGEDIR}${MANPREFIX}/man/man1/alt-ergo-spark.1.gz
 
 .include <bsd.port.mk>
Index: head/math/why3-spark/Makefile
===================================================================
--- head/math/why3-spark/Makefile	(revision 422173)
+++ head/math/why3-spark/Makefile	(revision 422174)
@@ -1,57 +1,60 @@
 # Created by: John Marino <marino@FreeBSD.org>
 # $FreeBSD$
 
 PORTNAME=	why3
 PORTVERSION=	2016
 CATEGORIES=	math
 MASTER_SITES=	http://downloads.dragonlace.net/src/
 PKGNAMESUFFIX=	-spark
 DISTNAME=	why3-for-spark-gpl-${PORTVERSION}-src
 
-MAINTAINER=	marino@FreeBSD.org
+MAINTAINER=	ports@FreeBSD.org
 COMMENT=	Component of SPARK ${PORTVERSION}
 
 LICENSE=	LGPL21 GPLv3
 LICENSE_COMB=	multi
+
+DEPRECATED=	Only useful for deprecated lang/spark
+EXPIRATION_DATE=	2016-09-30
 
 BUILD_DEPENDS=	menhir:devel/menhir \
 		ocaml-zip>1:archivers/ocaml-zip \
 		ocaml-zarith>1.2:math/ocaml-zarith \
 		lablgtk2:x11-toolkits/ocaml-lablgtk2 \
 		ocaml-sqlite3>2:databases/ocaml-sqlite3 \
 		ocaml-ocamlgraph>1.8:math/ocaml-ocamlgraph \
 		camlp5o:devel/ocaml-camlp5
 LIB_DEPENDS=	libfontconfig.so:x11-fonts/fontconfig \
 		libfreetype.so:print/freetype2
 
 USES=		gmake gettext
 USE_OCAML=	yes
 USE_GNOME=	gtk20 pango atk cairo gdkpixbuf2 glib20 gtksourceview2
 ALL_TARGET=	all
 GNU_CONFIGURE=	yes
 INSTALL_TARGET=	install-all
 
 MAKE_JOBS_UNSAFE=	yes
 
 CONFIGURE_ARGS=	--enable-relocation \
 		--disable-doc \
 		--disable-pvs-libs \
 		--disable-profiling \
 		--disable-coq-tactic \
 		--disable-coq-libs \
 		--disable-isabelle-libs
 
 post-patch:
 	@${REINPLACE_CMD} -e 's|/bin/bash|/bin/sh|g' \
 		${WRKSRC}/src/util/sysutil.ml
 	@${REINPLACE_CMD} -e '/cp -f share\/Make/d' \
 		-e '/gcc/d' ${WRKSRC}/Makefile.in
 
 post-install:
 	${STRIP_CMD} ${STAGEDIR}${PREFIX}/bin/*why3
 	${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/why3/why3server
 	${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/why3/why3cpulimit
 	${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/why3/commands/why3*
 	${STRIP_CMD} ${STAGEDIR}${PREFIX}/lib/why3/plugins/*.cmxs
 
 .include <bsd.port.mk>