Remove expired ports:

2016-09-30 math/why3-spark: Only useful for deprecated lang/spark
2016-09-30 lang/spark: Broken for more than 6 months
2016-09-30 math/alt-ergo-spark: Only useful for deprecate lang/spark
2016-09-30 security/nessus-libnasl: Abandoned, consider using OpenVAS
2016-09-30 security/nessus: Abandoned, consider using OpenVAS
2016-09-30 security/nessus-libraries: Abandoned, consider using OpenVAS
2016-09-30 security/nessus-plugins: Abandoned, consider using OpenVAS

8 files changed, 0 insertions, 285 deletions

diff --git a/math/Makefile b/math/Makefile
index 259f3408231..aadb284a582 100644
--- a/math/Makefile
+++ b/math/Makefile
@@ -78,7 +78,6 @@
     SUBDIR += algae
     SUBDIR += algotutor
     SUBDIR += alt-ergo
-    SUBDIR += alt-ergo-spark
     SUBDIR += analitza
     SUBDIR += ann
     SUBDIR += apc
@@ -711,7 +710,6 @@
     SUBDIR += wcalc
     SUBDIR += wfmath
     SUBDIR += why3
-    SUBDIR += why3-spark
     SUBDIR += wingz3
     SUBDIR += wxMaxima
     SUBDIR += x12arima
