pyrox.dev
ocamlPackages.elpi: 1.15.0 → 1.15.2
Co-authored-by: Pierre Roux <pierre.roux@onera.fr>
+4
-2
pkgs/development/ocaml-modules/elpi/default.nix
+4
-2
pkgs/development/ocaml-modules/elpi/default.nix
···
2
, buildDunePackage, camlp5
3
, ocaml
4
, menhir, menhirLib
5
, re, perl, ncurses
6
, ppxlib, ppx_deriving
7
, ppxlib_0_15, ppx_deriving_0_15
8
, coqPackages
9
-
, version ? if lib.versionAtLeast ocaml.version "4.07" then "1.15.0" else "1.14.1"
10
}:
11
with lib;
12
let fetched = coqPackages.metaFetch ({
13
release."1.15.0".sha256 = "sha256:1ngdc41sgyzyz3i3lkzjhnj66gza5h912virkh077dyv17ysb6ar";
14
release."1.14.1".sha256 = "sha256-BZPVL8ymjrE9kVGyf6bpc+GA2spS5JBpkUtZi04nPis=";
15
release."1.13.7".sha256 = "10fnwz30bsvj7ii1vg4l1li5pd7n0qqmwj18snkdr5j9gk0apc1r";
···
31
buildInputs = [ perl ncurses ]
32
++ optional (versionAtLeast version "1.15" || version == "dev") menhir;
33
34
-
propagatedBuildInputs = [ re ]
35
++ (if versionAtLeast version "1.15" || version == "dev"
36
then [ menhirLib ]
37
else [ camlp5 ]
···
2
, buildDunePackage, camlp5
3
, ocaml
4
, menhir, menhirLib
5
+
, stdlib-shims
6
, re, perl, ncurses
7
, ppxlib, ppx_deriving
8
, ppxlib_0_15, ppx_deriving_0_15
9
, coqPackages
10
+
, version ? if lib.versionAtLeast ocaml.version "4.07" then "1.15.2" else "1.14.1"
11
}:
12
with lib;
13
let fetched = coqPackages.metaFetch ({
14
+
release."1.15.2".sha256 = "sha256-XgopNP83POFbMNyl2D+gY1rmqGg03o++Ngv3zJfCn2s=";
15
release."1.15.0".sha256 = "sha256:1ngdc41sgyzyz3i3lkzjhnj66gza5h912virkh077dyv17ysb6ar";
16
release."1.14.1".sha256 = "sha256-BZPVL8ymjrE9kVGyf6bpc+GA2spS5JBpkUtZi04nPis=";
17
release."1.13.7".sha256 = "10fnwz30bsvj7ii1vg4l1li5pd7n0qqmwj18snkdr5j9gk0apc1r";
···
33
buildInputs = [ perl ncurses ]
34
++ optional (versionAtLeast version "1.15" || version == "dev") menhir;
35
36
+
propagatedBuildInputs = [ re stdlib-shims ]
37
++ (if versionAtLeast version "1.15" || version == "dev"
38
then [ menhirLib ]
39
else [ camlp5 ]