dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

Merge pull request #52887 from r-ryantm/auto-update/gprolog

Browse Source 
gprolog: 1.4.4 -> 1.4.5
This commit is contained in:
Peter Simons 2018-12-26 11:07:32 +01:00 committed by GitHub
commit 1628567bfd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/development/compilers/gprolog/default.nix
View File

@ -1,14 +1,14 @@
{ stdenv, fetchurl }: { stdenv, fetchurl }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "gprolog-1.4.4"; name = "gprolog-1.4.5";
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 = "13miyas47bmijmadm68cbvb21n4s156gjafz7kfx9brk9djfkh0q"; sha256 = "0z4cc42n3k6i35b8mr816iwsvrpxshw6d7dgz6s2h1hy0l7g1p5z";
}; };
hardeningDisable = stdenv.lib.optional stdenv.isi686 "pic"; hardeningDisable = stdenv.lib.optional stdenv.isi686 "pic";