diff --git a/math/alt-ergo-spark/Makefile b/math/alt-ergo-spark/Makefile
deleted file mode 100644
index c31161d4253..00000000000
--- a/math/alt-ergo-spark/Makefile
+++ /dev/null
@@ -1,35 +0,0 @@
-# $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=	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>
diff --git a/math/alt-ergo-spark/distinfo b/math/alt-ergo-spark/distinfo
deleted file mode 100644
index faa60edf712..00000000000
--- a/math/alt-ergo-spark/distinfo
+++ /dev/null
@@ -1,2 +0,0 @@
-SHA256 (alt-ergo-for-spark-gpl-2015-src.tar.gz) = 56e70ee8d7b67e95945c156ff80833e45612882605a163a779b7d11ea01f6fbf
-SIZE (alt-ergo-for-spark-gpl-2015-src.tar.gz) = 230073
diff --git a/math/alt-ergo-spark/pkg-descr b/math/alt-ergo-spark/pkg-descr
deleted file mode 100644
index 3280385dd6f..00000000000
--- a/math/alt-ergo-spark/pkg-descr
+++ /dev/null
@@ -1,4 +0,0 @@
-This is a component of SPARK 2015:  Those looking for the automatic
-theorem prover known as Alt-Ergo should refer to math/alt-ergo instead
-
-WWW: https://forge.open-do.org/projects/spark2014
diff --git a/math/why3-spark/Makefile b/math/why3-spark/Makefile
deleted file mode 100644
index f49463ad515..00000000000
--- a/math/why3-spark/Makefile
+++ /dev/null
@@ -1,60 +0,0 @@
-# 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=	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>
diff --git a/math/why3-spark/distinfo b/math/why3-spark/distinfo
deleted file mode 100644
index a87c9d77682..00000000000
--- a/math/why3-spark/distinfo
+++ /dev/null
@@ -1,3 +0,0 @@
-TIMESTAMP = 1465729881
-SHA256 (why3-for-spark-gpl-2016-src.tar.gz) = 09e1161d7ff4a1974ff22a2e09d4ceb2ab125d6de4863c13371e212e0e50b19c
-SIZE (why3-for-spark-gpl-2016-src.tar.gz) = 8740369
diff --git a/math/why3-spark/pkg-descr b/math/why3-spark/pkg-descr
deleted file mode 100644
index 7b206e0de54..00000000000
--- a/math/why3-spark/pkg-descr
+++ /dev/null
@@ -1,5 +0,0 @@
-This is a component of SPARK 2016.  Those looking for the deductive
-program verification platform known as why3 should refer to math/why3
-instead.
-
-WWW: http://www.spark-2014.org/
diff --git a/math/why3-spark/pkg-plist b/math/why3-spark/pkg-plist
deleted file mode 100644
index ef92ed0ef05..00000000000
--- a/math/why3-spark/pkg-plist
+++ /dev/null
@@ -1,174 +0,0 @@
-bin/gnatwhy3
-bin/why3
-%%OCAML_SITELIBDIR%%/why3/META
-%%OCAML_SITELIBDIR%%/why3/why3.a
-%%OCAML_SITELIBDIR%%/why3/why3.cmi
-%%OCAML_SITELIBDIR%%/why3/why3.cmx
-%%OCAML_SITELIBDIR%%/why3/why3.cmxa
-%%OCAML_SITELIBDIR%%/why3/why3extract.a
-%%OCAML_SITELIBDIR%%/why3/why3extract.cmi
-%%OCAML_SITELIBDIR%%/why3/why3extract.cmx
-%%OCAML_SITELIBDIR%%/why3/why3extract.cmxa
-lib/why3/commands/why3config
-lib/why3/commands/why3doc
-lib/why3/commands/why3execute
-lib/why3/commands/why3extract
-lib/why3/commands/why3ide
-lib/why3/commands/why3prove
-lib/why3/commands/why3realize
-lib/why3/commands/why3replay
-lib/why3/commands/why3session
-lib/why3/commands/why3wc
-lib/why3/plugins/dimacs.cmxs
-lib/why3/plugins/genequlin.cmxs
-lib/why3/plugins/hypothesis_selection.cmxs
-lib/why3/plugins/tptp.cmxs
-lib/why3/why3-call-pvs
-lib/why3/why3cpulimit
-lib/why3/why3server
-share/emacs/site-lisp/why3.el
-%%DATADIR%%/LICENSE
-%%DATADIR%%/drivers/alt_ergo.drv
-%%DATADIR%%/drivers/alt_ergo_common.drv
-%%DATADIR%%/drivers/alt_ergo_model.drv
-%%DATADIR%%/drivers/alt_ergo_smt2.drv
-%%DATADIR%%/drivers/beagle.drv
-%%DATADIR%%/drivers/coq-common.gen
-%%DATADIR%%/drivers/coq-realizations.aux
-%%DATADIR%%/drivers/coq-realize.drv
-%%DATADIR%%/drivers/coq-ssreflect.drv
-%%DATADIR%%/drivers/coq.drv
-%%DATADIR%%/drivers/cvc3.drv
-%%DATADIR%%/drivers/cvc4-realize.drv
-%%DATADIR%%/drivers/cvc4.drv
-%%DATADIR%%/drivers/cvc4_14.drv
-%%DATADIR%%/drivers/cvc4_15.drv
-%%DATADIR%%/drivers/cvc4_bv.gen
-%%DATADIR%%/drivers/cvc4_gnatprove.drv
-%%DATADIR%%/drivers/cvc4_gnatprove_ce.drv
-%%DATADIR%%/drivers/discrimination.gen
-%%DATADIR%%/drivers/eprover.drv
-%%DATADIR%%/drivers/gappa.drv
-%%DATADIR%%/drivers/iprover.drv
-%%DATADIR%%/drivers/isabelle-2015.gen
-%%DATADIR%%/drivers/isabelle-2016.gen
-%%DATADIR%%/drivers/isabelle-common.gen
-%%DATADIR%%/drivers/isabelle-realizations.aux
-%%DATADIR%%/drivers/isabelle2015-realize.drv
-%%DATADIR%%/drivers/isabelle2015.drv
-%%DATADIR%%/drivers/isabelle2016-realize.drv
-%%DATADIR%%/drivers/isabelle2016.drv
-%%DATADIR%%/drivers/mathematica.drv
-%%DATADIR%%/drivers/mathsat.drv
-%%DATADIR%%/drivers/metis.drv
-%%DATADIR%%/drivers/metitarski.drv
-%%DATADIR%%/drivers/no-bv.gen
-%%DATADIR%%/drivers/ocaml-gen.drv
-%%DATADIR%%/drivers/ocaml-no-arith.drv
-%%DATADIR%%/drivers/ocaml-unsafe-int.drv
-%%DATADIR%%/drivers/ocaml32.drv
-%%DATADIR%%/drivers/ocaml64.drv
-%%DATADIR%%/drivers/polypaver.drv
-%%DATADIR%%/drivers/princess.drv
-%%DATADIR%%/drivers/psyche.drv
-%%DATADIR%%/drivers/pvs-common.gen
-%%DATADIR%%/drivers/pvs-realizations.aux
-%%DATADIR%%/drivers/pvs-realize.drv
-%%DATADIR%%/drivers/pvs.drv
-%%DATADIR%%/drivers/safeprover.drv
-%%DATADIR%%/drivers/simplify.drv
-%%DATADIR%%/drivers/smt-libv2-bv-realization.gen
-%%DATADIR%%/drivers/smt-libv2-bv.gen
-%%DATADIR%%/drivers/smt-libv2.drv
-%%DATADIR%%/drivers/spass.drv
-%%DATADIR%%/drivers/spass_types.drv
-%%DATADIR%%/drivers/tptp-tff0.drv
-%%DATADIR%%/drivers/tptp-tff1.drv
-%%DATADIR%%/drivers/tptp.gen
-%%DATADIR%%/drivers/vampire.drv
-%%DATADIR%%/drivers/verit.drv
-%%DATADIR%%/drivers/why3.drv
-%%DATADIR%%/drivers/why3_smt.drv
-%%DATADIR%%/drivers/why3_tptp.drv
-%%DATADIR%%/drivers/yices-smt2.drv
-%%DATADIR%%/drivers/yices.drv
-%%DATADIR%%/drivers/z3-realize.drv
-%%DATADIR%%/drivers/z3.drv
-%%DATADIR%%/drivers/z3_432.drv
-%%DATADIR%%/drivers/z3_440.drv
-%%DATADIR%%/drivers/z3_gnatprove.drv
-%%DATADIR%%/drivers/z3_smtv1.drv
-%%DATADIR%%/drivers/zenon.drv
-%%DATADIR%%/drivers/zenon_modulo.drv
-%%DATADIR%%/images/fatcow.rc
-%%DATADIR%%/images/fatcow/accept.png
-%%DATADIR%%/images/fatcow/bin.png
-%%DATADIR%%/images/fatcow/bomb.png
-%%DATADIR%%/images/fatcow/brick_delete.png
-%%DATADIR%%/images/fatcow/bullet_black.png
-%%DATADIR%%/images/fatcow/bullet_blue.png
-%%DATADIR%%/images/fatcow/bullet_green.png
-%%DATADIR%%/images/fatcow/bullet_red.png
-%%DATADIR%%/images/fatcow/bullet_white.png
-%%DATADIR%%/images/fatcow/cancel.png
-%%DATADIR%%/images/fatcow/control_pause_blue.png
-%%DATADIR%%/images/fatcow/control_play_blue.png
-%%DATADIR%%/images/fatcow/database_delete.png
-%%DATADIR%%/images/fatcow/ddr_memory.png
-%%DATADIR%%/images/fatcow/delete.png
-%%DATADIR%%/images/fatcow/exclamation.png
-%%DATADIR%%/images/fatcow/folder.png
-%%DATADIR%%/images/fatcow/help.png
-%%DATADIR%%/images/fatcow/magic_wand_2.png
-%%DATADIR%%/images/fatcow/multitool.png
-%%DATADIR%%/images/fatcow/package.png
-%%DATADIR%%/images/fatcow/pencil.png
-%%DATADIR%%/images/fatcow/readme-fatcow.txt
-%%DATADIR%%/images/fatcow/script.png
-%%DATADIR%%/images/fatcow/time_delete.png
-%%DATADIR%%/images/fatcow/timeline.png
-%%DATADIR%%/images/fatcow/update.png
-%%DATADIR%%/images/logo-why.png
-%%DATADIR%%/lang/why3.lang
-%%DATADIR%%/modules/array.mlw
-%%DATADIR%%/modules/hashtbl.mlw
-%%DATADIR%%/modules/impset.mlw
-%%DATADIR%%/modules/io.mlw
-%%DATADIR%%/modules/mach/array.mlw
-%%DATADIR%%/modules/mach/bv.mlw
-%%DATADIR%%/modules/mach/int.mlw
-%%DATADIR%%/modules/mach/matrix.mlw
-%%DATADIR%%/modules/mach/onetime.mlw
-%%DATADIR%%/modules/mach/peano.mlw
-%%DATADIR%%/modules/matrix.mlw
-%%DATADIR%%/modules/null.mlw
-%%DATADIR%%/modules/pqueue.mlw
-%%DATADIR%%/modules/queue.mlw
-%%DATADIR%%/modules/random.mlw
-%%DATADIR%%/modules/ref.mlw
-%%DATADIR%%/modules/stack.mlw
-%%DATADIR%%/modules/string.mlw
-%%DATADIR%%/provers-detection-data.conf
-%%DATADIR%%/theories/algebra.why
-%%DATADIR%%/theories/bag.why
-%%DATADIR%%/theories/bintree.why
-%%DATADIR%%/theories/bool.why
-%%DATADIR%%/theories/bv.why
-%%DATADIR%%/theories/floating_point.why
-%%DATADIR%%/theories/function.why
-%%DATADIR%%/theories/graph.why
-%%DATADIR%%/theories/int.why
-%%DATADIR%%/theories/list.why
-%%DATADIR%%/theories/map.why
-%%DATADIR%%/theories/number.why
-%%DATADIR%%/theories/option.why
-%%DATADIR%%/theories/pigeon.why
-%%DATADIR%%/theories/real.why
-%%DATADIR%%/theories/regexp.why
-%%DATADIR%%/theories/relations.why
-%%DATADIR%%/theories/seq.why
-%%DATADIR%%/theories/set.why
-%%DATADIR%%/theories/sum.why
-%%DATADIR%%/theories/tptp.why
-%%DATADIR%%/vim/why3.vim
-%%DATADIR%%/why3session.dtd