dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

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

Browse Source 
hevea: 2.32 -> 2.33
This commit is contained in:
Mario Rodas 2020-02-29 18:26:14 -05:00 committed by GitHub
commit d778aafabd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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.mkDerivation rec {
name = "hevea-2.32";
name = "hevea-2.33";
src = fetchurl {
url = "http://pauillac.inria.fr/~maranget/hevea/distri/${name}.tar.gz";
sha256 = "1s4yqphfcr1pf5mcj5c84mvmd107k525iiym5jdwsxz0ka0ccmfy";
sha256 = "0115bn6n6hhb08rmj0m508wjcsn1mggiagqly6s941pq811wxymb";
};
buildInputs = with ocamlPackages; [ ocaml ocamlbuild ];