From 691b047cfba73c1ef21a61240d49578c8550e98c Mon Sep 17 00:00:00 2001
From: Karn Kallio <tierpluspluslists@skami.org>
Date: Tue, 6 Jan 2015 21:11:11 -0430
Subject: [PATCH] mercury: Update 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 de9b44a44146..c2352b8126e0 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