Commit 143dfa1a authored by Pierre Roux's avatar Pierre Roux Committed by Vincent Laporte
Browse files

coqPackages.mathcomp-analysis: 1.11.0 -> 1.12.0

parent be2f4312

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

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

  owner = "math-comp";



  release."1.12.0".sha256 = "sha256-PF10NlZ+aqP3PX7+UsZwgJT9PEaDwzvrS/ZGzjP64Wo=";

  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=";
@@ -57,7 +58,7 @@ let 
    lib.switch

      [ coq.coq-version mathcomp.version ]

      [

        (case (range "8.20" "9.0") (range "2.1.0" "2.4.0") "1.11.0")

        (case (range "8.20" "9.0") (range "2.1.0" "2.4.0") "1.12.0")

        (case (range "8.19" "8.20") (range "2.1.0" "2.3.0") "1.9.0")

        (case (range "8.17" "8.20") (range "2.0.0" "2.2.0") "1.1.0")

        (case (range "8.17" "8.19") (range "1.17.0" "1.19.0") "0.7.0")

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

+3 −1
Original line number Diff line number Diff line
@@ -32,7 +32,8 @@ 
    lib.switch

      [ coq.coq-version mathcomp-analysis.version ]

      [

        (case (range "8.20" "8.20") (isGe "1.10") "0.9.3")

        (case (range "8.20" "8.20") (isGe "1.12") "0.9.4")

        (case (range "8.19" "8.20") (range "1.10" "1.11") "0.9.3")

        (case (range "8.19" "8.20") (isGe "1.9") "0.9.1")

        (case (range "8.19" "8.20") (isGe "1.7") "0.7.7")

        (case (range "8.19" "8.20") (isGe "1.7") "0.7.5")
@@ -44,6 +45,7 @@ 
        (case (range "8.15" "8.16") (range "0.5.4" "0.6.5") "0.5.1")

      ]

      null;

  release."0.9.4".sha256 = "sha256-btHOBNMdXvlG2jxC04+4qmIjeyuaqtyugm2Ruj3lQr8=";

  release."0.9.3".sha256 = "sha256-8+cnVKNAvZ3MVV3BpS8UmCIxJphsQRBv3swek1eEBjE=";

  release."0.9.1".sha256 = "sha256-WI20HxMHr1ZUwOGPIUl+nRI8TxVUa2+F1xcGjRDHO9g=";

  release."0.7.7".sha256 = "sha256-kEbpMl7U+I2kvqi1VrjhIVFkZFO6h0tTHEUZRbHYG7E=";