diff options
author | Luc Tielen <luc.tielen@kabisa.nl> | 2020-06-30 15:49:49 +0200 |
---|---|---|
committer | Luc Tielen <luc.tielen@kabisa.nl> | 2020-06-30 15:49:49 +0200 |
commit | 2f1c9323acd5784bcaee2c2717359d776304d417 (patch) | |
tree | e83ac05026ace36a6deac93c1943d5f711ff21d3 /pkgs/development/compilers/souffle | |
parent | d13d819b894dc837c918c4f0626a483d73d7784e (diff) |
souffle: 1.7.1 -> 2.0.0
Diffstat (limited to 'pkgs/development/compilers/souffle')
-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 00d1a2f79600f..d7fc7b114ab26 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 = "1.7.1"; + version = "2.0.0"; src = fetchFromGitHub { owner = "souffle-lang"; repo = "souffle"; rev = version; - sha256 = "0px8kh5875q2iyza4ylpa6vxpy6qxg0qvn2idk1j6dcdf5pdryph"; + sha256 = "1azn32x0xbbk8gagipb34qk3y1srm927j5d34w20isgjxir4xsnz"; }; nativeBuildInputs = [ autoreconfHook bison flex mcpp doxygen graphviz makeWrapper perl ]; |