pyrox.dev
lol
ocamlPackages.elpi: 1.16.5 → 1.17.0
authored by
Pierre Roux
and committed by
Vincent Laporte
94612033
0edab9b4
+5
-4
+2
-2
pkgs/development/coq-modules/coq-elpi/default.nix
+2
-2
pkgs/development/coq-modules/coq-elpi/default.nix
···
7
7
{ case = "8.13"; out = { version = "1.13.7"; };}
8
8
{ case = "8.14"; out = { version = "1.13.7"; };}
9
9
{ case = "8.15"; out = { version = "1.15.0"; };}
10
-
{ case = "8.16"; out = { version = "1.16.5"; };}
11
-
{ case = "8.17"; out = { version = "1.16.5"; };}
10
+
{ case = "8.16"; out = { version = "1.17.0"; };}
11
+
{ case = "8.17"; out = { version = "1.17.0"; };}
12
12
] {} );
13
13
in mkCoqDerivation {
14
14
pname = "elpi";
+3
-2
pkgs/development/ocaml-modules/elpi/default.nix
+3
-2
pkgs/development/ocaml-modules/elpi/default.nix
···
8
8
, ppxlib, ppx_deriving
9
9
, ppxlib_0_15, ppx_deriving_0_15
10
10
, coqPackages
11
-
, version ? if lib.versionAtLeast ocaml.version "4.08" then "1.16.5"
11
+
, version ? if lib.versionAtLeast ocaml.version "4.08" then "1.17.0"
12
12
else if lib.versionAtLeast ocaml.version "4.07" then "1.15.2" else "1.14.1"
13
13
}:
14
14
···
16
16
let camlp5 = p5.override { legacy = true; }; in
17
17
18
18
let fetched = coqPackages.metaFetch ({
19
+
release."1.17.0".sha256 = "sha256-DTxE8CvYl0et20pxueydI+WzraI6UPHMNvxyp2gU/+w=";
19
20
release."1.16.5".sha256 = "sha256-tKX5/cVPoBeHiUe+qn7c5FIRYCwY0AAukN7vSd/Nz9A=";
20
21
release."1.15.2".sha256 = "sha256-XgopNP83POFbMNyl2D+gY1rmqGg03o++Ngv3zJfCn2s=";
21
22
release."1.15.0".sha256 = "sha256:1ngdc41sgyzyz3i3lkzjhnj66gza5h912virkh077dyv17ysb6ar";
···
34
35
pname = "elpi";
35
36
inherit (fetched) version src;
36
37
37
-
patches = lib.optional (lib.versionAtLeast version "1.16" || version == "dev")
38
+
patches = lib.optional (version == "1.16.5")
38
39
./atd_2_10.patch;
39
40
40
41
minimalOCamlVersion = "4.04";