From c77ae0ced73ebadc192a8dae97f4dd433fadc232 Mon Sep 17 00:00:00 2001 From: Maciek Starzyk Date: Sat, 6 Dec 2014 23:35:51 +0100 Subject: [PATCH] urweb: updated to version 20141206 --- pkgs/development/compilers/urweb/default.nix | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/development/compilers/urweb/default.nix b/pkgs/development/compilers/urweb/default.nix index 01dbaee8cde..51025847c90 100644 --- a/pkgs/development/compilers/urweb/default.nix +++ b/pkgs/development/compilers/urweb/default.nix @@ -2,12 +2,12 @@ stdenv.mkDerivation rec { pname = "urweb"; - version = "20140830"; + version = "20141206"; name = "${pname}-${version}"; src = fetchurl { url = "http://www.impredicative.com/ur/${name}.tgz"; - sha256 = "0l4zhvdy2fdvhihyl4gl09v8q4w05b1k0c6h4k8281px96d5ljgr"; + sha256 = "077yakksxvdjlmwgc9wlz9jnkr345sikqjchvmxyv0axga5bw4rj"; }; buildInputs = [ stdenv.gcc file openssl mlton mysql postgresql sqlite ];