Unverified Commit 101ae33d authored by Matthias Beyer's avatar Matthias Beyer Committed by GitHub
Browse files

Merge pull request #267924 from r-ryantm/auto-update/souffle 

souffle: 2.4 -> 2.4.1
parents 1664ed9b b4dcfa11

pkgs/development/compilers/souffle/default.nix

+2 −2
Original line number Diff line number Diff line
@@ -10,13 +10,13 @@ let 
in

stdenv.mkDerivation rec {

  pname = "souffle";

  version = "2.4";

  version = "2.4.1";



  src = fetchFromGitHub {

    owner  = "souffle-lang";

    repo   = "souffle";

    rev    = version;

    sha256 = "sha256-5g2Ikbfm5nQrsgGntZZ/VbjqSDOj0AP/mnH1nW2b4co=";

    sha256 = "sha256-U3/1iNOLFzuXiBsVDAc5AXnK4F982Uifp18jjFNUv2o=";

  };



  patches = [