diff options
author | Timo Kaufmann <timokau@zoho.com> | 2020-10-15 17:25:55 +0200 |
---|---|---|
committer | Timo Kaufmann <timokau@zoho.com> | 2020-10-15 17:25:55 +0200 |
commit | 959b818a89916211200218216c756353717550e9 (patch) | |
tree | 9c1de47dacecbbae79418f55decfeb05f0403e88 /pkgs/development/compilers | |
parent | 8c6fe8eb61dbeb4636ac670c2cbfd9ce774a7641 (diff) |
swiProlog: 8.1.26 -> 8.3.9
Diffstat (limited to 'pkgs/development/compilers')
-rw-r--r-- | pkgs/development/compilers/swi-prolog/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/compilers/swi-prolog/default.nix b/pkgs/development/compilers/swi-prolog/default.nix index ab211e39ed5f0..dadf374d5b676 100644 --- a/pkgs/development/compilers/swi-prolog/default.nix +++ b/pkgs/development/compilers/swi-prolog/default.nix @@ -9,7 +9,7 @@ }: let - version = "8.1.26"; + version = "8.3.9"; packInstall = swiplPath: pack: ''${swiplPath}/bin/swipl -g "pack_install(${pack}, [package_directory(\"${swiplPath}/lib/swipl/pack\"), silent(true), interactive(false)])." -t "halt." ''; @@ -22,7 +22,7 @@ stdenv.mkDerivation { owner = "SWI-Prolog"; repo = "swipl-devel"; rev = "V${version}"; - sha256 = "001bd8n9sn1pwvsyd87r0vwvipidpdx0rb5f6xpqmn24sq8hcjwa"; + sha256 = "0ixb8pc5s7q8q0njs8is1clpvik6jhhdcwnys7m9rpwdzgi10sjz"; fetchSubmodules = true; }; |