There has recently been a release of a new version of the Ur/Web web 
application compiler ( http://www.impredicative.com/ur/ ).  The attached patch 
advances the Nixpkgs version to this latest release.
 
From b04104501fe2d58ad571691751d561fa2c56104c Mon Sep 17 00:00:00 2001
From: Karn Kallio <kkal...@eka.(none)>
Date: Fri, 5 Nov 2010 20:21:06 -0430
Subject: [PATCH] Advance urweb to latest release version 20101102.

---
 pkgs/development/compilers/urweb/default.nix |    4 ++--
 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/pkgs/development/compilers/urweb/default.nix b/pkgs/development/compilers/urweb/default.nix
index 4a9b6ac..b88df77 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 = "20100603";
+  version = "20101102";
   name = "${pname}-${version}";
 
   src = fetchurl {
     url = "http://www.impredicative.com/ur/${name}.tgz";;
-    sha256 = "1f2l09g3586w0fyd7i7wkfnqlqwrk7c1q9pngmd8jz69g5ysl808";
+    sha256 = "1x661z6hg8gb7v1n580kdij9mr6vv3psm28zr4mmipj2kqh66gfi";
   };
 
   buildInputs = [ stdenv.gcc file libmhash mlton mysql postgresql sqlite ];
-- 
1.7.3.2

_______________________________________________
nix-dev mailing list
[email protected]
https://mail.cs.uu.nl/mailman/listinfo/nix-dev

Reply via email to