ocamlPackages.menhir: 20170101 -> 20170418

This commit is contained in:
Vincent Laporte 2017-04-20 20:16:35 +00:00
parent a76841e399
commit 0fcc6ca515
2 changed files with 3 additions and 3 deletions

View File

@ -1,11 +1,11 @@
{ stdenv, fetchurl, ocaml, findlib, ocamlbuild { stdenv, fetchurl, ocaml, findlib, ocamlbuild
, version ? if stdenv.lib.versionAtLeast (stdenv.lib.getVersion ocaml) "4.02" then "20170101" else "20140422" , version ? if stdenv.lib.versionAtLeast (stdenv.lib.getVersion ocaml) "4.02" then "20170418" else "20140422"
}@args: }@args:
let let
sha256 = sha256 =
if version == "20140422" then "1ki1f2id6a14h9xpv2k8yb6px7dyw8cvwh39csyzj4qpzx7wia0d" if version == "20140422" then "1ki1f2id6a14h9xpv2k8yb6px7dyw8cvwh39csyzj4qpzx7wia0d"
else if version == "20170101" then "0ika46i9gn3sjvspa62fb5dnr20k783vg5fj30649q0ialv6yscr" else if version == "20170418" then "0avxkighxfr9x3vh2dkc5r1k2w7q2dz005w7syyzr7qjybpavpii"
else throw ("menhir: unknown version " ++ version); else throw ("menhir: unknown version " ++ version);
in in

View File

@ -36,7 +36,7 @@ stdenv.mkDerivation {
and Yann Régis-Gianas. and Yann Régis-Gianas.
''; '';
license = with licenses; [ license = with licenses; [
qpl /* generator */ (if versionAtLeast version "20170418" then gpl2 else qpl) /* generator */
lgpl2 /* library */ lgpl2 /* library */
]; ];
platforms = ocaml.meta.platforms or []; platforms = ocaml.meta.platforms or [];