clips: 6.40 -> 6.4.1

2024-06-02 01:46:08 -07:00
parent 5d720eea42
commit 3eba04d862
1 changed files with 2 additions and 2 deletions
@@ -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 = ''