pyrox.dev
lol
coqPackages.relation-algebra: init at 1.7.8 for Coq 8.16
authored by
Vincent Laporte
and committed by
Vincent Laporte
5b8ac1bb
7201af5b
+2
pkgs/development/coq-modules/relation-algebra/default.nix
+2
pkgs/development/coq-modules/relation-algebra/default.nix
···
10
10
then "v.${v}"
11
11
else "v${v}";
12
12
13
+
release."1.7.8".sha256 = "sha256-RITFd3G5TjY+rFzW073Ao1AGU+u6OGQyQeGHVodAXnA=";
13
14
release."1.7.7".sha256 = "sha256:1dff3id6nypl2alhk9rcifj3dab0j78dym05blc525lawsmc26l2";
14
15
release."1.7.6".sha256 = "sha256:02gsj06zcy9zgd0h1ibqspwfiwm36pkkgg9cz37k4bxzcapxcr6w";
15
16
release."1.7.5".sha256 = "sha256-XdO8agoJmNXPv8Ho+KTlLCB4oRlQsb0w06aM9M16ZBU=";
···
20
21
21
22
inherit version;
22
23
defaultVersion = with versions; switch coq.coq-version [
24
+
{ case = isEq "8.16"; out = "1.7.8"; }
23
25
{ case = isEq "8.15"; out = "1.7.7"; }
24
26
{ case = isEq "8.14"; out = "1.7.6"; }
25
27
{ case = isEq "8.13"; out = "1.7.5"; }