diff options
author | Mario Rodas <marsam@users.noreply.github.com> | 2020-11-12 20:41:44 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-11-12 20:41:44 -0500 |
commit | 2586d9142380c78ab0c51807a215d83ee6fdd6da (patch) | |
tree | 02f58b487572155d8b120a13fa9736c1f3b196ac /pkgs/development | |
parent | ef86e36da7b68a1da69578bf1c5959f6aa51bc37 (diff) | |
parent | e293949e42cf197f3e20ca3c5df445d4f7ef2170 (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.nix | 4 |
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 ]; |