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, 50 deletions

diff --git a/lang/spark/files/patch-gnat2why_get__targ.adb b/lang/spark/files/patch-gnat2why_get__targ.adb
deleted file mode 100644
index 1d0eb991a884..000000000000
--- a/lang/spark/files/patch-gnat2why_get__targ.adb
+++ /dev/null
@@ -1,50 +0,0 @@
---- gnat2why/get_targ.adb.orig	2014-04-10 15:20:35 UTC
-+++ gnat2why/get_targ.adb
-@@ -99,33 +99,6 @@ package body Get_Targ is
-       return 64;
-    end Get_Long_Long_Size;
- 
--   --------------------
--   -- Get_Float_Size --
--   --------------------
--
--   function Get_Float_Size return Pos is
--   begin
--      return 32;
--   end Get_Float_Size;
--
--   ---------------------
--   -- Get_Double_Size --
--   ---------------------
--
--   function Get_Double_Size return Pos is
--   begin
--      return 64;
--   end Get_Double_Size;
--
--   --------------------------
--   -- Get_Long_Double_Size --
--   --------------------------
--
--   function Get_Long_Double_Size return Pos is
--   begin
--      return 96;
--   end Get_Long_Double_Size;
--
-    ----------------------
-    -- Get_Pointer_Size --
-    ----------------------
-@@ -296,4 +269,13 @@ package body Get_Targ is
-       end if;
-    end Width_From_Size;
- 
-+   ------------------------------
-+   -- Get_Back_End_Config_File --
-+   ------------------------------
-+
-+   function Get_Back_End_Config_File return String_Ptr is
-+   begin
-+      return null;
-+   end Get_Back_End_Config_File;
-+
- end Get_Targ;