From 5a7ce1185b845a6dda60cc67dd2e9cd576b45ef4 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Tue, 30 Sep 2014 16:41:47 -0500
Subject: isabelle: Remove Linux patches (is this correct?)

---
 pkgs/applications/science/logic/isabelle/default.nix | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'pkgs/applications/science/logic/isabelle')

diff --git a/pkgs/applications/science/logic/isabelle/default.nix b/pkgs/applications/science/logic/isabelle/default.nix
index 5681070be7d..c79aac43091 100644
--- a/pkgs/applications/science/logic/isabelle/default.nix
+++ b/pkgs/applications/science/logic/isabelle/default.nix
@@ -17,7 +17,7 @@ stdenv.mkDerivation {
     }
     else fetchurl {
       url = http://isabelle.in.tum.de/dist/Isabelle2014_linux.tar.gz;
-      sha256 = "0z81pwwllavka4r57fx6yi9kbpbb9xbanp8dsjix49qpyj2a72jy";
+      sha256 = "0l17s41hwzma0q2glpxrzic8i6mqd9b7awlpwhz0jkli7fj6ny7b";
     };
 
   buildInputs = [ perl polyml ]
@@ -25,8 +25,6 @@ stdenv.mkDerivation {
 
   sourceRoot = dirname;
 
-  patches = stdenv.lib.optionals (!stdenv.isDarwin) [ ./settings.patch ];
-
   postPatch = ''
     ENV=$(type -p env)
     patchShebangs "."
-- 
cgit 1.4.1