coqPackages.serapi: init at 8.16.0+0.16.0 for Coq 8.16

This commit is contained in:
Vincent Laporte 2022-09-18 15:05:38 +02:00 committed by Vincent Laporte
parent dbf8bba95b
commit 60f34d3919

View file

@ -2,6 +2,7 @@
let let
release = { release = {
"8.16.0+0.16.0".sha256 = "sha256-Of5vO6wvqGyxagjGuuY3qCiLKbBr3VzLHiIn9U2R21E=";
"8.15.0+0.15.0".sha256 = "1vh99ya2dq6a8xl2jrilgs0rpj4j227qx8zvzd2v5xylx0p4bbrp"; "8.15.0+0.15.0".sha256 = "1vh99ya2dq6a8xl2jrilgs0rpj4j227qx8zvzd2v5xylx0p4bbrp";
"8.14.0+0.14.0".sha256 = "1kh80yb791yl771qbqkvwhbhydfii23a7lql0jgifvllm2k8hd8d"; "8.14.0+0.14.0".sha256 = "1kh80yb791yl771qbqkvwhbhydfii23a7lql0jgifvllm2k8hd8d";
"8.13.0+0.13.0".sha256 = "0k69907xn4k61w4mkhwf8kh8drw9pijk9ynijsppihw98j8w38fy"; "8.13.0+0.13.0".sha256 = "0k69907xn4k61w4mkhwf8kh8drw9pijk9ynijsppihw98j8w38fy";
@ -17,6 +18,7 @@ in
defaultVersion = with versions; defaultVersion = with versions;
switch coq.version [ switch coq.version [
{ case = isEq "8.16"; out = "8.16.0+0.16.0"; }
{ case = isEq "8.15"; out = "8.15.0+0.15.0"; } { case = isEq "8.15"; out = "8.15.0+0.15.0"; }
{ case = isEq "8.14"; out = "8.14.0+0.14.0"; } { case = isEq "8.14"; out = "8.14.0+0.14.0"; }
{ case = isEq "8.13"; out = "8.13.0+0.13.0"; } { case = isEq "8.13"; out = "8.13.0+0.13.0"; }
@ -78,7 +80,15 @@ in
then [ then [
./8.12.0+0.12.1.patch ./8.12.0+0.12.1.patch
] ]
else [ else if version == "8.14.0+0.14.0" || version == "8.15.0+0.15.0"
then [
./janestreet-0.15.patch ./janestreet-0.15.patch
]
else [
]; ];
propagatedBuildInputs = o.propagatedBuildInputs ++
lib.optional (version == "8.16.0+0.16.0" || version == "dev") coq.ocamlPackages.ppx_hash
;
}) })