mathcomp-analysis: 1.8.0 -> 1.9.0

mathcomp-infotheo: add 0.9.1

Author: affeldt-aist

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

@@ -15,6 +15,7 @@ let
   repo = "analysis";
   owner = "math-comp";
 
+  release."1.9.0".sha256 = "sha256-zj7WSDUg8ISWxcipGpjEwvvnLp1g8nm23BZiib/15+g=";
   release."1.8.0".sha256 = "sha256-2ZafDmZAwGB7sxdUwNIE3xvwBRw1kFDk0m5Vz+onWZc=";
   release."1.7.0".sha256 = "sha256-GgsMIHqLkWsPm2VyOPeZdOulkN00IoBz++qA6yE9raQ=";
   release."1.5.0".sha256 = "sha256-EWogrkr5TC5F9HjQJwO3bl4P8mij8U7thUGJNNI+k88=";
@@ -52,7 +53,7 @@ let
             (range "8.19" "8.20")
             (range "2.1.0" "2.3.0")
           ];
-          out = "1.8.0";
+          out = "1.9.0";
         }
         {
           cases = [

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

@@ -23,6 +23,13 @@
     lib.switch
       [ coq.version mathcomp-analysis.version ]
       [
+        {
+          cases = [
+            (range "8.19" "8.20")
+            (isGe "1.9")
+          ];
+          out = "0.9.1";
+        }
         {
           cases = [
             (range "8.19" "8.20")
@@ -81,6 +88,7 @@
         }
       ]
       null;
+  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=";
   release."0.7.3".sha256 = "sha256-7+qPtE1KfDmo9ZsQtWMzoR2MYnFpTjFHK/yZYVm+GxA=";