diff options
author | Karn Kallio <tierpluspluslists@skami.org> | 2015-01-06 21:11:11 -0430 |
---|---|---|
committer | Eelco Dolstra <eelco.dolstra@logicblox.com> | 2015-01-07 12:56:59 +0100 |
commit | 691b047cfba73c1ef21a61240d49578c8550e98c (patch) | |
tree | ea2e4283d1a2f0ede3332564d002b2a3ec27af98 /pkgs/development/compilers/mercury | |
parent | 37ac9deb3dd3942f728edc26e89883ed19614aeb (diff) |
mercury: Update to 14.01.1
Diffstat (limited to 'pkgs/development/compilers/mercury')
-rw-r--r-- | pkgs/development/compilers/mercury/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/compilers/mercury/default.nix b/pkgs/development/compilers/mercury/default.nix index de9b44a441460..c2352b8126e01 100644 --- a/pkgs/development/compilers/mercury/default.nix +++ b/pkgs/development/compilers/mercury/default.nix @@ -3,11 +3,11 @@ stdenv.mkDerivation rec { name = "mercury-${version}"; - version = "14.01"; + version = "14.01.1"; src = fetchurl { url = "http://dl.mercurylang.org/release/mercury-srcdist-${version}.tar.gz"; - sha256 = "1hgwmsaacxhgx2p2hikl5px8xf0wny9wx47gjl258dgxxasbfij4"; + sha256 = "12z8qi3da8q50mcsjsy5bnr4ia6ny5lkxvzy01a3c9blgbgcpxwq"; }; buildInputs = [ gcc flex bison texinfo jdk erlang makeWrapper |