ocamlPackages.sawja: 1.5.2 -> 1.5.3

This commit is contained in:
Vincent Laporte 2018-03-08 20:15:47 +00:00 committed by Vincent Laporte
parent 4345a2cef2
commit 0ceb110197

View File

@ -4,7 +4,7 @@ assert stdenv.lib.versionAtLeast (stdenv.lib.getVersion ocaml) "3.12";
let
pname = "sawja";
version = "1.5.2";
version = "1.5.3";
webpage = "http://sawja.inria.fr/";
in
stdenv.mkDerivation rec {
@ -12,8 +12,8 @@ stdenv.mkDerivation rec {
name = "ocaml${ocaml.version}-${pname}-${version}";
src = fetchurl {
url = https://gforge.inria.fr/frs/download.php/file/36093/sawja-1.5.2.tar.bz2;
sha256 = "12046arkxiy4gf1s17hyc0yzydjzpzwqxn13sbkbxl8xzvmankx4";
url = https://gforge.inria.fr/frs/download.php/file/37403/sawja-1.5.3.tar.bz2;
sha256 = "17vfknr126vfhpmr14j75sg8r47xz7pw7fba4nsdw3k7rq43vcn2";
};
buildInputs = [ which perl ocaml findlib camlp4 ];