Commit 8210f907 authored by Pierre Roux's avatar Pierre Roux Committed by Vincent Laporte
Browse files

coqPackages.mathcomp-analysis: 1.7.0 -> 1.8.0

parent a5a738b0

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

+3 −2
Original line number Diff line number Diff line
@@ -15,6 +15,7 @@ let 
  repo = "analysis";

  owner = "math-comp";



  release."1.8.0".sha256 = "sha256-2ZafDmZAwGB7sxdUwNIE3xvwBRw1kFDk0m5Vz+onWZc=";

  release."1.7.0".sha256 = "sha256-GgsMIHqLkWsPm2VyOPeZdOulkN00IoBz++qA6yE9raQ=";

  release."1.5.0".sha256 = "sha256-EWogrkr5TC5F9HjQJwO3bl4P8mij8U7thUGJNNI+k88=";

  release."1.4.0".sha256 = "sha256-eDggeuEU0fMK7D5FbxvLkbAgpLw5lwL/Rl0eLXAnJeg=";
@@ -49,9 +50,9 @@ let 
        {

          cases = [

            (range "8.19" "8.20")

            (range "2.1.0" "2.2.0")

            (range "2.1.0" "2.3.0")

          ];

          out = "1.7.0";

          out = "1.8.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.7")

          ];

          out = "0.7.7";

        }

        {

          cases = [

            (range "8.19" "8.20")
@@ -74,6 +81,7 @@ 
        }

      ]

      null;

  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=";

  release."0.7.2".sha256 = "sha256-dekrdVmuTcqXXmKhIb831EKtMhbPrXHJZhzmGb9rdRo=";