diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2011-07-04 11:52:26 +0000 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2011-07-04 11:52:26 +0000 |
| commit | 9bde902010240e1881b2558adefddd7b66ea9024 (patch) | |
| tree | 6767c63de048a01b57e7dc8f5f2147f400bf64c4 /pkgs | |
| parent | b3ef7901c4fd732ffcfb495b3ab79409e76d9569 (diff) | |
| download | nixpkgs-9bde902010240e1881b2558adefddd7b66ea9024.tar nixpkgs-9bde902010240e1881b2558adefddd7b66ea9024.tar.gz nixpkgs-9bde902010240e1881b2558adefddd7b66ea9024.tar.bz2 nixpkgs-9bde902010240e1881b2558adefddd7b66ea9024.tar.lz nixpkgs-9bde902010240e1881b2558adefddd7b66ea9024.tar.xz nixpkgs-9bde902010240e1881b2558adefddd7b66ea9024.tar.zst nixpkgs-9bde902010240e1881b2558adefddd7b66ea9024.zip | |
GNU Prolog 1.4.0.
svn path=/nixpkgs/trunk/; revision=27586
Diffstat (limited to 'pkgs')
| -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 d4d348f179e..af6bfc56c09 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.3.1"; + name = "gprolog-1.4.0"; src = fetchurl { urls = [ "mirror://gnu/gprolog/${name}.tar.gz" "http://www.gprolog.org/${name}.tar.gz" ]; - sha256 = "05n3k0yynzvpc1ir1nw5bwm6m3ail0a0r1vqdsh4fii3kndiacrw"; + sha256 = "1l66k66ryfw1nfi2wlvsyq4cmr6mm95f4iay1fxdk3hdk3fjyjl0"; }; configurePhase = "cd src ;" |