pyrox.dev
coqPackages.mathcomp-analysis: 0.3.13 → 0.5.3
authored by
Vincent Laporte
and committed by
Vincent Laporte
fcfa7a70
bd6f8901
+2
pkgs/development/coq-modules/mathcomp-analysis/default.nix
+2
pkgs/development/coq-modules/mathcomp-analysis/default.nix
···
8
pname = "analysis";
9
owner = "math-comp";
10
11
release."0.3.13".sha256 = "sha256-Yaztew79KWRC933kGFOAUIIoqukaZOdNOdw4XszR1Hg=";
12
release."0.3.10".sha256 = "sha256-FBH2c8QRibq5Ycw/ieB8mZl0fDiPrYdIzZ6W/A3pIhI=";
13
release."0.3.9".sha256 = "sha256-uUU9diBwUqBrNRLiDc0kz0CGkwTZCUmigPwLbpDOeg4=";
···
19
20
inherit version;
21
defaultVersion = with versions; switch [ coq.version mathcomp.version ] [
22
{ cases = [ (isGe "8.13") (isGe "1.12.0") ]; out = "0.3.13"; }
23
{ cases = [ (range "8.11" "8.14") (isGe "1.12.0") ]; out = "0.3.10"; }
24
{ cases = [ (range "8.11" "8.13") "1.11.0" ]; out = "0.3.4"; }
···
8
pname = "analysis";
9
owner = "math-comp";
10
11
+
release."0.5.3".sha256 = "sha256-1NjFsi5TITF8ZWx1NyppRmi8g6YaoUtTdS9bU/sUe5k=";
12
release."0.3.13".sha256 = "sha256-Yaztew79KWRC933kGFOAUIIoqukaZOdNOdw4XszR1Hg=";
13
release."0.3.10".sha256 = "sha256-FBH2c8QRibq5Ycw/ieB8mZl0fDiPrYdIzZ6W/A3pIhI=";
14
release."0.3.9".sha256 = "sha256-uUU9diBwUqBrNRLiDc0kz0CGkwTZCUmigPwLbpDOeg4=";
···
20
21
inherit version;
22
defaultVersion = with versions; switch [ coq.version mathcomp.version ] [
23
+
{ cases = [ (isGe "8.14") (isGe "1.13.0") ]; out = "0.5.3"; }
24
{ cases = [ (isGe "8.13") (isGe "1.12.0") ]; out = "0.3.13"; }
25
{ cases = [ (range "8.11" "8.14") (isGe "1.12.0") ]; out = "0.3.10"; }
26
{ cases = [ (range "8.11" "8.13") "1.11.0" ]; out = "0.3.4"; }