Commit ec1aa8f0 authored by Reynald Affeldt's avatar Reynald Affeldt Committed by Vincent Laporte
Browse files

mathcomp-analysis: 1.8.0 -> 1.9.0 

mathcomp-infotheo: add 0.9.1
parent ffddd6c5

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

+2 −1
Original line number Diff line number Diff line
@@ -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

+8 −0
Original line number Diff line number Diff line
@@ -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=";