The attached patch advances the version of the Mercury compiler from 14.01 to 14.01.1
>From 0f41beac08dc98c52aafaf4d9e35b560c6fd6cb5 Mon Sep 17 00:00:00 2001 From: Karn Kallio <[email protected]> Date: Tue, 6 Jan 2015 21:09:15 -0430 Subject: [PATCH] mercury: Advance version of Mercury compiler from 14.01 to 14.01.1 --- pkgs/development/compilers/mercury/default.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/development/compilers/mercury/default.nix b/pkgs/development/compilers/mercury/default.nix index de9b44a..c2352b8 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 -- 2.1.4
_______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
