pyrox.dev
coqPackages.serapi: 8.17.0+0.17 -> 8.18.0+0.18
Signed-off-by: Ali Caglayan <alizter@gmail.com>
authored by Ali Caglayan and committed by Vincent Laporte 9d696c09 1e9b4083
+2
pkgs/development/coq-modules/serapi/default.nix
+2
pkgs/development/coq-modules/serapi/default.nix
···
2
3
let
4
release = {
5
"8.17.0+0.17.0".sha256 = "sha256-I81qvaXpJfXcbFw8vyzYLzlnhPg1QD0lTqAFXhoZ0rI=";
6
"8.16.0+0.16.3".sha256 = "sha256-22Kawp8jAsgyBTppwN5vmN7zEaB1QfPs0qKxd6x/7Uc=";
7
"8.15.0+0.15.0".sha256 = "1vh99ya2dq6a8xl2jrilgs0rpj4j227qx8zvzd2v5xylx0p4bbrp";
···
19
20
defaultVersion = with versions;
21
lib.switch coq.version [
22
{ case = isEq "8.17"; out = "8.17.0+0.17.0"; }
23
{ case = isEq "8.16"; out = "8.16.0+0.16.3"; }
24
{ case = isEq "8.15"; out = "8.15.0+0.15.0"; }
···
2
3
let
4
release = {
5
+
"8.18.0+0.18.0".sha256 = "sha256-c+3yG9vcbek/uvQ27OOQGqqsIHU1VuQhQvNVOjfucbo=";
6
"8.17.0+0.17.0".sha256 = "sha256-I81qvaXpJfXcbFw8vyzYLzlnhPg1QD0lTqAFXhoZ0rI=";
7
"8.16.0+0.16.3".sha256 = "sha256-22Kawp8jAsgyBTppwN5vmN7zEaB1QfPs0qKxd6x/7Uc=";
8
"8.15.0+0.15.0".sha256 = "1vh99ya2dq6a8xl2jrilgs0rpj4j227qx8zvzd2v5xylx0p4bbrp";
···
20
21
defaultVersion = with versions;
22
lib.switch coq.version [
23
+
{ case = isEq "8.18"; out = "8.18.0+0.18.0"; }
24
{ case = isEq "8.17"; out = "8.17.0+0.17.0"; }
25
{ case = isEq "8.16"; out = "8.16.0+0.16.3"; }
26
{ case = isEq "8.15"; out = "8.15.0+0.15.0"; }