From 03bf52084969e0ee72898c4edd13b86305f1042e Mon Sep 17 00:00:00 2001
From: Marco Maggesi <maggesi@math.unifi.it>
Date: Fri, 8 Feb 2013 12:41:24 +0100
Subject: [PATCH] Update BLCR to version 0.8.5

---
 pkgs/os-specific/linux/blcr/default.nix | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/pkgs/os-specific/linux/blcr/default.nix b/pkgs/os-specific/linux/blcr/default.nix
index 169b020befd3..9c2821d7776f 100644
--- a/pkgs/os-specific/linux/blcr/default.nix
+++ b/pkgs/os-specific/linux/blcr/default.nix
@@ -1,18 +1,17 @@
 { stdenv, fetchurl, kernel, perl, makeWrapper }:
 
 # BLCR 0.8.4 works for kernel version up to 2.6.38 (including 2.6.38.x)
-# BLCR 0.8.5_beta3 should works for kernel version up to 3.7.1
+# BLCR 0.8.5 should works for kernel version up to 3.7.1
 
 assert stdenv.isLinux;
-#assert builtins.compareVersions "2.6.39" kernel.version == 1;
 assert builtins.compareVersions "3.7.2" kernel.version == 1;
 
 stdenv.mkDerivation {
-  name = "blcr_${kernel.version}-0.8.5pre3";
+  name = "blcr_${kernel.version}-0.8.5";
 
   src = fetchurl {
-    url = https://upc-bugs.lbl.gov/blcr-dist/blcr-0.8.5_b3.tar.gz;
-    sha256 = "1xp2k140w79zqbnfnb2q7z91hv15d5a6p39zdc97f9pfxmyyc8fn";
+    url = http://crd.lbl.gov/assets/Uploads/FTG/Projects/CheckpointRestart/downloads/blcr-0.8.5.tar.gz;
+    sha256 = "01a809nfbr715pnidlslv55pxadm3021l97p98zkqy8chyrnkjb0";
   };
 
   buildInputs = [ perl makeWrapper ];