Commit 5f5e1293 authored by Pierre Roux's avatar Pierre Roux Committed by Vincent Laporte
Browse files

coqPackages.mathcomp-analysis: 1.9.0 -> 1.11.0

parent d87c8735

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

+8 −0
Original line number Diff line number Diff line
@@ -16,6 +16,7 @@ let 
  repo = "analysis";

  owner = "math-comp";



  release."1.11.0".sha256 = "sha256-1apbzBvaLNw/8ARLUhGGy89CyXW+/6O4ckdxKPraiVc=";

  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=";
@@ -49,6 +50,13 @@ let 
    lib.switch

      [ coq.version mathcomp.version ]

      [

        {

          cases = [

            (range "8.20" "9.0")

            (range "2.1.0" "2.4.0")

          ];

          out = "1.11.0";

        }

        {

          cases = [

            (range "8.19" "8.20")