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

hevea: 2.34 -> 2.35
This commit is contained in:
Mario Rodas 2021-01-30 15:23:01 -05:00 committed by GitHub
commit 41557ba944
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,11 +1,11 @@
{ lib, stdenv, fetchurl, ocamlPackages }:
stdenv.mkDerivation rec {
name = "hevea-2.34";
name = "hevea-2.35";
src = fetchurl {
url = "http://pauillac.inria.fr/~maranget/hevea/distri/${name}.tar.gz";
sha256 = "1pzyszxw90klpcmhjqrjfc8cw6c0gm4w2blim8ydyxb6rq6qml1s";
sha256 = "sha256-8Ym62l0+WzWFXf39tbJwyZT8eiNmsBJQ12E1mtZsnss=";
};
buildInputs = with ocamlPackages; [ ocaml ocamlbuild ];