diff options
author | Andres Löh <mail@andres-loeh.de> | 2008-01-16 10:33:06 +0000 |
---|---|---|
committer | Andres Löh <mail@andres-loeh.de> | 2008-01-16 10:33:06 +0000 |
commit | 5dd65bbfadeeede6f2853fc56fb97ec16fb994f2 (patch) | |
tree | e6c88e4dff31673c1fd545a2ca6b9075b39b3a15 /pkgs/tools/typesetting/lhs2tex | |
parent | 28e24e745f6705b82b3f1735700cbfe8b100fc46 (diff) | |
download | nixlib-5dd65bbfadeeede6f2853fc56fb97ec16fb994f2.tar nixlib-5dd65bbfadeeede6f2853fc56fb97ec16fb994f2.tar.gz nixlib-5dd65bbfadeeede6f2853fc56fb97ec16fb994f2.tar.bz2 nixlib-5dd65bbfadeeede6f2853fc56fb97ec16fb994f2.tar.lz nixlib-5dd65bbfadeeede6f2853fc56fb97ec16fb994f2.tar.xz nixlib-5dd65bbfadeeede6f2853fc56fb97ec16fb994f2.tar.zst nixlib-5dd65bbfadeeede6f2853fc56fb97ec16fb994f2.zip |
* updated lhs2TeX to 1.13pre3
svn path=/nixpkgs/trunk/; revision=10170
Diffstat (limited to 'pkgs/tools/typesetting/lhs2tex')
-rw-r--r-- | pkgs/tools/typesetting/lhs2tex/default.nix | 6 |
1 files 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]; |