commit: b9ce9015c6035daa3519c3ccca481bb51ffb7d32 Author: Michael Mair-Keimberger (asterix) <m.mairkeimberger <AT> gmail <DOT> com> AuthorDate: Wed Feb 1 18:42:47 2017 +0000 Commit: David Seifert <soap <AT> gentoo <DOT> org> CommitDate: Wed Feb 1 22:39:14 2017 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=b9ce9015
sci-mathematics/isabelle: remove unused patch Closes: https://github.com/gentoo/gentoo/pull/3764 sci-mathematics/isabelle/files/isabelle-2016-libsha1.patch | 13 ------------- 1 file changed, 13 deletions(-) diff --git a/sci-mathematics/isabelle/files/isabelle-2016-libsha1.patch b/sci-mathematics/isabelle/files/isabelle-2016-libsha1.patch deleted file mode 100644 index 04dc405..00000000 --- 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 =