about summary refs log tree commit diff
path: root/pkgs/development/compilers/souffle
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2023-05-21 08:56:46 -0400
committerAustin Seipp <aseipp@pobox.com>2023-05-21 12:28:24 -0500
commit601b8658d53c5e25ac3b5203e4a163122a77a84b (patch)
tree423d10720c05b6f2eb45d3cbc719f930290ddd5e /pkgs/development/compilers/souffle
parenta74a4a2f324fb54637a9e2597ef1fdca6ad869c8 (diff)
souffle: 2.3 -> 2.4
Diffstat (limited to 'pkgs/development/compilers/souffle')
-rw-r--r--pkgs/development/compilers/souffle/default.nix9
1 files changed, 2 insertions, 7 deletions
diff --git a/pkgs/development/compilers/souffle/default.nix b/pkgs/development/compilers/souffle/default.nix
index 96d3b5f6fc422..6a06213e95994 100644
--- a/pkgs/development/compilers/souffle/default.nix
+++ b/pkgs/development/compilers/souffle/default.nix
@@ -10,22 +10,17 @@ let
 in
 stdenv.mkDerivation rec {
   pname = "souffle";
-  version = "2.3";
+  version = "2.4";
 
   src = fetchFromGitHub {
     owner  = "souffle-lang";
     repo   = "souffle";
     rev    = version;
-    sha256 = "sha256-wdTBSmyA2I+gaSV577NNKA2oY2fdVTGmvV7h15NY1tU=";
+    sha256 = "sha256-5g2Ikbfm5nQrsgGntZZ/VbjqSDOj0AP/mnH1nW2b4co=";
   };
 
   patches = [
     ./threads.patch
-    (fetchpatch {
-      name = "missing-override.patch";
-      url = "https://github.com/souffle-lang/souffle/commit/da2d778f0cca94f206686546fa56b9ffc738ad75.patch";
-      sha256 = "Oefm3vRRwOyom94oGSOK2w9m23gkbJ++9gcWrdLlkyk=";
-    })
   ];
 
   hardeningDisable = lib.optionals stdenv.isDarwin [ "strictoverflow" ];