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

souffle: 2.2 -> 2.3
2022-08-21 09:59:14 +02:00
parent 796a267784 3a3ad4c7a6
commit 3e494f4059
1 changed files with 2 additions and 2 deletions
@@ -10,13 +10,13 @@ let
 in
 stdenv.mkDerivation rec {
  pname = "souffle";
-  version = "2.2";
+  version = "2.3";

  src = fetchFromGitHub {
    owner  = "souffle-lang";
    repo   = "souffle";
    rev    = version;
-    sha256 = "sha256-whvC+DL9XbQLc4wf2kFxUKXSyJnGkYq0/0uLCLbliJU=";
+    sha256 = "sha256-wdTBSmyA2I+gaSV577NNKA2oY2fdVTGmvV7h15NY1tU=";
  };

  nativeBuildInputs = [ bison cmake flex mcpp doxygen graphviz makeWrapper perl ];