diff --git a/pkgs/development/ocaml-modules/sawja/default.nix b/pkgs/development/ocaml-modules/sawja/default.nix index 01bc71928469..d0dba6c2ceec 100644 --- a/pkgs/development/ocaml-modules/sawja/default.nix +++ b/pkgs/development/ocaml-modules/sawja/default.nix @@ -1,10 +1,10 @@ -{stdenv, fetchurl, which, perl, ocaml, findlib, javalib, camlp4 }: +{stdenv, fetchurl, which, perl, ocaml, findlib, javalib }: assert stdenv.lib.versionAtLeast (stdenv.lib.getVersion ocaml) "3.12"; let pname = "sawja"; - version = "1.5.6"; + version = "1.5.7"; webpage = "http://sawja.inria.fr/"; in stdenv.mkDerivation { @@ -12,11 +12,11 @@ stdenv.mkDerivation { name = "ocaml${ocaml.version}-${pname}-${version}"; src = fetchurl { - url = https://gforge.inria.fr/frs/download.php/file/37819/sawja-1.5.6.tar.bz2; - sha256 = "0dkfdc8h94r7kj4p8q57fz7fssypgmjrix8xff0va7x1nya5sdp3"; + url = https://gforge.inria.fr/frs/download.php/file/38117/sawja-1.5.7.tar.bz2; + sha256 = "08xv1bq4pragc1g93w4dnbn0mighcjwfp3ixj9jzmhka2vzqm4cc"; }; - buildInputs = [ which perl ocaml findlib camlp4 ]; + buildInputs = [ which perl ocaml findlib ]; patches = [ ./configure.sh.patch ./Makefile.config.example.patch ];