summaryrefslogtreecommitdiffstats
path: root/pkgs/development
diff options
context:
space:
mode:
authorMario Rodas <marsam@users.noreply.github.com>2020-11-12 20:41:44 -0500
committerGitHub <noreply@github.com>2020-11-12 20:41:44 -0500
commit2586d9142380c78ab0c51807a215d83ee6fdd6da (patch)
tree02f58b487572155d8b120a13fa9736c1f3b196ac /pkgs/development
parentef86e36da7b68a1da69578bf1c5959f6aa51bc37 (diff)
parente293949e42cf197f3e20ca3c5df445d4f7ef2170 (diff)
Merge pull request #103551 from r-ryantm/auto-update/souffle
souffle: 2.0.1 -> 2.0.2
Diffstat (limited to 'pkgs/development')
-rw-r--r--pkgs/development/compilers/souffle/default.nix4
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/compilers/souffle/default.nix b/pkgs/development/compilers/souffle/default.nix
index dbc5c1fa517d..ba13cd7b4b27 100644
--- a/pkgs/development/compilers/souffle/default.nix
+++ b/pkgs/development/compilers/souffle/default.nix
@@ -10,13 +10,13 @@ let
in
stdenv.mkDerivation rec {
pname = "souffle";
- version = "2.0.1";
+ version = "2.0.2";
src = fetchFromGitHub {
owner = "souffle-lang";
repo = "souffle";
rev = version;
- sha256 = "0f7jwmgv83m85lrb2qwvr4cfwzbqww7pik884xd2593fsfqhpnkn";
+ sha256 = "1fa6yssgndrln8qbbw2j7j199glxp63irfrz1c2y424rq82mm2r5";
};
nativeBuildInputs = [ autoreconfHook bison flex mcpp doxygen graphviz makeWrapper perl ];