pyrox.dev
Merge pull request #143130 from CohenCyril/coq-elpi
coqPackages.coq-elpi: 1.10 -> 1.11
authored by
Ben Siraphob
and committed by
GitHub
8f580db4
cb38526a
+7
-3
pkgs/development/coq-modules/coq-elpi/default.nix
+7
-3
pkgs/development/coq-modules/coq-elpi/default.nix
···
4
elpi = coq.ocamlPackages.elpi.override (lib.switch coq.coq-version [
5
{ case = "8.11"; out = { version = "1.11.4"; };}
6
{ case = "8.12"; out = { version = "1.12.0"; };}
7
-
{ case = "8.13"; out = { version = "1.13.5"; };}
8
] {});
9
in mkCoqDerivation {
10
pname = "elpi";
···
12
owner = "LPCIC";
13
inherit version;
14
defaultVersion = lib.switch coq.coq-version [
15
-
{ case = "8.13"; out = "1.10.1"; }
16
{ case = "8.12"; out = "1.8.3_8.12"; }
17
{ case = "8.11"; out = "1.6.3_8.11"; }
18
] null;
19
-
release."1.10.1".sha256 = "1zsyx26dvj7pznfd2msl2w7zbw51q1nsdw0bdvdha6dga7ijf7xk";
20
release."1.9.7".sha256 = "0rvn12h9dpk9s4pxy32p8j0a1h7ib7kg98iv1cbrdg25y5vs85n1";
21
release."1.9.5".sha256 = "0gjdwmb6bvb5gh0a6ra48bz5fb3pr5kpxijb7a8mfydvar5i9qr6";
22
release."1.9.4".sha256 = "0nii7238mya74f9g6147qmpg6gv6ic9b54x5v85nb6q60d9jh0jq";
···
4
elpi = coq.ocamlPackages.elpi.override (lib.switch coq.coq-version [
5
{ case = "8.11"; out = { version = "1.11.4"; };}
6
{ case = "8.12"; out = { version = "1.12.0"; };}
7
+
{ case = "8.13"; out = { version = "1.13.7"; };}
8
+
{ case = "8.14"; out = { version = "1.13.7"; };}
9
] {});
10
in mkCoqDerivation {
11
pname = "elpi";
···
13
owner = "LPCIC";
14
inherit version;
15
defaultVersion = lib.switch coq.coq-version [
16
+
{ case = "8.14"; out = "1.11.2"; }
17
+
{ case = "8.13"; out = "1.11.1"; }
18
{ case = "8.12"; out = "1.8.3_8.12"; }
19
{ case = "8.11"; out = "1.6.3_8.11"; }
20
] null;
21
+
release."1.11.2".sha256 = "0qk5cfh15y2zrja7267629dybd3irvxk1raz7z8qfir25a81ckd4";
22
+
release."1.11.1".sha256 = "10j076vc2hdcbm15m6s7b6xdzibgfcbzlkgjnlkr2vv9k13qf8kc";
23
+
release."1.10.1".sha256 = "1zsyx26dvj7pznfd2msl2w7zbw51q1nsdw0bdvdha6dga7ijf7xk";
24
release."1.9.7".sha256 = "0rvn12h9dpk9s4pxy32p8j0a1h7ib7kg98iv1cbrdg25y5vs85n1";
25
release."1.9.5".sha256 = "0gjdwmb6bvb5gh0a6ra48bz5fb3pr5kpxijb7a8mfydvar5i9qr6";
26
release."1.9.4".sha256 = "0nii7238mya74f9g6147qmpg6gv6ic9b54x5v85nb6q60d9jh0jq";
+4
pkgs/development/coq-modules/hierarchy-builder/default.nix
+4
pkgs/development/coq-modules/hierarchy-builder/default.nix
···
5
owner = "math-comp";
6
inherit version;
7
defaultVersion = with versions; switch coq.coq-version [
8
{ case = range "8.12" "8.13"; out = "1.1.0"; }
9
{ case = isEq "8.11"; out = "0.10.0"; }
10
] null;
11
release."1.1.0".sha256 = "sha256-spno5ty4kU4WWiOfzoqbXF8lWlNSlySWcRReR3zE/4Q=";
12
release."1.0.0".sha256 = "0yykygs0z6fby6vkiaiv3azy1i9yx4rqg8xdlgkwnf2284hffzpp";
13
release."0.10.0".sha256 = "1a3vry9nzavrlrdlq3cys3f8kpq3bz447q8c4c7lh2qal61wb32h";
···
18
propagatedBuildInputs = [ coq-elpi ];
19
20
mlPlugin = true;
21
22
installFlags = [ "DESTDIR=$(out)" "COQMF_COQLIB=lib/coq/${coq.coq-version}" ];
23
extraInstallFlags = [ "VFILES=structures.v" ];
···
5
owner = "math-comp";
6
inherit version;
7
defaultVersion = with versions; switch coq.coq-version [
8
+
{ case = range "8.13" "8.14"; out = "1.2.0"; }
9
{ case = range "8.12" "8.13"; out = "1.1.0"; }
10
{ case = isEq "8.11"; out = "0.10.0"; }
11
] null;
12
+
release."1.2.0".sha256 = "0sk01rvvk652d86aibc8rik2m8iz7jn6mw9hh6xkbxlsvh50719d";
13
release."1.1.0".sha256 = "sha256-spno5ty4kU4WWiOfzoqbXF8lWlNSlySWcRReR3zE/4Q=";
14
release."1.0.0".sha256 = "0yykygs0z6fby6vkiaiv3azy1i9yx4rqg8xdlgkwnf2284hffzpp";
15
release."0.10.0".sha256 = "1a3vry9nzavrlrdlq3cys3f8kpq3bz447q8c4c7lh2qal61wb32h";
···
20
propagatedBuildInputs = [ coq-elpi ];
21
22
mlPlugin = true;
23
+
24
+
buildPhase = "make build";
25
26
installFlags = [ "DESTDIR=$(out)" "COQMF_COQLIB=lib/coq/${coq.coq-version}" ];
27
extraInstallFlags = [ "VFILES=structures.v" ];
+2
-1
pkgs/development/ocaml-modules/elpi/default.nix
+2
-1
pkgs/development/ocaml-modules/elpi/default.nix
···
1
{ stdenv, lib, fetchzip, buildDunePackage, camlp5
2
, ppxlib, ppx_deriving, re, perl, ncurses
3
-
, version ? "1.13.5"
4
}:
5
with lib;
6
let fetched = import ../../../build-support/coq/meta-fetch/default.nix
7
{inherit lib stdenv fetchzip; } ({
8
release."1.13.5".sha256 = "02a6r23mximrdvs6kgv6rp0r2dgk7zynbs99nn7lphw2c4189kka";
9
release."1.13.1".sha256 = "12a9nbdvg9gybpw63lx3nw5wnxfznpraprb0wj3l68v1w43xq044";
10
release."1.13.0".sha256 = "0dmzy058m1mkndv90byjaik6lzzfk3aaac7v84mpmkv6my23bygr";
···
1
{ stdenv, lib, fetchzip, buildDunePackage, camlp5
2
, ppxlib, ppx_deriving, re, perl, ncurses
3
+
, version ? "1.13.7"
4
}:
5
with lib;
6
let fetched = import ../../../build-support/coq/meta-fetch/default.nix
7
{inherit lib stdenv fetchzip; } ({
8
+
release."1.13.7".sha256 = "10fnwz30bsvj7ii1vg4l1li5pd7n0qqmwj18snkdr5j9gk0apc1r";
9
release."1.13.5".sha256 = "02a6r23mximrdvs6kgv6rp0r2dgk7zynbs99nn7lphw2c4189kka";
10
release."1.13.1".sha256 = "12a9nbdvg9gybpw63lx3nw5wnxfznpraprb0wj3l68v1w43xq044";
11
release."1.13.0".sha256 = "0dmzy058m1mkndv90byjaik6lzzfk3aaac7v84mpmkv6my23bygr";