coqPackages.mathcomp-infotheo: 0.9.1 -> 0.9.3

proux01 · vbgl · commit 3bb8fa02e657 · 2025-05-10T12:06:21.000+02:00
diff --git a/pkgs/development/coq-modules/mathcomp-infotheo/default.nix b/pkgs/development/coq-modules/mathcomp-infotheo/default.nix
@@ -23,6 +23,13 @@
     lib.switch
       [ coq.version mathcomp-analysis.version ]
       [
+        {
+          cases = [
+            (range "8.20" "8.20")
+            (isGe "1.10")
+          ];
+          out = "0.9.3";
+        }
         {
           cases = [
             (range "8.19" "8.20")
@@ -88,6 +95,7 @@
         }
       ]
       null;
+  release."0.9.3".sha256 = "sha256-8+cnVKNAvZ3MVV3BpS8UmCIxJphsQRBv3swek1eEBjE=";
   release."0.9.1".sha256 = "sha256-WI20HxMHr1ZUwOGPIUl+nRI8TxVUa2+F1xcGjRDHO9g=";
   release."0.7.7".sha256 = "sha256-kEbpMl7U+I2kvqi1VrjhIVFkZFO6h0tTHEUZRbHYG7E=";
   release."0.7.5".sha256 = "sha256-pzPo+Acjx3vlyqOkSZQ8uT2BDLSTfbAnRm39e+/CqE0=";

Original file line number	Diff line number	Diff line change
`@@ -23,6 +23,13 @@`
`23`	`23`	`lib.switch`
`24`	`24`	`[ coq.version mathcomp-analysis.version ]`
`25`	`25`	`[`
	`26`	`+ {`
	`27`	`+ cases = [`
	`28`	`+ (range "8.20" "8.20")`
	`29`	`+ (isGe "1.10")`
	`30`	`+ ];`
	`31`	`+ out = "0.9.3";`
	`32`	`+ }`
`26`	`33`	`{`
`27`	`34`	`cases = [`
`28`	`35`	`(range "8.19" "8.20")`
`@@ -88,6 +95,7 @@`
`88`	`95`	`}`
`89`	`96`	`]`
`90`	`97`	`null;`
	`98`	`+ release."0.9.3".sha256 = "sha256-8+cnVKNAvZ3MVV3BpS8UmCIxJphsQRBv3swek1eEBjE=";`
`91`	`99`	`release."0.9.1".sha256 = "sha256-WI20HxMHr1ZUwOGPIUl+nRI8TxVUa2+F1xcGjRDHO9g=";`
`92`	`100`	`release."0.7.7".sha256 = "sha256-kEbpMl7U+I2kvqi1VrjhIVFkZFO6h0tTHEUZRbHYG7E=";`
`93`	`101`	`release."0.7.5".sha256 = "sha256-pzPo+Acjx3vlyqOkSZQ8uT2BDLSTfbAnRm39e+/CqE0=";`