pyrox.dev
coqPackages.paco: enable for Coq 8.10 and 8.11
authored by Vincent Laporte and committed by Vincent Laporte b01052f1 8b44e6b1
+4
-2
pkgs/development/coq-modules/paco/default.nix
+4
-2
pkgs/development/coq-modules/paco/default.nix
···
19
"8.7" = versions.post_8_6;
20
"8.8" = versions.post_8_6;
21
"8.9" = versions.post_8_6;
22
};
23
param = params.${coq.coq-version};
24
in
25
26
stdenv.mkDerivation rec {
27
inherit (param) version;
28
-
name = "coq-paco-${coq.coq-version}-${version}";
29
30
src = fetchFromGitHub {
31
inherit (param) rev sha256;
···
52
};
53
54
passthru = {
55
-
compatibleCoqVersions = v: builtins.elem v [ "8.5" "8.6" "8.7" "8.8" "8.9" ];
56
};
57
58
}
···
19
"8.7" = versions.post_8_6;
20
"8.8" = versions.post_8_6;
21
"8.9" = versions.post_8_6;
22
+
"8.10" = versions.post_8_6;
23
+
"8.11" = versions.post_8_6;
24
};
25
param = params.${coq.coq-version};
26
in
27
28
stdenv.mkDerivation rec {
29
inherit (param) version;
30
+
name = "coq${coq.coq-version}-paco-${version}";
31
32
src = fetchFromGitHub {
33
inherit (param) rev sha256;
···
54
};
55
56
passthru = {
57
+
compatibleCoqVersions = stdenv.lib.flip builtins.hasAttr params;
58
};
59
60
}