From 2c169f83e7d43c92fe96b362b1ef45e390a0dc4d Mon Sep 17 00:00:00 2001
From: Kranium Gikos Mendoza <kranium@gikos.net>
Date: Thu, 14 Jul 2016 23:14:15 +0800
Subject: [PATCH] urweb: 20151220 -> 20160621
---
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 eebc8a56765b..d9c448970c97 100644
--- a/pkgs/development/compilers/urweb/default.nix
+++ b/pkgs/development/compilers/urweb/default.nix
@@ -4,11 +4,11 @@
stdenv.mkDerivation rec {
name = "urweb-${version}";
- version = "20151220";
+ version = "20160621";
src = fetchurl {
url = "http://www.impredicative.com/ur/${name}.tgz";
- sha256 = "155maalm4l1ni7az3yqs0lrgl5f2xr3pz4118ag1hnk82qldd4s5";
+ sha256 = "08km96hli5yp754nsxxjzih2la0m89j5wc2cq12rkas43nqqgr65";
};
buildInputs = [ openssl mlton mysql postgresql sqlite ];