diff options
author | Andres Löh <mail@andres-loeh.de> | 2007-01-30 13:03:53 +0000 |
---|---|---|
committer | Andres Löh <mail@andres-loeh.de> | 2007-01-30 13:03:53 +0000 |
commit | e92bd3ec5e4abc37ad8af325224952bc13d08523 (patch) | |
tree | 60ecd08eb1b5350dbc0bba41680323374815e6c1 /pkgs/tools | |
parent | 753b505608cc4dd57a2dcb63ea621ad2b10d633a (diff) | |
download | nixlib-e92bd3ec5e4abc37ad8af325224952bc13d08523.tar nixlib-e92bd3ec5e4abc37ad8af325224952bc13d08523.tar.gz nixlib-e92bd3ec5e4abc37ad8af325224952bc13d08523.tar.bz2 nixlib-e92bd3ec5e4abc37ad8af325224952bc13d08523.tar.lz nixlib-e92bd3ec5e4abc37ad8af325224952bc13d08523.tar.xz nixlib-e92bd3ec5e4abc37ad8af325224952bc13d08523.tar.zst nixlib-e92bd3ec5e4abc37ad8af325224952bc13d08523.zip |
update lhs2tex to 1.12
svn path=/nixpkgs/trunk/; revision=7813
Diffstat (limited to 'pkgs/tools')
-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 5d6f37aa63c8..2b895d97da76 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.11"; + name = "lhs2tex-1.12"; builder = ./builder.sh; src = fetchurl { - url = http://www.informatik.uni-bonn.de/~loeh/lhs2tex/lhs2tex-1.11.tar.bz2; - md5 = "16fb6a150bc1ab5e22c66f52f11cec54"; + url = http://www.informatik.uni-bonn.de/~loeh/lhs2tex/lhs2tex-1.12.tar.bz2; + md5 = "1bc982e96f19201aaf1c39c1d4b5e358"; }; buildInputs = [tetex ghc]; |