public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

hevea: 2.29 -> 2.31

Browse Source
This commit is contained in:
Pascal Wittmann 2017-10-23 20:25:51 +02:00
parent d2f9dc4a3b
commit c42e772a62
No known key found for this signature in database
GPG Key ID: C899ACE7E2322852
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/tools/typesetting/hevea/default.nix
View File

@ -1,11 +1,11 @@
{ stdenv, fetchurl, ocamlPackages }: { stdenv, fetchurl, ocamlPackages }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "hevea-2.29"; name = "hevea-2.31";
src = fetchurl { src = fetchurl {
url = "http://pauillac.inria.fr/~maranget/hevea/distri/${name}.tar.gz"; url = "http://pauillac.inria.fr/~maranget/hevea/distri/${name}.tar.gz";
sha256 = "1i7qkar6gjpsxqgdm90xxgp15z7gfyja0rn62n23a9aahc0hpgq6"; sha256 = "15xrnnqlacz8dpr09h7jgijm65wss99rmy9mb1zmapplmwhavmzv";
}; };
buildInputs = with ocamlPackages; [ ocaml ocamlbuild ]; buildInputs = with ocamlPackages; [ ocaml ocamlbuild ];