From 5dd65bbfadeeede6f2853fc56fb97ec16fb994f2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andres=20L=C3=B6h?= <mail@andres-loeh.de>
Date: Wed, 16 Jan 2008 10:33:06 +0000
Subject: [PATCH] * updated lhs2TeX to 1.13pre3

svn path=/nixpkgs/trunk/; revision=10170
---
 pkgs/tools/typesetting/lhs2tex/default.nix | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/pkgs/tools/typesetting/lhs2tex/default.nix b/pkgs/tools/typesetting/lhs2tex/default.nix
index fc0ce40f8e56..f071f67fe97a 100644
--- a/pkgs/tools/typesetting/lhs2tex/default.nix
+++ b/pkgs/tools/typesetting/lhs2tex/default.nix
@@ -3,12 +3,12 @@
 assert tetex == polytable.tetex;
 
 stdenv.mkDerivation {
-  name = "lhs2tex-1.12";
+  name = "lhs2tex-1.13pre3";
   builder = ./builder.sh;
   
   src = fetchurl {
-    url = http://www.informatik.uni-bonn.de/~loeh/lhs2tex/lhs2tex-1.12.tar.bz2;
-    md5 = "1bc982e96f19201aaf1c39c1d4b5e358";
+    url = "http://www.cs.uu.nl/~andres/lhs2tex/lhs2tex-1.13pre3.tar.bz2";
+    sha256 = "8ddc9bd150c20c33518d747fee95577ec8f587146532cda12b8034adc847826c";
   };
 
   buildInputs = [tetex ghc];