mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-06-12 04:35:41 +03:00
clips: 6.4.1 -> 6.4.2
This commit is contained in:
parent
e4dd0c7064
commit
1048073c00
1 changed files with 2 additions and 2 deletions
|
@ -5,14 +5,14 @@
|
||||||
}:
|
}:
|
||||||
|
|
||||||
stdenv.mkDerivation rec {
|
stdenv.mkDerivation rec {
|
||||||
version = "6.4.1";
|
version = "6.4.2";
|
||||||
pname = "clips";
|
pname = "clips";
|
||||||
|
|
||||||
src = fetchurl {
|
src = fetchurl {
|
||||||
url = "mirror://sourceforge/clipsrules/CLIPS/${version}/clips_core_source_${
|
url = "mirror://sourceforge/clipsrules/CLIPS/${version}/clips_core_source_${
|
||||||
builtins.replaceStrings [ "." ] [ "" ] version
|
builtins.replaceStrings [ "." ] [ "" ] version
|
||||||
}.tar.gz";
|
}.tar.gz";
|
||||||
hash = "sha256-qk87uLFZZL9HNPNlyVh+Mplr3dP1C/z1O5UVS+rnbuM=";
|
hash = "sha256-YIoesvxunK/zDWPWhAlfC8pxCPIpTSHub1YXQnwQRVo=";
|
||||||
};
|
};
|
||||||
|
|
||||||
postPatch = ''
|
postPatch = ''
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue