diff options
| author | Yurii Rashkovskii <yrashk@gmail.com> | 2021-06-07 07:44:10 -0700 |
|---|---|---|
| committer | Yurii Rashkovskii <yrashk@gmail.com> | 2021-06-07 07:44:10 -0700 |
| commit | 4b4df46bab73375bc297e2b3c4ede169de0e08e3 (patch) | |
| tree | 4d569597f7ddb7699b875cc9ab4289ad72ed5e0c | |
| parent | 65c7bed5d2149a97922246e043377e7b3bc6eda2 (diff) | |
clips: 6.31 -> 6.40
| -rw-r--r-- | pkgs/development/interpreters/clips/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/interpreters/clips/default.nix b/pkgs/development/interpreters/clips/default.nix index 64fd89008e33..2edeaf9e4e87 100644 --- a/pkgs/development/interpreters/clips/default.nix +++ b/pkgs/development/interpreters/clips/default.nix @@ -1,14 +1,14 @@ { lib, stdenv, fetchurl }: stdenv.mkDerivation rec { - version = "6.31"; + version = "6.40"; pname = "clips"; src = fetchurl { url = "mirror://sourceforge/clipsrules/CLIPS/${version}/clips_core_source_${ builtins.replaceStrings [ "." ] [ "" ] version }.tar.gz"; - sha256 = "165k0z7dsv04q432sanmw0jxmxwf56cnhsdfw5ffjqxd3lzkjnv6"; + sha256 = "1pr5l61zxf6kjs8b2b028g2aq45pigavwjmrf4l5mrdmlnk3fq5d"; }; postPatch = '' |