diff options
author | Etienne Laurin <etienne@atnnn.com> | 2016-09-15 00:31:23 -0400 |
---|---|---|
committer | Etienne Laurin <etienne@atnnn.com> | 2016-09-15 00:31:23 -0400 |
commit | ff9208c37a21cf3b488e7bb6ca7d0abba7419b47 (patch) | |
tree | f8ccc147930475ae17d8e45b16df5d476c4da87f /pkgs/development/compilers/swi-prolog | |
parent | 2b0eace6cf021eed7123fb828483a00c95796829 (diff) |
swiProlog: 6.6.6 -> 7.2.3
Diffstat (limited to 'pkgs/development/compilers/swi-prolog')
-rw-r--r-- | pkgs/development/compilers/swi-prolog/default.nix | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/pkgs/development/compilers/swi-prolog/default.nix b/pkgs/development/compilers/swi-prolog/default.nix index c3e77152b3e08..b6d6388c74b93 100644 --- a/pkgs/development/compilers/swi-prolog/default.nix +++ b/pkgs/development/compilers/swi-prolog/default.nix @@ -4,14 +4,14 @@ }: let - version = "6.6.6"; + version = "7.2.3"; in stdenv.mkDerivation { name = "swi-prolog-${version}"; src = fetchurl { - url = "http://www.swi-prolog.org/download/stable/src/pl-${version}.tar.gz"; - sha256 = "0vcrfskm2hyhv30lxr6v261myb815jc3bgmcn1lgsc9g9qkvp04z"; + url = "http://www.swi-prolog.org/download/stable/src/swipl-${version}.tar.gz"; + sha256 = "1da6sr8pz1zffs79nfa1d25a11ibhalm1vdwsb17p265nx8psra3"; }; buildInputs = [ gmp readline openssl libjpeg unixODBC libXinerama |