mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-17 23:36:17 +01:00
menhir: 20151110 -> 20151112
This commit is contained in:
parent
680d909c97
commit
038f4ce1d1
1 changed files with 2 additions and 2 deletions
|
@ -1,11 +1,11 @@
|
||||||
{ stdenv, fetchurl, ocaml, findlib
|
{ stdenv, fetchurl, ocaml, findlib
|
||||||
, version ? if stdenv.lib.versionAtLeast (stdenv.lib.getVersion ocaml) "4.02" then "20151110" else "20140422"
|
, version ? if stdenv.lib.versionAtLeast (stdenv.lib.getVersion ocaml) "4.02" then "20151112" else "20140422"
|
||||||
}@args:
|
}@args:
|
||||||
|
|
||||||
let
|
let
|
||||||
sha256 =
|
sha256 =
|
||||||
if version == "20140422" then "1ki1f2id6a14h9xpv2k8yb6px7dyw8cvwh39csyzj4qpzx7wia0d"
|
if version == "20140422" then "1ki1f2id6a14h9xpv2k8yb6px7dyw8cvwh39csyzj4qpzx7wia0d"
|
||||||
else if version == "20151110" then "12ijr1gd808f79d7k7ji9zg23xr4szayfgvm6njqamh0jnspq70r"
|
else if version == "20151112" then "0fhfs96gxnj920h5ydsg7c1qypsbrlzqfn2cqzrg9rfj1qq6wq86"
|
||||||
else throw ("menhir: unknown version " ++ version);
|
else throw ("menhir: unknown version " ++ version);
|
||||||
in
|
in
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue