From 8c6fe8eb61dbeb4636ac670c2cbfd9ce774a7641 Mon Sep 17 00:00:00 2001 From: Timo Kaufmann Date: Thu, 15 Oct 2020 17:19:36 +0200 Subject: [PATCH] swiProlog: 8.1.15 -> 8.1.26 --- pkgs/development/compilers/swi-prolog/default.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/development/compilers/swi-prolog/default.nix b/pkgs/development/compilers/swi-prolog/default.nix index 0140bb40111..ab211e39ed5 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.15"; + version = "8.1.26"; 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 = "0czbrscx2s4079nmwvipp9cnwfny16m3fpnp823llm7wyljchgvq"; + sha256 = "001bd8n9sn1pwvsyd87r0vwvipidpdx0rb5f6xpqmn24sq8hcjwa"; fetchSubmodules = true; };