coqPackages.hierarchy-builder: 1.3.0 -> 1.4.0
This commit is contained in:
parent
0579b1b8a8
commit
9ff8c7fd8c
|
@ -15,13 +15,14 @@ in mkCoqDerivation {
|
||||||
owner = "LPCIC";
|
owner = "LPCIC";
|
||||||
inherit version;
|
inherit version;
|
||||||
defaultVersion = lib.switch coq.coq-version [
|
defaultVersion = lib.switch coq.coq-version [
|
||||||
{ case = "8.16"; out = "1.15.1"; }
|
{ case = "8.16"; out = "1.15.6"; }
|
||||||
{ case = "8.15"; out = "1.14.0"; }
|
{ case = "8.15"; out = "1.14.0"; }
|
||||||
{ case = "8.14"; out = "1.11.2"; }
|
{ case = "8.14"; out = "1.11.2"; }
|
||||||
{ case = "8.13"; out = "1.11.1"; }
|
{ case = "8.13"; out = "1.11.1"; }
|
||||||
{ case = "8.12"; out = "1.8.3_8.12"; }
|
{ case = "8.12"; out = "1.8.3_8.12"; }
|
||||||
{ case = "8.11"; out = "1.6.3_8.11"; }
|
{ case = "8.11"; out = "1.6.3_8.11"; }
|
||||||
] null;
|
] null;
|
||||||
|
release."1.15.6".sha256 = "sha256-qc0q01tW8NVm83801HHOBHe/7H1/F2WGDbKO6nCXfno=";
|
||||||
release."1.15.1".sha256 = "sha256-NT2RlcIsFB9AvBhMxil4ZZIgx+KusMqDflj2HgQxsZg=";
|
release."1.15.1".sha256 = "sha256-NT2RlcIsFB9AvBhMxil4ZZIgx+KusMqDflj2HgQxsZg=";
|
||||||
release."1.14.0".sha256 = "sha256:1v2p5dlpviwzky2i14cj7gcgf8cr0j54bdm9fl5iz1ckx60j6nvp";
|
release."1.14.0".sha256 = "sha256:1v2p5dlpviwzky2i14cj7gcgf8cr0j54bdm9fl5iz1ckx60j6nvp";
|
||||||
release."1.13.0".sha256 = "1j7s7dlnjbw222gnbrsjgmjck1yrx7h6hwm8zikcyxi0zys17w7n";
|
release."1.13.0".sha256 = "1j7s7dlnjbw222gnbrsjgmjck1yrx7h6hwm8zikcyxi0zys17w7n";
|
||||||
|
|
|
@ -5,11 +5,12 @@ with lib; let hb = mkCoqDerivation {
|
||||||
owner = "math-comp";
|
owner = "math-comp";
|
||||||
inherit version;
|
inherit version;
|
||||||
defaultVersion = with versions; switch coq.coq-version [
|
defaultVersion = with versions; switch coq.coq-version [
|
||||||
{ case = range "8.15" "8.16"; out = "1.3.0"; }
|
{ case = range "8.15" "8.16"; out = "1.4.0"; }
|
||||||
{ case = range "8.13" "8.14"; out = "1.2.0"; }
|
{ case = range "8.13" "8.14"; out = "1.2.0"; }
|
||||||
{ case = range "8.12" "8.13"; out = "1.1.0"; }
|
{ case = range "8.12" "8.13"; out = "1.1.0"; }
|
||||||
{ case = isEq "8.11"; out = "0.10.0"; }
|
{ case = isEq "8.11"; out = "0.10.0"; }
|
||||||
] null;
|
] null;
|
||||||
|
release."1.4.0".sha256 = "sha256-tOed9UU3kMw6KWHJ5LVLUFEmzHx1ImutXQvZ0ldW9rw=";
|
||||||
release."1.3.0".sha256 = "17k7rlxdx43qda6i1yafpgc64na8br285cb0mbxy5wryafcdrkrc";
|
release."1.3.0".sha256 = "17k7rlxdx43qda6i1yafpgc64na8br285cb0mbxy5wryafcdrkrc";
|
||||||
release."1.2.1".sha256 = "sha256-pQYZJ34YzvdlRSGLwsrYgPdz3p/l5f+KhJjkYT08Mj0=";
|
release."1.2.1".sha256 = "sha256-pQYZJ34YzvdlRSGLwsrYgPdz3p/l5f+KhJjkYT08Mj0=";
|
||||||
release."1.2.0".sha256 = "0sk01rvvk652d86aibc8rik2m8iz7jn6mw9hh6xkbxlsvh50719d";
|
release."1.2.0".sha256 = "0sk01rvvk652d86aibc8rik2m8iz7jn6mw9hh6xkbxlsvh50719d";
|
||||||
|
|
Loading…
Reference in a new issue