pyrox.dev
lol
Merge pull request #193520 from CohenCyril/hierarchy-builder-1.4.0
authored by
Ben Siraphob
and committed by
GitHub
fe7e4e9a
2867d65d
+4
-2
+2
-1
pkgs/development/coq-modules/coq-elpi/default.nix
+2
-1
pkgs/development/coq-modules/coq-elpi/default.nix
···
15
15
owner = "LPCIC";
16
16
inherit version;
17
17
defaultVersion = lib.switch coq.coq-version [
18
-
{ case = "8.16"; out = "1.15.1"; }
18
+
{ case = "8.16"; out = "1.15.6"; }
19
19
{ case = "8.15"; out = "1.14.0"; }
20
20
{ case = "8.14"; out = "1.11.2"; }
21
21
{ case = "8.13"; out = "1.11.1"; }
22
22
{ case = "8.12"; out = "1.8.3_8.12"; }
23
23
{ case = "8.11"; out = "1.6.3_8.11"; }
24
24
] null;
25
+
release."1.15.6".sha256 = "sha256-qc0q01tW8NVm83801HHOBHe/7H1/F2WGDbKO6nCXfno=";
25
26
release."1.15.1".sha256 = "sha256-NT2RlcIsFB9AvBhMxil4ZZIgx+KusMqDflj2HgQxsZg=";
26
27
release."1.14.0".sha256 = "sha256:1v2p5dlpviwzky2i14cj7gcgf8cr0j54bdm9fl5iz1ckx60j6nvp";
27
28
release."1.13.0".sha256 = "1j7s7dlnjbw222gnbrsjgmjck1yrx7h6hwm8zikcyxi0zys17w7n";
+2
-1
pkgs/development/coq-modules/hierarchy-builder/default.nix
+2
-1
pkgs/development/coq-modules/hierarchy-builder/default.nix
···
5
5
owner = "math-comp";
6
6
inherit version;
7
7
defaultVersion = with versions; switch coq.coq-version [
8
-
{ case = range "8.15" "8.16"; out = "1.3.0"; }
8
+
{ case = range "8.15" "8.16"; out = "1.4.0"; }
9
9
{ case = range "8.13" "8.14"; out = "1.2.0"; }
10
10
{ case = range "8.12" "8.13"; out = "1.1.0"; }
11
11
{ case = isEq "8.11"; out = "0.10.0"; }
12
12
] null;
13
+
release."1.4.0".sha256 = "sha256-tOed9UU3kMw6KWHJ5LVLUFEmzHx1ImutXQvZ0ldW9rw=";
13
14
release."1.3.0".sha256 = "17k7rlxdx43qda6i1yafpgc64na8br285cb0mbxy5wryafcdrkrc";
14
15
release."1.2.1".sha256 = "sha256-pQYZJ34YzvdlRSGLwsrYgPdz3p/l5f+KhJjkYT08Mj0=";
15
16
release."1.2.0".sha256 = "0sk01rvvk652d86aibc8rik2m8iz7jn6mw9hh6xkbxlsvh50719d";