sci-mathematics/isabelle: remove unused patch

Closes: https://github.com/gentoo/gentoo/pull/3764

diff --git a/sci-mathematics/isabelle/files/isabelle-2016-libsha1.patch b/sci-mathematics/isabelle/files/isabelle-2016-libsha1.patch
deleted file mode 100644 (file)
index 04dc405..0000000
--- a/sci-mathematics/isabelle/files/isabelle-2016-libsha1.patch
+++ /dev/null
@@ -1,13 +0,0 @@
-Index: work/Isabelle2016/src/Pure/General/sha1_polyml.ML
-===================================================================
---- work.orig/Isabelle2016/src/Pure/General/sha1_polyml.ML
-+++ work/Isabelle2016/src/Pure/General/sha1_polyml.ML
-@@ -18,7 +18,7 @@ fun hex_string arr i =
-   in (op ^) (apply2 hex_digit (Integer.div_mod (Char.ord c) 16)) end
- 
- val lib_path =
--  ("$ML_HOME/" ^ (if ML_System.platform_is_windows then "sha1.dll" else "libsha1.so"))
-+  ("$SHA1_HOME/" ^ (if ML_System.platform_is_windows then "sha1.dll" else "libsha1.so"))
-   |> Path.explode;
- 
- val STRING_INPUT_BYTES =