BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

hevea: 2.31 -> 2.32

Browse source
This commit is contained in:
Pascal Wittmann 2018-07-05 12:26:45 +02:00
parent 7c63a9cac2
commit 16c6899a51
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.mkDerivation rec {
name = "hevea-2.31";
name = "hevea-2.32";
src = fetchurl {
url = "http://pauillac.inria.fr/~maranget/hevea/distri/${name}.tar.gz";
sha256 = "15xrnnqlacz8dpr09h7jgijm65wss99rmy9mb1zmapplmwhavmzv";
sha256 = "1s4yqphfcr1pf5mcj5c84mvmd107k525iiym5jdwsxz0ka0ccmfy";
};
buildInputs = with ocamlPackages; [ ocaml ocamlbuild ];