diff options
author | Pierre Roux <pierre@roux01.fr> | 2024-01-02 12:26:15 +0100 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2024-01-02 18:39:20 +0100 |
commit | 9c5eec2b201f64fc96c89165e05254d957c94bcb (patch) | |
tree | 1a91a8258387e513b33af3ed47eae49ec4647a70 /pkgs/development/ocaml-modules | |
parent | b74ab8eac5e7ae5f19d722717c3eef8b6ac59d02 (diff) | |
download | nixlib-9c5eec2b201f64fc96c89165e05254d957c94bcb.tar nixlib-9c5eec2b201f64fc96c89165e05254d957c94bcb.tar.gz nixlib-9c5eec2b201f64fc96c89165e05254d957c94bcb.tar.bz2 nixlib-9c5eec2b201f64fc96c89165e05254d957c94bcb.tar.lz nixlib-9c5eec2b201f64fc96c89165e05254d957c94bcb.tar.xz nixlib-9c5eec2b201f64fc96c89165e05254d957c94bcb.tar.zst nixlib-9c5eec2b201f64fc96c89165e05254d957c94bcb.zip |
coqPackages.coq-elpi: 1.19.0 -> 2.0.1
Diffstat (limited to 'pkgs/development/ocaml-modules')
-rw-r--r-- | pkgs/development/ocaml-modules/elpi/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pkgs/development/ocaml-modules/elpi/default.nix b/pkgs/development/ocaml-modules/elpi/default.nix index 0e0adcb0be87..d678c129188c 100644 --- a/pkgs/development/ocaml-modules/elpi/default.nix +++ b/pkgs/development/ocaml-modules/elpi/default.nix @@ -8,7 +8,7 @@ , ppxlib, ppx_deriving , ppxlib_0_15, ppx_deriving_0_15 , coqPackages -, version ? if lib.versionAtLeast ocaml.version "4.08" then "1.17.0" +, version ? if lib.versionAtLeast ocaml.version "4.08" then "1.18.1" else if lib.versionAtLeast ocaml.version "4.07" then "1.15.2" else "1.14.1" }: @@ -16,6 +16,7 @@ let p5 = camlp5; in let camlp5 = p5.override { legacy = true; }; in let fetched = coqPackages.metaFetch ({ + release."1.18.1".sha256 = "sha256-zgBJefQDe3JyCGbC0wvMcx/9iMVbftBJ43NPogkNeHY="; release."1.17.0".sha256 = "sha256-DTxE8CvYl0et20pxueydI+WzraI6UPHMNvxyp2gU/+w="; release."1.16.5".sha256 = "sha256-tKX5/cVPoBeHiUe+qn7c5FIRYCwY0AAukN7vSd/Nz9A="; release."1.15.2".sha256 = "sha256-XgopNP83POFbMNyl2D+gY1rmqGg03o++Ngv3zJfCn2s="; |