Merge pull request #126077 from yrashk/clips-6.40

clips: 6.31 -> 6.40
This commit is contained in:
Robert Scott 2021-06-07 22:21:59 +01:00 committed by GitHub
commit 8bf0088ce6
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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 = ''