From f4592654e0fb3380c52d2825e29d347fad4e41a1 Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Tue, 22 Jun 2010 12:05:08 +0000
Subject: [PATCH] * jquery-ui 1.8.1 disappeared.

---
 release.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/release.nix b/release.nix
index 8ac8c6dd..20f75f3a 100644
--- a/release.nix
+++ b/release.nix
@@ -18,8 +18,8 @@ rec {
       buildInputs = [zip unzip];
 
       jquery = fetchurl {
-        url = http://jqueryui.com/download/jquery-ui-1.8.1.custom.zip;
-        sha256 = "0r4hgb0dl7xavkxllybmmvshxh383sh8lyczfas544bcfy4wj9f8";
+        url = http://jqueryui.com/download/jquery-ui-1.8.2.custom.zip;
+        sha256 = "1rvys5fl782x13zpyj20q6z9kflm2xg1s9608lvnh9j5fbgxv656";
       };
 
       tablesorter = fetchurl {