From a041cad70ad2fb42ca27f12a1a8f8c43ef92ad4d Mon Sep 17 00:00:00 2001
From: Marco Maggesi <maggesi@math.unifi.it>
Date: Thu, 21 Apr 2011 14:39:29 +0000
Subject: [PATCH] Update HOL Light to r89

svn path=/nixpkgs/trunk/; revision=26916
---
 pkgs/applications/science/logic/hol_light/sources.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/pkgs/applications/science/logic/hol_light/sources.nix b/pkgs/applications/science/logic/hol_light/sources.nix
index b45ca4a90349..c6bf65928768 100644
--- a/pkgs/applications/science/logic/hol_light/sources.nix
+++ b/pkgs/applications/science/logic/hol_light/sources.nix
@@ -2,12 +2,12 @@
 
 stdenv.mkDerivation rec {
   name = "hol_light_sources-${version}";
-  version = "20101029";
+  version = "20110417";
 
   src = fetchsvn {
     url = http://hol-light.googlecode.com/svn/trunk;
-    rev = "64";
-    sha256 = "91e9cac62586039b13c11af245f85a743e299892b24b39d3c7b2ee13157e87c9";
+    rev = "89";
+    sha256 = "a14a7ce61002443daac85583362f9f6f5509b22d441effaeb378e0f2c29185e5";
   };
 
   buildCommand = ''