From 2d6d52bb2a34c459d695d329d1b2081676d9cc35 Mon Sep 17 00:00:00 2001 From: "Robert M. Mather" Date: Fri, 13 Jun 2014 18:22:34 -0700 Subject: [PATCH] Ur/Web compiler: new release, 20140426 -> 20140531 --- 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 2073104c6fd..bd457b227e6 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 = "20140426"; + version = "20140531"; name = "${pname}-${version}"; src = fetchurl { url = "http://www.impredicative.com/ur/${name}.tgz"; - sha256 = "0d7mbmjc59y0dwk4k7r4wpxfsn4fzswrdxai9xh2nzjsxg2fa7d2"; + sha256 = "0gbk16hzs8267cfhb7w1cqgjxdv2icxg5clxdbda6qsn84jaf3n4"; }; buildInputs = [ stdenv.gcc file openssl mlton mysql postgresql sqlite ];