diff options
author | Peter Simons <simons@cryp.to> | 2018-12-26 11:07:32 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-12-26 11:07:32 +0100 |
commit | 1628567bfdeb9f82560cc3779b978b4aa5284155 (patch) | |
tree | 0b49680ed1f67ee1efd50599ab887a5a194b4c08 /pkgs/development | |
parent | 02fdc64be3f7b0bcd1ec829b3d9d8cd2b0ff1595 (diff) | |
parent | 5fe80e686ac6318d3118c8fe97bec506908a1999 (diff) | |
download | nixpkgs-1628567bfdeb9f82560cc3779b978b4aa5284155.tar nixpkgs-1628567bfdeb9f82560cc3779b978b4aa5284155.tar.gz nixpkgs-1628567bfdeb9f82560cc3779b978b4aa5284155.tar.bz2 nixpkgs-1628567bfdeb9f82560cc3779b978b4aa5284155.tar.lz nixpkgs-1628567bfdeb9f82560cc3779b978b4aa5284155.tar.xz nixpkgs-1628567bfdeb9f82560cc3779b978b4aa5284155.tar.zst nixpkgs-1628567bfdeb9f82560cc3779b978b4aa5284155.zip |
Merge pull request #52887 from r-ryantm/auto-update/gprolog
gprolog: 1.4.4 -> 1.4.5
Diffstat (limited to 'pkgs/development')
-rw-r--r-- | pkgs/development/compilers/gprolog/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/compilers/gprolog/default.nix b/pkgs/development/compilers/gprolog/default.nix index a0cc27b37e2..b823bf9bdd4 100644 --- a/pkgs/development/compilers/gprolog/default.nix +++ b/pkgs/development/compilers/gprolog/default.nix @@ -1,14 +1,14 @@ { stdenv, fetchurl }: stdenv.mkDerivation rec { - name = "gprolog-1.4.4"; + name = "gprolog-1.4.5"; src = fetchurl { urls = [ "mirror://gnu/gprolog/${name}.tar.gz" "http://www.gprolog.org/${name}.tar.gz" ]; - sha256 = "13miyas47bmijmadm68cbvb21n4s156gjafz7kfx9brk9djfkh0q"; + sha256 = "0z4cc42n3k6i35b8mr816iwsvrpxshw6d7dgz6s2h1hy0l7g1p5z"; }; hardeningDisable = stdenv.lib.optional stdenv.isi686 "pic"; |