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

1 files changed, 0 insertions, 36 deletions

diff --git a/lang/spark/files/patch-gnatvsn.adb b/lang/spark/files/patch-gnatvsn.adb
deleted file mode 100644
index 18ac935c7c15..000000000000
--- a/lang/spark/files/patch-gnatvsn.adb
+++ /dev/null
@@ -1,36 +0,0 @@
---- gnat2why/gnat_src/gnatvsn.adb.orig	2010-12-03 04:48:56 UTC
-+++ gnat2why/gnat_src/gnatvsn.adb
-@@ -53,32 +53,13 @@ package body Gnatvsn is
-         " FOR A PARTICULAR PURPOSE.";
-    end Gnat_Free_Software;
- 
--   type char_array is array (Natural range <>) of aliased Character;
--   Version_String : char_array (0 .. Ver_Len_Max - 1);
--   --  Import the C string defined in the (language-independent) source file
--   --  version.c using the zero-based convention of the C language.
--   --  The size is not the real one, which does not matter since we will
--   --  check for the nul character in Gnat_Version_String.
--   pragma Import (C, Version_String, "version_string");
--
-    -------------------------
-    -- Gnat_Version_String --
-    -------------------------
- 
-    function Gnat_Version_String return String is
--      S : String (1 .. Ver_Len_Max);
--      Pos : Natural := 0;
-    begin
--      loop
--         exit when Version_String (Pos) = ASCII.NUL;
--
--         S (Pos + 1) := Version_String (Pos);
--         Pos := Pos + 1;
--
--         exit when Pos = Ver_Len_Max;
--      end loop;
--
--      return S (1 .. Pos);
-+      return Gnat_Static_Version_String;
-    end Gnat_Version_String;
- 
- end Gnatvsn;