gprolog: 1.4.5 -> 1.5.0
This commit is contained in:
parent
8da27ef161
commit
e54730b0b8
|
@ -1,14 +1,14 @@
|
||||||
{ lib, stdenv, fetchurl }:
|
{ lib, stdenv, fetchurl }:
|
||||||
|
|
||||||
stdenv.mkDerivation rec {
|
stdenv.mkDerivation rec {
|
||||||
name = "gprolog-1.4.5";
|
name = "gprolog-1.5.0";
|
||||||
|
|
||||||
src = fetchurl {
|
src = fetchurl {
|
||||||
urls = [
|
urls = [
|
||||||
"mirror://gnu/gprolog/${name}.tar.gz"
|
"mirror://gnu/gprolog/${name}.tar.gz"
|
||||||
"http://www.gprolog.org/${name}.tar.gz"
|
"http://www.gprolog.org/${name}.tar.gz"
|
||||||
];
|
];
|
||||||
sha256 = "0z4cc42n3k6i35b8mr816iwsvrpxshw6d7dgz6s2h1hy0l7g1p5z";
|
sha256 = "sha256-ZwZCtDwPqifr1olh77F+vnB2iPkbaAlWbd1gYTlRLAE=";
|
||||||
};
|
};
|
||||||
|
|
||||||
hardeningDisable = lib.optional stdenv.isi686 "pic";
|
hardeningDisable = lib.optional stdenv.isi686 "pic";
|
||||||
|
|
Loading…
Reference in a new issue