swi-prolog: 7.4.2 -> 7.6.4
This commit is contained in:
parent
cce1e28fae
commit
6c1931b15f
@ -4,14 +4,14 @@
|
|||||||
}:
|
}:
|
||||||
|
|
||||||
let
|
let
|
||||||
version = "7.4.2";
|
version = "7.6.4";
|
||||||
in
|
in
|
||||||
stdenv.mkDerivation {
|
stdenv.mkDerivation {
|
||||||
name = "swi-prolog-${version}";
|
name = "swi-prolog-${version}";
|
||||||
|
|
||||||
src = fetchurl {
|
src = fetchurl {
|
||||||
url = "http://www.swi-prolog.org/download/stable/src/swipl-${version}.tar.gz";
|
url = "http://www.swi-prolog.org/download/stable/src/swipl-${version}.tar.gz";
|
||||||
sha256 = "12yzy3w2l1p9fv77lv20xbqq47d0zjw5rkz96mx1xg1lldyja5vz";
|
sha256 = "14bq4sqs61maqpnmgy6687jjj0shwc27cpfsqbf056nrssmplg9d";
|
||||||
};
|
};
|
||||||
|
|
||||||
buildInputs = [ jdk gmp readline openssl libjpeg unixODBC libXinerama
|
buildInputs = [ jdk gmp readline openssl libjpeg unixODBC libXinerama
|
||||||
|
Loading…
Reference in New Issue
Block a user