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

hevea: 2.35 -> 2.36
This commit is contained in:
Pascal Wittmann 2022-07-31 22:43:32 +02:00 committed by GitHub
commit 4da5000318
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,11 +2,11 @@
stdenv.mkDerivation rec {
pname = "hevea";
version = "2.35";
version = "2.36";
src = fetchurl {
url = "https://pauillac.inria.fr/~maranget/hevea/distri/hevea-${version}.tar.gz";
sha256 = "sha256-8Ym62l0+WzWFXf39tbJwyZT8eiNmsBJQ12E1mtZsnss=";
sha256 = "sha256-XWdZ13AqKVx2oSwbKhoWdUqw7B/+1z/J0LE4tB5yBkg=";
};
buildInputs = with ocamlPackages; [ ocaml ocamlbuild ];