coqPackages.mathcomp: 2.2.0 -> 2.3.0

Author: proux01

pkgs/development/coq-modules/coqeal/default.nix

@@ -20,6 +20,13 @@
     lib.switch
       [ coq.version mathcomp.version ]
       [
+        {
+          cases = [
+            (range "8.16" "8.20")
+            (isGe "2.1.0")
+          ];
+          out = "2.0.3";
+        }
         {
           cases = [
             (range "8.16" "8.20")
@@ -79,6 +86,7 @@
       ]
       null;
 
+  release."2.0.3".sha256 = "sha256-5lDq7IWlEW0EkNzYPu+dA6KOvRgy53W/alikpDr/Kd0=";
   release."2.0.1".sha256 = "sha256-d/IQ4IdS2tpyPewcGobj2S6m2HU+iXQmlvR+ITNIcjI=";
   release."2.0.0".sha256 = "sha256-SG/KVnRJz2P+ZxkWVp1dDOnc/JVgigoexKfRUh1Y0GM";
   release."1.1.3".sha256 = "sha256-xhqWpg86xbU1GbDtXXInNCTArjjPnWZctWiiasq1ScU=";

pkgs/development/coq-modules/deriving/default.nix

@@ -16,6 +16,13 @@ mkCoqDerivation {
     lib.switch
       [ coq.coq-version ssreflect.version ]
       [
+        {
+          cases = [
+            (range "8.17" "8.20")
+            (isGe "2.0.0")
+          ];
+          out = "0.2.1";
+        }
         {
           cases = [
             (range "8.17" "8.20")
@@ -35,6 +42,7 @@ mkCoqDerivation {
 
   releaseRev = v: "v${v}";
 
+  release."0.2.1".sha256 = "sha256-053bNa3rcy0fCs9CQoKPxDLXnKRHzteyClLDURpaZJo=";
   release."0.2.0".sha256 = "sha256-xPsuEayHstjF0PGFJZJ+5cm0oMUrpoGLXN23op97vjM=";
   release."0.1.1".sha256 = "sha256-Gu8aInLxTXfAFE0/gWRYI046Dx3Gv1j1+gx92v/UnPI=";
   release."0.1.0".sha256 = "sha256:11crnjm8hyis1qllkks3d7r07s1rfzwvyvpijya3s6iqfh8c7xwh";

pkgs/development/coq-modules/extructures/default.nix

@@ -17,6 +17,13 @@
     lib.switch
       [ coq.coq-version ssreflect.version ]
       [
+        {
+          cases = [
+            (range "8.17" "8.20")
+            (isGe "2.0.0")
+          ];
+          out = "0.5.0";
+        }
         {
           cases = [
             (range "8.17" "8.20")
@@ -50,6 +57,7 @@
 
   releaseRev = v: "v${v}";
 
+  release."0.5.0".sha256 = "sha256-Guu2+tmHym52DA6SB5Rq/rYWIQEl47Q7YvMaUkfOH2k=";
   release."0.4.0".sha256 = "sha256-hItFO2XY2LTPSofPTKt3AfOEfiLliaYdzUXgDv4ea9Y=";
   release."0.3.1".sha256 = "sha256-KcuG/11Yq5ACem4FyVnQqHKvy3tNK7hd0ir2SJzzMN0=";
   release."0.3.0".sha256 = "sha256:14rm0726f1732ldds495qavg26gsn30w6dfdn36xb12g5kzavp38";

pkgs/development/coq-modules/gaia/default.nix

@@ -27,7 +27,7 @@ mkCoqDerivation {
         {
           cases = [
             (range "8.16" "8.20")
-            (range "2.0" "2.2")
+            (range "2.0" "2.3")
           ];
           out = "2.2";
         }

pkgs/development/coq-modules/graph-theory/default.nix

@@ -29,7 +29,7 @@ mkCoqDerivation {
         {
           cases = [
             (range "8.16" "8.19")
-            (range "2.0.0" "2.2.0")
+            (range "2.0.0" "2.3.0")
           ];
           out = "0.9.4";
         }

pkgs/development/coq-modules/mathcomp-real-closed/default.nix

@@ -17,6 +17,7 @@ mkCoqDerivation {
   owner = "math-comp";
   inherit version;
   release = {
+    "2.0.2".sha256 = "sha256-hBo9JMtmXDYBmf5ihKGksQLHv3c0+zDBnd8/aI2V/ao=";
     "2.0.1".sha256 = "sha256-tQTI3PCl0q1vWpps28oATlzOI8TpVQh1jhTwVmhaZic=";
     "2.0.0".sha256 = "sha256-sZvfiC5+5Lg4nRhfKKqyFzovCj2foAhqaq/w9F2bdU8=";
     "1.1.4".sha256 = "sha256-8Hs6XfowbpeRD8RhMRf4ZJe2xf8kE0e8m7bPUzR/IM4=";
@@ -34,6 +35,13 @@ mkCoqDerivation {
     lib.switch
       [ coq.version mathcomp.version ]
       [
+        {
+          cases = [
+            (isGe "8.17")
+            (isGe "2.1.0")
+          ];
+          out = "2.0.2";
+        }
         {
           cases = [
             (isGe "8.17")

pkgs/development/coq-modules/mathcomp/default.nix

@@ -20,6 +20,7 @@ let
   withDoc = single && (args.withDoc or false);
   defaultVersion = let inherit (lib.versions) range; in
     lib.switch coq.coq-version [
+      { case = range "8.19" "8.20"; out = "2.3.0"; }
       { case = range "8.17" "8.20"; out = "2.2.0"; }
       { case = range "8.17" "8.18"; out = "2.1.0"; }
       { case = range "8.17" "8.18"; out = "2.0.0"; }
@@ -39,6 +40,7 @@ let
       { case = range "8.5" "8.7";   out = "1.6.4";  }
     ] null;
   release = {
+    "2.3.0".sha256  = "sha256-wa6OBig8rhAT4iwupSylyCAMhO69rADa0MQIX5zzL+Q=";
     "2.2.0".sha256  = "sha256-SPyWSI5kIP5w7VpgnQ4vnK56yEuWnJylNQOT7M77yoQ=";
     "2.1.0".sha256  = "sha256-XDLx0BIkVRkSJ4sGCIE51j3rtkSGemNTs/cdVmTvxqo=";
     "2.0.0".sha256  = "sha256-dpOmrHYUXBBS9kmmz7puzufxlbNpIZofpcTvJFLG5DI=";

pkgs/development/coq-modules/multinomials/default.nix

@@ -24,6 +24,13 @@ mkCoqDerivation {
     lib.switch
       [ coq.version mathcomp.version ]
       [
+        {
+          cases = [
+            (range "8.17" "8.20")
+            (isGe "2.1.0")
+          ];
+          out = "2.3.0";
+        }
         {
           cases = [
             (range "8.17" "8.20")
@@ -104,6 +111,7 @@ mkCoqDerivation {
       ]
       null;
   release = {
+    "2.3.0".sha256 = "sha256-usIcxHOAuN+f/j3WjVbPrjz8Hl9ac8R6kYeAKi3CEts=";
     "2.2.0".sha256 = "sha256-Cie6paweITwPZy6ej9+qIvHFWknVR382uJPW927t/fo=";
     "2.1.0".sha256 = "sha256-QT91SBJ6DXhyg4j/okTvPP6yj2DnnPbnSlJ/p8pvZbY=";
     "2.0.0".sha256 = "sha256-2zWHzMBsO2j8EjN7CgCmKQcku9Be8aVlme0LD5p4ab8=";

pkgs/development/coq-modules/odd-order/default.nix

@@ -9,6 +9,7 @@ mkCoqDerivation {
   pname = "odd-order";
   owner = "math-comp";
 
+  release."2.1.0".sha256 = "sha256-TPlaQbO0yXEpUgy3rlCx/w1MSLECJk5tdU26fAGe48Q=";
   release."1.14.0".sha256 = "0iln70npkvixqyz469l6nry545a15jlaix532i1l7pzfkqqn6v68";
   release."1.13.0".sha256 = "sha256-EzNKR/JzM8T17sMhPhgZNs14e50X4dY3OwFi133IsT0=";
   release."1.12.0".sha256 = "sha256-omsfdc294CxKAHNMMeqJCcVimvyRCHgxcQ4NJOWSfNM=";
@@ -18,6 +19,10 @@ mkCoqDerivation {
   defaultVersion =
     with lib.versions;
     lib.switch mathcomp.character.version [
+      {
+        case = (range "2.1.0" "2.3.0");
+        out = "2.1.0";
+      }
       {
         case = (range "1.13.0" "1.15.0");
         out = "1.14.0";

pkgs/development/coq-modules/ssprove/default.nix

@@ -21,6 +21,13 @@
     lib.switch
       [ coq.coq-version mathcomp-ssreflect.version ]
       [
+        {
+          cases = [
+            (range "8.18" "8.20")
+            "2.3.0"
+          ];
+          out = "0.2.3";
+        }
         {
           cases = [
             (range "8.18" "8.20")
@@ -47,6 +54,7 @@
 
   releaseRev = v: "v${v}";
 
+  release."0.2.3".sha256 = "sha256-Y3dmNIF36IuIgrVILteofOv8e5awKfq93S4YN7enswI=";
   release."0.2.2".sha256 = "sha256-tBF8equJd6hKZojpe+v9h6Tg9xEnMTVFgOYK7ZnMfxk=";
   release."0.2.1".sha256 = "sha256-X00q5QFxdcGWeNqOV/PLTOqQyyfqFEinbGUTO7q8bC4=";
   release."0.2.0".sha256 = "sha256-GDkWH0LUsW165vAUoYC5of9ndr0MbfBtmrPhsJVXi3o=";