diff options
author | Pascal Wittmann <mail@pascal-wittmann.de> | 2015-08-04 12:16:54 +0200 |
---|---|---|
committer | Pascal Wittmann <mail@pascal-wittmann.de> | 2015-08-04 12:17:16 +0200 |
commit | 084595f33a5de3f29fb822f2ef7a731d0d2bc775 (patch) | |
tree | 4bbcf2ed83fa7e1867054e7c94c979a2e7bf5841 /pkgs/tools | |
parent | 69970d3b535d19f07cd3f188b91896e80c7f9ac0 (diff) | |
download | nixlib-084595f33a5de3f29fb822f2ef7a731d0d2bc775.tar nixlib-084595f33a5de3f29fb822f2ef7a731d0d2bc775.tar.gz nixlib-084595f33a5de3f29fb822f2ef7a731d0d2bc775.tar.bz2 nixlib-084595f33a5de3f29fb822f2ef7a731d0d2bc775.tar.lz nixlib-084595f33a5de3f29fb822f2ef7a731d0d2bc775.tar.xz nixlib-084595f33a5de3f29fb822f2ef7a731d0d2bc775.tar.zst nixlib-084595f33a5de3f29fb822f2ef7a731d0d2bc775.zip |
hevea: update from 2.23 to 2.25
Diffstat (limited to 'pkgs/tools')
-rw-r--r-- | pkgs/tools/typesetting/hevea/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/tools/typesetting/hevea/default.nix b/pkgs/tools/typesetting/hevea/default.nix index 1acc395dc069..0626ec84fbe5 100644 --- a/pkgs/tools/typesetting/hevea/default.nix +++ b/pkgs/tools/typesetting/hevea/default.nix @@ -1,11 +1,11 @@ { stdenv, fetchurl, ocaml }: stdenv.mkDerivation rec { - name = "hevea-2.23"; + name = "hevea-2.25"; src = fetchurl { url = "http://pauillac.inria.fr/~maranget/hevea/distri/${name}.tar.gz"; - sha256 = "1f9pj48518ixhjxbviv2zx27v4anp92zgg3x704g1s5cki2w33nv"; + sha256 = "0kn99v92xsfy12r9gfvwgs0xf3s9s6frfg86a8q6damj1dampiz4"; }; buildInputs = [ ocaml ]; |