diff options
| author | DS <commits@sidhion.com> | 2024-06-02 01:46:08 -0700 |
|---|---|---|
| committer | DS <commits@sidhion.com> | 2024-06-02 01:46:08 -0700 |
| commit | 3eba04d862e778f218c2c08ff8e4b7e387daebb0 (patch) | |
| tree | 4823293df0267448b7ba0a914d337ce4659e7384 /pkgs/development/interpreters | |
| parent | 5d720eea42d85c4734cd63302634c6ea4e7e2530 (diff) | |
clips: 6.40 -> 6.4.1
Diffstat (limited to 'pkgs/development/interpreters')
| -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 e79f4a92481f5..03f6dcd486cc0 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.40"; + version = "6.4.1"; pname = "clips"; src = fetchurl { url = "mirror://sourceforge/clipsrules/CLIPS/${version}/clips_core_source_${ builtins.replaceStrings [ "." ] [ "" ] version }.tar.gz"; - sha256 = "1pr5l61zxf6kjs8b2b028g2aq45pigavwjmrf4l5mrdmlnk3fq5d"; + hash = "sha256-qk87uLFZZL9HNPNlyVh+Mplr3dP1C/z1O5UVS+rnbuM="; }; postPatch = '' |