Merge pull request #83710 from r-ryantm/auto-update/hevea

hevea: 2.33 -> 2.34
This commit is contained in:
Pascal Wittmann 2020-03-30 11:06:55 +02:00 committed by GitHub
commit 19fb719cd5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,11 +1,11 @@
{ stdenv, fetchurl, ocamlPackages }:
stdenv.mkDerivation rec {
name = "hevea-2.33";
name = "hevea-2.34";
src = fetchurl {
url = "http://pauillac.inria.fr/~maranget/hevea/distri/${name}.tar.gz";
sha256 = "0115bn6n6hhb08rmj0m508wjcsn1mggiagqly6s941pq811wxymb";
sha256 = "1pzyszxw90klpcmhjqrjfc8cw6c0gm4w2blim8ydyxb6rq6qml1s";
};
buildInputs = with ocamlPackages; [ ocaml ocamlbuild ];
@ -14,7 +14,7 @@ stdenv.mkDerivation rec {
meta = with stdenv.lib; {
description = "A quite complete and fast LATEX to HTML translator";
homepage = http://pauillac.inria.fr/~maranget/hevea/;
homepage = "http://pauillac.inria.fr/~maranget/hevea/";
license = licenses.qpl;
maintainers = with maintainers; [ pSub ];
platforms = with platforms; unix;